Fare matematica significa utilizzare continuamente un linguaggio simbolico, che ha determinate regole formali. Tale è la sintassi. Però, fare matematica significa anche dare un significato - o anche più di un significato - a tali simboli e tali regole. Tale è la semantica. La teoria dei modelli è una specie di gioco a ping-pong tra sintassi e semantica, tra logica e strutture algebriche. Scopriamola insieme con Simone Ramello, dottorando presso l'Università di Münster.
Intervistato: Simone Ramello, Dottorando WWU Münster
Intervistatore: Francesco Genovese
Visita: meetscience.it
| Licenza: © all rights reserved
