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 »
Kansi: Kun tietotekniikka muutti maailmaa

Antti Wiio: Kun informaatiotekniikka muutti maailmaa

Tässäpä hieman erilainen tietotekniikkakirja, tai historiankirja. Pääosassa eivät ole monimutkainen teknologia, eivätkä toisaalta sodat ja hallitsijat, kuten voisi olettaa. Kuninkaat ja kahakat ovat toki osa informaatioteknologian historiaa, mutta vain sivurooleissa. Kirjoittaja rakentaa mielenkiintoisen tarinan, johon kirjapainotaitokin tulee muka... Lue koko vinkki »

Simon Singh: Fermat’n viimeinen teoreema

Pierre de Fermat oli mestarillinen amatöörimatemaatikko, joka kehitteli elämänsä aikana yhtä jos toista. Tärkeimmäksi perinnöksi jäi kuitenkin kirjan marginaaliin raapustettu lause Cuius rei demonstrationem mirabilem sane detexi hanc marginis exiguitas non caperet, Olen keksinyt väittämälle ihmeellisen todistuksen, mutta marginaalissa ei riitä sill... Lue koko vinkki »

John Derbyshire: Alkulukujen lumoissa

Kirjan aiheena on Riemannin hypoteesi: "Kaikkien zeta-funktion epätriviaalien nollakohtien reaaliosa on puoli." Asian selvittelemiseen kuluu helposti 400 sivua tekstiä, sillä kyseessä on yksi merkittävimmistä ratkaisemattomista matemaattisista ongelmista. Hypoteesi liittyy alkulukuihin, tarkemmin ottaen niiden määrään ja esiintymistiheyteen. Joh... Lue koko vinkki »

Graham Flegg: Lukujen historia : Sormilla laskemisesta tietokoneisiin

Lukujen ja numeroiden historia on mielenkiintoinen osa kulttuurin ja tieteen historiaa. Lukujen historia aloittaa alkukantaisimmista laskutavoista, kuten sormilla laskemisesta, ja päätyy erilaisten laskemisen apuvälineiden – helmitaulut, laskukoneet – kautta tietokoneisiin. Sivussa käsitellään myös lingvistiikkaa, eli lukusanojen kulkeutumista k... Lue koko vinkki »