Principia Mathematica: Porovnání verzí
Založení |
m r2.7.1) (robot přidal: bn, ca, cy, de, es, fa, fi, fr, hu, it, ja, ko, nl, pl, simple, sv, ta |
||
Řádek 10: | Řádek 10: | ||
[[Kategorie:Filosofie matematiky]] |
[[Kategorie:Filosofie matematiky]] |
||
[[bn:প্রিন্সিপিয়া ম্যাথেম্যাটিকা]] |
|||
[[ca:Principia Mathematica (Russell-Whitehead)]] |
|||
[[cy:Principia Mathematica]] |
|||
[[de:Principia Mathematica]] |
|||
[[en:Principia Mathematica]] |
[[en:Principia Mathematica]] |
||
[[es:Principia mathematica]] |
|||
[[fa:مبادی ریاضیات]] |
|||
[[fi:Principia Mathematica]] |
|||
[[fr:Principia Mathematica]] |
|||
[[hu:Principia Mathematica]] |
|||
[[it:Principia Mathematica]] |
|||
[[ja:プリンキピア・マテマティカ]] |
|||
[[ko:수학 원리]] |
|||
[[nl:Principia Mathematica]] |
|||
[[pl:Principia mathematica]] |
|||
[[simple:Principia Mathematica]] |
|||
[[sv:Principia Mathematica]] |
|||
[[ta:பிரின்சிப்பியா மாத்தமாட்டிக்கா]] |
Verze z 5. 2. 2011, 17:42
Principia Mathematica (PM) jsou třísvazkové dílo pojednávající o základech matematiky, napsané Alfredem Northem Whiteheadem a Bertrandem Russellem a vydané v letech 1910, 1912 a 1913. V roce 1927 vyšlo druhé vydání s důležitým Úvodem, Dodatkem A, jenž nahradil větu *9, a zcela novým Dodatkem C. (Dílo není totožné s Russellovou knihou Principy matematiky z roku 1903.)
Principia Mathematica se snaží odvodit veškeré matematické pravdy z dobře definovaného souboru axiomů a odvozovacích pravidel zapsaných aparátem symbolické logiky. Jedním z hlavních inspiračních zdrojů pro napsání PM byla Fregova dřívější práce v logice, která vedla k paradoxům (Russellův paradox). Autoři PM se těmto paradoxům vyhnuli tím, že vytvořili propracovanou teorii typů. V ní má každý matematický objekt svůj typ. Typy jsou uspořádány v hierarchii a množiny mohou obsahovat pouze objekty nižšího typu.
Principia Mathematica jsou považována za jedno z nejdůležitějších děl z oboru matematické logiky a filosofie od Aristotelova Organonu.
Reference
V tomto článku byl použit překlad textu z článku Principia Mathematica na anglické Wikipedii.