Logo
Uniopèdia
Comunicació
Disponible a Google Play
Nou! Descarregar Uniopèdia al dispositiu Android™!
Gratis
Accés més ràpid que el navegador!
 

ZFC

Índex ZFC

La Teoria de conjunts de Zermelo-Fraenkel (ZFC) és el conjunt d'axiomes canònic de la teoria de conjunts.

22 les relacions: Abraham Fraenkel, Alexander Grothendieck, Alfred Tarski, Axioma de l'elecció, Bernard Bolzano, Cesare Burali-Forti, Conjunt de les parts, Ernst Zermelo, Georg Cantor, Georg Friedrich Bernhard Riemann, John L. Kelley, John von Neumann, Julius Wilhelm Richard Dedekind, Kurt Gödel, Lògica de primer ordre, Maximal i minimal (elements), N-pla, Paradoxa de Banach-Tarski, Paradoxa de Russell, Paul Bernays, Teoria de conjunts, Thoralf Skolem.

Abraham Fraenkel

va ser un matemàtic israelià d'origen alemany.

Nou!!: ZFC і Abraham Fraenkel · Veure més »

Alexander Grothendieck

Alexander Grothendieck (Berlín, 28 de març de 1928 - Sent Gironç, 13 de novembre de 2014) va ser un matemàtic apàtrida, nacionalitzat francès el 1971, que durant la segona meitat del va portar a terme un extraordinari procés d'unificació de l'aritmètica, la geometria algebraica i la topologia, donant gran impuls al desenvolupament d'aquestes tres branques fonamentals de les matemàtiques.

Nou!!: ZFC і Alexander Grothendieck · Veure més »

Alfred Tarski

va ser un filòsof polonès especialitzat en lògica i un matemàtic destacat.

Nou!!: ZFC і Alfred Tarski · Veure més »

Axioma de l'elecció

L'axioma de l'elecció (AE) és un axioma de la teoria de conjunts.

Nou!!: ZFC і Axioma de l'elecció · Veure més »

Bernard Bolzano

Bernard Placidus Johann Nepomuk Bolzano (Praga, Bohèmia (actual República Txeca), 5 d'octubre de 1781 - ídem, 18 de desembre de 1848), conegut com a Bernard Bolzano va ser un matemàtic, lògic, filòsof i teòleg bohemi que va escriure en alemany i que va realitzar importants contribucions a les matemàtiques i a la Teoria del coneixement.

Nou!!: ZFC і Bernard Bolzano · Veure més »

Cesare Burali-Forti

Cesare Burali-Forti és un matemàtic italià.

Nou!!: ZFC і Cesare Burali-Forti · Veure més »

Conjunt de les parts

Donat un conjunt S, es defineix el conjunt de les parts de S o conjunt potència de S, escrit \mathcal(S), P(S), ℘(S), o '''2'''''S'', com el conjunt de tots els subconjunts de S. Per exemple, si S és el conjunt aleshores la llista completa dels subconjunts de S és.

Nou!!: ZFC і Conjunt de les parts · Veure més »

Ernst Zermelo

Ernst Friedrich Ferdinand Zermelo (Berlín Juliol 27 de 1871 - 21 de maig de 1953) fou un matemàtic i filòsof Alemany.

Nou!!: ZFC і Ernst Zermelo · Veure més »

Georg Cantor

Georg Ferdinand Ludwig Philipp Cantor (Sant Petersburg, 3 de març de 1845 - Halle, 6 de gener de 1918) fou un matemàtic i filòsof alemany, fundador de la teoria de conjunts moderna.

Nou!!: ZFC і Georg Cantor · Veure més »

Georg Friedrich Bernhard Riemann

va ser un matemàtic alemany que va fer profundes contribucions a l'anàlisi, la teoria dels nombres i la geometria diferencial.

Nou!!: ZFC і Georg Friedrich Bernhard Riemann · Veure més »

John L. Kelley

va ser un matemàtic estatunidenc.

Nou!!: ZFC і John L. Kelley · Veure més »

John von Neumann

fou un científic, físic i matemàtic estatunidenc, jueu d'origen hongarès, considerat per molts com un dels més importants científics del.

Nou!!: ZFC і John von Neumann · Veure més »

Julius Wilhelm Richard Dedekind

va ser un matemàtic alemany que va exercir una forta influència en els matemàtics posteriors, sobretot en el camp de la teoria de nombres, l'àlgebra abstracta (particularment la teoria dels anells) i els fonaments axiomàtics de l'aritmètica.

Nou!!: ZFC і Julius Wilhelm Richard Dedekind · Veure més »

Kurt Gödel

fou un matemàtic austríac-americà, un lògic profund que va desenvolupar el teorema d'incompletesa, afirmant que qualsevol sistema axiomàtic consistent prou potent per descriure l'aritmètica dels enters permet proposicions (sobre enters) que no es poden demostrar ni refutar.

Nou!!: ZFC і Kurt Gödel · Veure més »

Lògica de primer ordre

La lògica de primer ordre, també anomenada lògica de predicats o càlcul de predicats, és un sistema formal dissenyat per estudiar la inferència en els llenguatges de primer ordre.

Nou!!: ZFC і Lògica de primer ordre · Veure més »

Maximal i minimal (elements)

El diagrama de Hasse del conjunt ''P'' de divisors de 60, parcialment ordenats per la relació "''x'' divideix ''y''". El subconjunt vermell ''S''.

Nou!!: ZFC і Maximal i minimal (elements) · Veure més »

N-pla

En matemàtiques, si n és un nombre natural, aleshores una n-pla (de vegades n-tupla) és una seqüència o llista ordenada de n objectes, i aquests elements es diu que són les seves components.

Nou!!: ZFC і N-pla · Veure més »

Paradoxa de Banach-Tarski

Paradoxa de Banach-Tarski. La paradoxa de Banach-Tarski és en realitat un teorema (en ZFC) que afirma que és possible dividir una esfera (plena) de radi 1 en vuit parts disjuntes dos a dos, de manera que, aplicant moviments oportuns a cinc d'elles, obtinguem nous conjunts que constitueixin una partició d'una esfera (plena) de radi 1, i passi el mateix amb les tres parts restants.

Nou!!: ZFC і Paradoxa de Banach-Tarski · Veure més »

Paradoxa de Russell

La paradoxa de Russell descrita per Bertrand Russell el 1901 demostra que la teoria originària de conjunts formulada per Cantor i Frege és contradictòria.

Nou!!: ZFC і Paradoxa de Russell · Veure més »

Paul Bernays

va ser un matemàtic suís que va fer contribucions significatives a la lògica matemàtica, teoria axiomàtica de conjunts, i la filosofia de la matemàtica.

Nou!!: ZFC і Paul Bernays · Veure més »

Teoria de conjunts

La teoria de conjunts és la branca de les matemàtiques que estudia els conjunts.

Nou!!: ZFC і Teoria de conjunts · Veure més »

Thoralf Skolem

fou un matemàtic noruec conegut pels seus treballs en teoria de conjunts i lògica matemàtica.

Nou!!: ZFC і Thoralf Skolem · Veure més »

Redirigeix aquí:

Axiomes de Zermelo-Fraenkel, Teoria de conjunts de Zermelo-Fraenkel, Zermelo-Fraenkel.

SortintEntrant
Hey! Estem a Facebook ara! »