Se viceversa

a cura di Gabriele Lolli
Scuola Normale Superiore di Pisa

"Se viceversa", continuò Tweedledee; "così fosse, potrebbe essere; e se così non fosse, sarebbe; ma dato che non è, non si dà. E' logico." Lewis Carroll Attraverso lo specchio e quello che Alice vi trovò

Gli interventi di Gabriele Lolli, docente di Logica matematica all'Università di Torino

• Intuizione numerica e intuizione geometrica
  
  
• Induzione: dimostrazione o scoperta?
  
  
• I disegni sono dimostrazioni?
  
  
• L'analogia in matematica
  
  
• I turbamenti dell’uguale
  
  
• Autismo e matematica
  
  
• Il blocco matematico
  
  
• Matematica è...
  
  
• Turing, un romanzo
  
  
• Come sono i nostri maestri?
  
  
• Elogio della lentezza
  
  
• Elogio dell'assurdo
  
  
• A cosa servono le dimostrazioni nella scuola e nella ricerca
  
  
• Babele
  
  
• Come si insegna il gusto della ricerca
  
  
• Sudoku e logica
  
  
• Proof
  
  
• Provare... dimostrare
  
  
• Gödel filosofo
  
  
• Eulero e le sue non–dimostrazioni
  
  
• Errori nelle dimostrazioni
  
  
• Sul ragionamento non verbale
  
  
• Dimostrazioni inutili?
  
  
• Come sono i nostri maestri 2
  
  
• Calcoli e dimostrazioni
  
  
• Concetti
  
  
• Metamatica
  
  
• Concetti naïve e logica 2
  
  
• La vita dei simboli
  
  
• Dimostrazioni matematiche e dimostrazioni logiche
  
  
• Cinque pezzi facili
  
  
• Matematica a scuola, matematica all'Università
  
  
• Che pensi? Ma pensi?
  
  
• Serve ancora la logica per la didattica?

Per poter visualizzare sul proprio sistema i documenti in formato pdf deve essere presente Adobe® Acrobat Reader®. Se non si dispone di tale software lo si può scaricare gratuitamente facendo click sull'immagine qui a fianco.

Gabriele Lolli in libreria e in rete

Le ragioni fisiche e le dimostrazioni matematiche, Il Mulino, Bologna, 1985

La Macchina e le Dimostrazioni:matematica, logica e informatica, Il Mulino, 1987

Capire una dimostrazione, il ruolo della logica nella matematica, Il Mulino, 1988

Introduzione alla logica formale, Il Mulino, 1991

Incompletezza, saggi su Kurt Gödel, Il Mulino, 1992

Dagli insiemi ai numeri, Bollati Boringhieri, 1994.

Capire la matematica, Il Mulino, 1996

Il riso di Talete, Bollati Boringhieri, 1998

Beffe, scienziati e stregoni, Il Mulino, 1998

La crisalide e la farfalla, Bollati Boringhieri, 2000

Filosofia della matematica : l'eredità del Novecento, Il Mulino, 2002

Da Euclide a Gödel, Il Mulino, Bologna, 2004

QED - Fenomenologia della dimostrazione, Bollati Boringhieri, Torino, 2005

Sotto il segno di Gödel, il Mulino, 2007

Guida alla teoria degli insiemi, Springer Italia, 2008

La pagina web di Gabriele Lolli: http://homepage.sns.it/lolli