Jordan Ellenberg - Hogy ne tévedjünk - A mindennapi élet rejtett matematikája

geometriára érvényes, akkor mindazok a tételek, amelyeket Eukleidész az első négy axiómára támaszkodva bizonyított, nemcsak az ő ...

Ennek a hagyománynak „formalizmus” a neve. Erről beszélt G. H. Hardy, amikor rácsodálkozva megjegyezte, hogy a 19. századi matem ...

demokráciáról többé-kevésbé ez ma a formalista felfogás a szabad világban. A 2000-es amerikai elnökválasztáson Floridában Palm B ...

ha nem igazolható, hogy a választás napján vagy még előbb adták fel őket? És mennyire törekedtek a floridai megyék a szavazatok ...

formalizmus! Az teszi a kormányt a törvények, s nem az emberek kormányává.”{^4 } Scalia nézetei szerint ha a bírák meg akarják é ...

John Roberts főbíró nem olyan buzgó híve a formalizmusnak, mint Scalia, de általában rokonszenvez Scalia felfogásmódjával. 2005- ...

Maier azonban benyúlt a pálya fölé, és a nézőtérre sodorta ki a labdát. Jeter tudta, hogy ez nem volt hazafutás.{^6 } Trasco és ...

bizonytalanságot a maga axiómáiban, akkor hogyan várhatnánk mást a törvényhozóktól? A jogi realisták Richard Posner bíróhoz, a C ...

megfontolásokból hozott döntés volt, a bírák egy esetleg több hónapig húzódó választási zűrzavarnak akarták vele elejét venni. A ...

A matematikában David Hilbert volt a formalizmus legnagyobb bajnoka, az a német matematikus, aki 1900-ban a párizsi Nemzetközi M ...

Robinson megmutatta, hogy nincs ilyen algoritmus. (A számelmélészek mindenütt megkönnyebbülten felsóhajtottak – kissé lehangoló ...

geometriájának a fiatal Wald Ábrahám volt az egyik első lelkes követője; még bécsi diákként bebizonyította, hogy némelyik Hilber ...

matematikáját zavar és válság gyötörte, mivel az általánosan elfogadott analízisbeli és geometriai definíciókról kiderült, hogy ...

hogy nem mondanak ellent egymásnak, vagyis hogy véges sok logikai lépés megtétele után sem fogunk belőlük ellentmondó eredmények ...

malacok halmaza, és a malacokból a sárga színűek is halmazt alkotnak, a sárga malacok halmazát. Bajos lenne itt valamiféle nehéz ...

de ha a Frege-féle definíció beengedi a halmazok világába, akkor be kell engednünk nekünk is. NU maga vajon uroboroszi vagy nem ...

formális logikában – e kettő között mellesleg aligha lehet különbséget tenni.” De azután: „Csak egy ponton ütköztem nehézségbe.” ...

matematikushoz, sőt a legtöbb mindennapi emberhez hasonlóan azt gondolta, hogy az aritmetika szokásos szabályai igaz állítások a ...

az aritmetika ellentmondás-mentességére nem lehet véges bizonyítást adni. Egyetlen sorral leterítette Hilbert programját. Vagyis ...

és ellentmondásmentes? Kérdezz meg húsz év múlva. Ezekhez a dolgokhoz idő kell. Hilbert matematikai stílusa túlélte a formalista ...