Amir D. Aczel: Fermat’n teoreema

Fermat'n teoreema Työhuoneeseeni oli ilmaantunut laatikollinen vanhoja kirjoja. Kun niitä oltiin jo heittämässä pois, huomasin että kasassahan oli sopivan paksuinen opus nimeltään Fermat'n teoreema. Amir D. Aczelin kirja oli ilmestynyt jo vuonna 1996, tuoreeltaan sen jälkeen, kun Andrew Wiles oli lähes vuosikymmenen ponnisteltuaan saanut todistetuksi matemaatikkoja... Lue koko vinkki »

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 »