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 »

Randall Munroe: xkcd : volume 0

xkcd on paras nettisarjakuva, viimeistään Perry Bible Fellowshipin lopetettua. Tikku-ukkotyyliin luottava xkcd on otsikkonsa mukaisesti sarjakuva romantiikasta, sarkasmista, matematiikasta ja kielestä. Yksinkertainen piirrostyyli on sivuseikka, sillä xkcd on todella upeasti kirjoitettu — vaan ei pidä antaa tikku-ukkojen hämätä, sarjakuva on itse a... Lue koko vinkki »