ZFC: diferència entre les revisions
Contingut suprimit Contingut afegit
m Referències|2 -> Referències |
m bot: - com teoria ZFC. + com a teoria ZFC. |
||
Línia 91:
Tot i que es poden trobar antecedents en les obres de diferents matemàtics alemanys com [[Bernard Bolzano|Bolzano]] (el primer a utilitzar la paraula ''conjunt'', ''menge'' en alemany), [[Georg Friedrich Bernhard Riemann|Riemann]]{{sfn|Ferreirós|2007|p= 39 i següents}} o [[Richard Dedekind|Dedekind]],{{sfn|Ferreirós|2007|p= 81 i següents}} la [[teoria de conjunts]] va ser pràcticament creació d'una sola persona, [[Georg Cantor]], qui, a partir de 1879, la va anar desenvolupant en una sèrie d'articles i publicacions, especialment en els seus tractats de 1895 i 1897. Aquesta teoria va ser aviat objecte de crítiques perquè conduïa a contradiccions (paradoxes de [[Paradoxa de Russell|Russell]] (1902), de [[Cesare Burali-Forti|Burali-Forti]] (1897) o de [[Paradoxa de Banach-Tarski|Banach-Tarski]] (1924). Aquestes contradiccions obligaven a axiomatitzar la teoria de forma suficientment precisa perquè no conduís a contradiccions (perquè fos consistent).
Per arribar a una axiomatització precisa va caldre, no obstant, esperar a les contribucions de Zermelo de 1904 (demostració del [[teorema del bon ordre]]) i, sobretot, de 1908.{{sfn|Ferreirós|2007|p=317 i següents}} Aquestes van ser posteriorment ampliades i sistematitzades per [[Abraham Fraenkel|Fraenkel]]{{sfn|Ferreirós|2007|p= 366 i següents}} i [[Thoralf Skolem|Skolem]]{{sfn|Ferreirós|2007|p= 357 i següents}} en el que avui es coneix com a teoria ZFC.
== Referències ==
| |||