What is an equation? | General Discussion Topics | Forum

A A A
Avatar
Please consider registering
Guest
Search
Forum Scope




Match



Forum Options



Minimum search word length is 3 characters - maximum search word length is 84 characters
Register Lost password?
sp_Feed sp_TopicIcon
What is an equation?
Avatar
at1with0
Member
Forum Posts: 9244
Member Since:
April 9, 2009
sp_UserOfflineSmall Offline
1
July 7, 2013 - 7:05 pm
sp_Permalink sp_Print

I've been thinking, for whatever reason, what ET math would be like. I bet a lot of people would think that it and our math will not only be comparable, they will likely be essentially identical. For example, the induction principle in arithmetic would likely also be a theorem in their math. The Pythagorean theorem is probably among their theorems, as another example though their name for it (if it has a name) might be just "Theorem #691,865,863,532,987".

To that end, I was wondering how various ET mathematicians might define the word equation. A lot of us on earth are taught first off that an equation is just a formula or expression that contains the following symbol: =. But the ETs won't have that symbol in their language. So when fabricating the Rosetta Stone which will provide a means to translate their language to ours and vice versa, to give the proper meaning of our word equation, we have to capture the essence of what equality is.

Equality is a "principle" of sorts that exists only in certain formal systems. Many formal systems have nothing like equality while other formal systems have an equality. If xEy (which intuitively means x=y) is a grammatically-correct utterance in the formal system and if E is a symbol in the formal system possessing the following properties, then I would say E represents equality:
1. What E points to is an equivalence relation, meaning
1a. for all x, xEx (reflexivity)
1b. for all x and y, if xEy then yEx (symmetry)
1c. for all x, y and z, if xEy and yEz then xEz (transivity)
2. every equivalence class defined by E has cardinality exactly 1.

An equivalence class defined by E means that, given x, the equivalence class generated by x is the set of all things E-equivalent to x. Everything in one equivalence class is E-equivalent to everything else in that equivalence class. Saying it has cardinality one means that it has one element.

If we did not have criteria #2 in the definition of "equation," then it might be the case that aEb although a and b are different. In that case, the equivalence class generated by a has at least one other element, b; so the cardinality of that equivalence class would not be 1, it would be at least 2.

Looking at the three criteria under #1, it is clear that equality behaves so, and equivalence relations just generalize equality.

In a class where the word equation is defined, soon to follow is the definition of the word solution, as in "a solution to an equation." I haven't thought much about what "solution to an equation" might mean to an ET mathematician.

"it is easy to grow crazy"

Avatar
greeney2
Member
Members
Forum Posts: 10318
Member Since:
April 9, 2009
sp_UserOfflineSmall Offline
2
July 7, 2013 - 7:44 pm
sp_Permalink sp_Print

On the other hand, they are probably wondering why humans have no idea what equal means, when they can't even balance a check book and stay out of credit card debt. Laugh

Avatar
at1with0
Member
Forum Posts: 9244
Member Since:
April 9, 2009
sp_UserOfflineSmall Offline
3
July 7, 2013 - 9:10 pm
sp_Permalink sp_Print

cuz it's all about the MONEY

"it is easy to grow crazy"

Avatar
greeney2
Member
Members
Forum Posts: 10318
Member Since:
April 9, 2009
sp_UserOfflineSmall Offline
4
July 8, 2013 - 2:26 am
sp_Permalink sp_Print

Check book balance is equal, greater, or less than cost of items to purchase?

Cost of Items to purchase, equal, greater, or less than available credit on card?

I would say simple math, but evidently not when you look at bankruptcy cases. Laugh think ET would understand Bankruptcy?

Avatar
at1with0
Member
Forum Posts: 9244
Member Since:
April 9, 2009
sp_UserOfflineSmall Offline
5
July 8, 2013 - 8:07 am
sp_Permalink sp_Print

More than simple math goes into bankruptcy, such as human psychology.

I think the ETs already know all the factors that go into it.

"it is easy to grow crazy"

Avatar
khanster
Member
Members
Forum Posts: 711
Member Since:
September 19, 2009
sp_UserOfflineSmall Offline
6
January 26, 2016 - 10:33 pm
sp_Permalink sp_Print

Equations are definitions. The equals sign can also be seen as the word "is"

 

For example one added to one is 2 means 1+1 = 2

A FlabberGhost is a FlibberToast is a definition and an equation.

 

FG = FT

 

Laugh

Avatar
at1with0
Member
Forum Posts: 9244
Member Since:
April 9, 2009
sp_UserOfflineSmall Offline
7
January 27, 2016 - 8:45 am
sp_Permalink sp_Print

Well then what does "is" mean (a la Bill Clinton)?

"it is easy to grow crazy"

Forum Timezone: America/Los_Angeles
Most Users Ever Online: 288
Currently Online:
48
Guest(s)
Currently Browsing this Page:
1 Guest(s)
Top Posters:
greeney2: 10318
bionic: 9871
Lashmar: 5290
tigger: 4577
rath: 4298
DIss0n80r: 4162
sandra: 3859
frrostedman: 3816
Wing-Zero: 3279
Tairaa: 2843
Newest Members:
Bodson
Lorenzo
Free Love Problem Solution
walterskinner
Warren Cosford
Jurriaan Maessen
Danny
Sam
Jimbo
Lee
Forum Stats:
Groups: 8
Forums: 31
Topics: 9266
Posts: 124718

 

Member Stats:
Guest Posters: 2
Members: 25033
Moderators: 0
Admins: 2
Administrators: John Greenewald, blackvault