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]
* [[Paul Bernays]]
* [[George Boolos
* [[Bourbaki]]
* [[Georg Cantor
* [[Paul Cohen (
* [[Paul Finsler]]
* [[Matthew Foreman]]
* [[Thomas Forster]]
* [[Abraham Fraenkel
* [[Gottlob Frege]]
* [[Moti Gitik]]
* [[Kurt Gödel]]
* [[András Hajnal]]
* [[Felix Hausdorff]]
* [[Randall Holmes]]
* [[Steve Jackson (
* [[Thomas Jech]]
* [[Ronald Jensen]]
* [[Akihiro Kanamori]]
* [[Alexander S. Kechris
* [[Kenneth Kunen]]
* [[Casimir Kuratowski]]
* [[Richard Laver]]
* [[Azriel Levy]]
* [[Menachem Magidor
* [[Donald A. Martin
* [[Anthony Morse]]
* [[Yiannis N. Moschovakis]]
* [[Andrzej Mostowski]]
* [[John von Neumann
* [[Giuseppe Peano]]
* [[Willard Quine]]
Line 46 ⟶ 47:
* [[Dana Scott]]
* [[J C Shepherdson]]
* [[Saharon Shelah]]
* [[Waclaw Sierpinski]]
* [[Thoralf Skolem]]
* [[Robert M. Solovay]]
* [[Mikhail Yakovlevich Suslin]]
* [[John R. Steel]]
* [[Gaisi Takeuti]]
* [[Alfred Tarski]]
* [[W. Hugh Woodin]]
* [[Ernst Zermelo]]
== Vanjski linkovi ==
* http://handbook.assafrinot.com/ (en)
{{Commonscat|Set theory}}
|