28 may 2014 -- 12:30
Aula Tricerri (DIMAI Dini, Firenze)
Abstract.
Con lo sviluppo delle scienza che stiamo vivendo, dovremmo riformare la geometria tradizionale perché diventi più conveniente logicamente, scientificamente e didatticamente. Così, in questo seminario, daremo la luce alla geometria di Tarski formalizzata dentro il Coq (un programma informatico).