Tutti sappiamo quanto rigore e formalismo sia necessario per addentrarsi nel mondo della matematica, tanto più a livello di ricerca, ad esempio, quando si va a presentare la dimostrazione di un nuovo teorema; [...]Come in tanti altri campi, anche in questo può venirci incontro il supporto del computer: scienziati dal mondo dell'informatica e della matematica, infatti, per agevolare questo aspetto hanno sviluppato lo studio delle dimostrazioni formali. Una dimostrazione formale è una dimostrazione in cui tutti i singoli passi logici sono specificati in maniera univoca, e possono ricondurci agli assiomi fondamentali della matematica.
Nessun commento:
Posta un commento