|
Bibliografia: Classical recursion Theory, North
Holland, 1989; Classical recursion Theory, Volume II,
North Holland, 1999; Il Vangelo secondo la Scienza, Einaudi,
1999; La matematica del Novecento, Einaudi, 2000; Il
computer di Dio, Cortina, 2000; C'era una volta un paradosso,
Einaudi, 2001; La repubblica dei numeri, Cortina, 2002;
Zichicche, Dedalo, 2003; Il diavolo in cattedra. La
logica matematica da Aristotele a Kurt Gödel, Einaudi, 2003;
Divertimento geometrico - Da Euclide ad Hilbert, 2003,
Bollati Boringhieri; Le menzogne di Ulisse. L'avventura della
logica da Parmenide ad Amartya Sen, Longanesi, 2004; Il
matematico impertinente, Longanesi, 2005; Penna, pennello,
bacchetta: le tre invidie del matematico, Laterza, 2005; Idee
per diventare matematico, Zanichelli, 2005; Incontri con
menti straordinarie, Longanesi, 2006; Perché non possiamo
essere cristiani (e meno che mai cattolici), Longanesi, 2007.
Curriculum
vitae et studiorum
|