Changes

482 bytes added ,  04:14, May 30, 2018
[John von Neumann]] developed a definition of an ordinal number as the set of all smaller ordinal numbers, the definition that is commonly accepted today.
Line 3: Line 3:  
The devoutly [[Christian]] founder of set theory, [[Georg Cantor]], viewed it as bringing freedom to mathematics, and summarized set theory as follows:<ref>http://thinkexist.com/quotes/georg_cantor/</ref>
 
The devoutly [[Christian]] founder of set theory, [[Georg Cantor]], viewed it as bringing freedom to mathematics, and summarized set theory as follows:<ref>http://thinkexist.com/quotes/georg_cantor/</ref>
 
{{cquote|A set is a Many that allows itself to be thought of as a One.}}
 
{{cquote|A set is a Many that allows itself to be thought of as a One.}}
 +
 +
[[John von Neumann]], considered by many to have been the most brilliant man of the 20th century (and a convert to [[Roman Catholic Church|Catholicism]], did his best work in set theory.  He developed a definition of an ordinal number as the set of all smaller ordinal numbers, the definition that is commonly accepted today.<ref>https://www.britannica.com/biography/John-von-Neumann</ref>  That approach helps circumvent issues caused by the transfinite numbers of Georg Cantor.
 +
 
The language of set theory is based on a single fundamental relation, called membership. We say that <math>x</math> is a member of <math>A</math> (in symbols <math>x \in A</math>), or that the set <math>A</math> contains <math>x</math> as an element.<ref>The mathematician Giuseppe Peano created the symbol ∈ in 1889 to mean "is an element of," from the Greek epsilon that is the first letter of εἰμί, which means "I am."</ref> The understanding is that a set is determined by its elements; in other words, two sets are deemed equal if they have exactly the same elements,<ref>http://plato.stanford.edu/entries/set-theory/</ref> or, equivalently, if each is a [[subset]] of the other.
 
The language of set theory is based on a single fundamental relation, called membership. We say that <math>x</math> is a member of <math>A</math> (in symbols <math>x \in A</math>), or that the set <math>A</math> contains <math>x</math> as an element.<ref>The mathematician Giuseppe Peano created the symbol ∈ in 1889 to mean "is an element of," from the Greek epsilon that is the first letter of εἰμί, which means "I am."</ref> The understanding is that a set is determined by its elements; in other words, two sets are deemed equal if they have exactly the same elements,<ref>http://plato.stanford.edu/entries/set-theory/</ref> or, equivalently, if each is a [[subset]] of the other.
  
Anthony, Irenaeus, Siteadmin, apieditor, Bureaucrats, Check users, nsAm_Govt_101RO, nsAm_Govt_101RW, nsAm_Govt_101_ta, nsJudgesRO, nsJudgesRW, nsJudges_talkRO, nsJudges_talkRW, nsTeam2RO, nsTeam2RW, nsTeam2_talkRO, nsTeam2_talkRW, oversight, Administrators
126,196

edits