ZFC: diferència entre les revisions
Contingut suprimit Contingut afegit
m Corregit: precisa per a que no > precisa perquè no |
m Corregit: contradiccions (per a que fos > contradiccions (perquè fos |
||
Línia 84:
==Història==
Tot i que es poden trobar antecedents en les obres de diferents matemàtics alemanys com [[Bernard Bolzano|Bolzano]] (el primer en utilitzar la paraula ''conjunt'', ''menge'' en alemany), [[Riemann]]<ref>{{Versaleta|Ferreirós}}, pàgina 39 i següents.</ref> o [[Richard Dedekind|Dedekind]],<ref>{{Versaleta|Ferreirós}}, pàgina 81 i següents.</ref> 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 (
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.<ref>{{Versaleta|Ferreirós}}, pàgina 317 i següents.</ref> Aquestes van ser posteriorment ampliades i sistematitzades per [[Abraham Fraenkel|Fraenkel]]<ref>{{Versaleta|Ferreirós}}, pàgina 366 i següents.</ref> i [[Thoralf Skolem|Skolem]]<ref>{{Versaleta|Ferreirós}}, pàgina 357 i següents.</ref> en el que avui es coneix com teoria ZFC.
| |||