Alternatívna teória množín
Z Wikipédie
Alternatívna teória množín vo všeobecnosti is je alternatívny matematický prístup ku konceptu množiny. Je to navrhovaná alternatíva k štandardnej teórii množín.
Niektoré z alternatívnych teórií množín:
- teória polomnožín;
- teória hrubých množín;
- teória neostrých množín.
- teória množín New Foundations
- teória kladných množín
Alternatívna teória množín (alebo ATM) je tiež špecificky názov konkrétnej teórie vyvinutej v 70.-80. rokoch 20. storočia Petrom Vopěnkom a jeho študentami. Stavia na niektorých myšlienkach teórie polomnožín, ale zavádza aj radikálnejšie zmeny: napr. všetky množiny sú konečné (hoci niektoré sú „neštandardne konečné“ a externe v skutočnosti nekonečné, a v ATM existujú tiež triedy, ktoré môžu byť nekonečné aj interne.
[úprava] Pozri aj
- Non-well-founded set theory
- New Foundations
- Teória kladných množín
[úprava] Referencie
Vopěnka, P.: Úvod do matematiky v alternatívnej teórii množín. Bratislava, Alfa 1989