Cursiefjes onder de kerktoren. Humoristisch, kritisch en soms cynisch.
06-01-2017
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