. . . . . "15556939"^^ . . . "30"^^ . . "Principia Mathematica (PM) jsou t\u0159\u00EDsvazkov\u00E9 d\u00EDlo pojedn\u00E1vaj\u00EDc\u00ED o z\u00E1kladech matematiky, napsan\u00E9 Alfredem Northem Whiteheadem a Bertrandem Russellem a vydan\u00E9 v letech 1910, 1912 a 1913. V roce 1927 vy\u0161lo druh\u00E9 vyd\u00E1n\u00ED s d\u016Fle\u017Eit\u00FDm \u00DAvodem, Dodatkem A, jen\u017E nahradil v\u011Btu *9, a zcela nov\u00FDm Dodatkem C."@cs . . "Principia Mathematica"@cs . . . . . . . . "Principia Mathematica"@cs . "Principia Mathematica (PM) jsou t\u0159\u00EDsvazkov\u00E9 d\u00EDlo pojedn\u00E1vaj\u00EDc\u00ED o z\u00E1kladech matematiky, napsan\u00E9 Alfredem Northem Whiteheadem a Bertrandem Russellem a vydan\u00E9 v letech 1910, 1912 a 1913. V roce 1927 vy\u0161lo druh\u00E9 vyd\u00E1n\u00ED s d\u016Fle\u017Eit\u00FDm \u00DAvodem, Dodatkem A, jen\u017E nahradil v\u011Btu *9, a zcela nov\u00FDm Dodatkem C. D\u00EDlo nen\u00ED toto\u017En\u00E9 s Russellovou knihou Principy matematiky z roku 1903 ani se spisem Philosophiae Naturalis Principia Mathematica Isaaca Newtona.Principia Mathematica se sna\u017E\u00ED odvodit ve\u0161ker\u00E9 matematick\u00E9 pravdy z dob\u0159e definovan\u00E9ho souboru axiom\u016F a odvozovac\u00EDch pravidel zapsan\u00FDch apar\u00E1tem symbolick\u00E9 logiky. Jedn\u00EDm z hlavn\u00EDch inspira\u010Dn\u00EDch zdroj\u016F pro naps\u00E1n\u00ED PM byla Fregova d\u0159\u00EDv\u011Bj\u0161\u00ED pr\u00E1ce v logice, kter\u00E1 vedla k paradox\u016Fm (Russell\u016Fv paradox). Auto\u0159i PM se t\u011Bmto paradox\u016Fm vyhnuli t\u00EDm, \u017Ee vytvo\u0159ili propracovanou teorii typ\u016F. V n\u00ED m\u00E1 ka\u017Ed\u00FD matematick\u00FD objekt sv\u016Fj typ. Typy jsou uspo\u0159\u00E1d\u00E1ny v hierarchii a mno\u017Einy mohou obsahovat pouze objekty ni\u017E\u0161\u00EDho typu.Principia Mathematica jsou pova\u017Eov\u00E1na za jedno z nejd\u016Fle\u017Eit\u011Bj\u0161\u00EDch d\u011Bl z oboru matematick\u00E9 logiky a filosofie od Aristotelova Organonu."@cs . . . . "646076"^^ . . . . . "6377"^^ . . . . . . . . . . . . . . . .