Apostolos Doksiadis ja Khristos H. Papadimitrou: Logicomix

Formaalia logiikkaa pidetään Aristoteleen kehittämänä, ja hän säilyikin merkittävimpänä loogikkona aina 1800-luvulle asti. Samoihin aikoihin alettiin oikeastaan ensi kerran sitten Eukleideen todella haastaa matemaattisen totuuden perusteita, kaikkien päättelyiden pohjaa. Syntyi liike, jonka agendana oli matematiikan perusteiden etsintä. Joukko-opin... Lue koko vinkki »