776 Logicomix
776 Logicomix
Apostolos Doxiados en Christos N. Papadimitriou maakten een strip, waarin de Wiskunde en de moderne filosofie vervat zit.
Het is een prachtige beeldroman over de spirituele odyssee van Bertrand Russell. Die zocht als filosoof naar de absolute waarheid. In zijn zoektocht stootte hij op grote denkers zoals Frege, Hilbert, Gödel en Wittgenstein. Zijn doel : het bepalen van onwrikbare grondslagen voor de Wiskunde bleef echter buiten bereik. Door vastberaden bij zijn missie te blijven, zette hij zijn carrière en zijn persoonlijk geluk op het spel. Het dreef hem bijna tot waanzin!
Een overzicht :
Russell “Principia” (Jena)
Leibniz “Begriffschrift” Beschrijving der begrippen – streven naar een volledig logische taal
Aristoteles – Boole syllogismen + variabelen
Gausz Laat je nooit rechtstreeks in met oneindigheid
Georg Cantor Gradaties in oneindigheid – schepper verzamelingenleer
Mittreg – Leffler Parijs
Henri Poincaré bevrijder van het belang van de menselijke intuïtie
David Hilbert apostel van het exacte logische bewijs
Verzamelingen tot Cantor : getallen, vormen, begrippen
in de XIXde eeuw op grond van wetenschappelijke eigenschappen
Frege en Peano theorie van getallen
Eubolides Russells paradox : zelfverwijzing
Cantor
Peano Turijn
David Hilbert Göttingen
Gottlieb Frege Jena
1903 Whithead – Russell Typentheorize – premissen
Het vat der Danaïden vullen Pribncipia
Christos algoritmes
Ludwig Wittgenstein “Tractatus” premissen van de typentheorie
Hilbert proposities – beeldtheorie
Yeates Gödel Axioma