Razlika između verzija stranice "Teorija skupova"

[pregledana izmjena][pregledana izmjena]
Uklonjeni sadržaj Dodani sadržaj
m +{{Nedostaju izvori}}
No edit summary
Red 1:
{{Nedostaju izvori}}
[[Datoteka:Venn A intersect B.svg|mini|Venov dijagram pokazuje presjek dva skupa]]
'''Teorija skupova''' je [[matematika|matematička]] teorija [[skup]]ova, koji predstavljaju kolekcije apstraktnih objekata. Obuhvataju svakodnevnu notaciju skupa, kao što je ona uvedena u osnovnoj školi, kao kolekciju objekata, te pripadne koncepte elemenata i članstva takvih kolekcija. U većini modernih matematičkih formalizama teorija skupova predstavlja jezik opisa matematičkih objekata. Zajedno sa [[logika|logikom]] i [[predikatni račun|predikatnim računom]] predstavlja jedan od aksiomatskih temelja matematike, dozvoljavajući formalnu konstrukciju matematičkih objekata iz nedefiniranih termina "skupa" i "članstva skupa". Predstavlja punopravnu granu [[matematika|matematike]], i aktivno je područje istraživačkog rada.
 
Line 10 ⟶ 11:
{{Div col|cols=5}}
* [[Wilhelm Ackermann]]
* [[James Earl Baumgartner]][[Razgovor:James Earl Baumgartner| ]]
* [[Paul Bernays]]
* [[George Boolos]] [[Razgovor:George Boolos| ]]
* [[Bourbaki]]
* [[Georg Cantor]] [[Razgovor:Georg Cantor| ]]
* [[Paul Cohen (mathematicianmatematičar)|Paul Cohen]] [[Razgovor:Paul Cohen (mathematician)| ]]
* [[Paul Finsler]]
* [[Matthew Foreman]] [[Razgovor:Matthew Foreman| ]]
* [[Thomas Forster]]
* [[Abraham Fraenkel]] [[Razgovor:Abraham Fraenkel| ]]
* [[Gottlob Frege]]
* [[Moti Gitik]] [[Razgovor:Moti Gitik| ]]
* [[Kurt Gödel]] [[Razgovor:Kurt Gödel| ]]
* [[András Hajnal]] [[Razgovor:András Hajnal| ]]
* [[Felix Hausdorff]]
* [[Randall Holmes]]
* [[Steve Jackson (mathematicianmatematičar)|Steve Jackson]] [[Razgovor:Steve Jackson (mathematician)| ]]
* [[Thomas Jech]]
* [[Ronald Jensen]]
* [[Akihiro Kanamori]] [[Razgovor:Akihiro Kanamori| ]]
* [[Alexander S. Kechris]] [[Razgovor:Alexander S. Kechris| ]]
* [[Kenneth Kunen]] [[Razgovor:Kenneth Kunen| ]]
* [[Casimir Kuratowski]]
* [[Richard Laver]] [[Razgovor:Richard Laver| ]]
* [[Azriel Levy]]
* [[Menachem Magidor]] [[Razgovor:Menachem Magidor| ]]
* [[Donald A. Martin]] [[Razgovor:Donald A. Martin| ]]
* [[Anthony Morse]]
* [[Yiannis N. Moschovakis]] [[Razgovor:Yiannis N. Moschovakis| ]]
* [[Andrzej Mostowski]]
* [[John von Neumann]] [[Razgovor:John von Neumann| ]]
* [[Giuseppe Peano]]
* [[Willard Quine]]
Line 46 ⟶ 47:
* [[Dana Scott]]
* [[J C Shepherdson]]
* [[Saharon Shelah]] [[Razgovor:Saharon Shelah| ]]
* [[Waclaw Sierpinski]]
* [[Thoralf Skolem]] [[Razgovor:Thoralf Skolem| ]]
* [[Robert M. Solovay]] [[Razgovor:Robert M. Solovay| ]]
* [[Mikhail Yakovlevich Suslin]]
* [[John R. Steel]] [[Razgovor:John R. Steel| ]]
* [[Gaisi Takeuti]]
* [[Alfred Tarski]]
* [[W. Hugh Woodin]] [[Razgovor:W. Hugh Woodin| ]]
* [[Ernst Zermelo]] [[Razgovor:Ernst Zermelo| ]]
== Vanjski linkovi ==
* http://handbook.assafrinot.com/ (en)
{{Commonscat|Set theory}}