Logica matematica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 26:
 
L' invenzione e la diffusione del computer, macchina logica per eccellenza, sta cambiando la situazione. Da un lato l' informatica utilizza i metodi della logica, questa volta come disciplina applicata, sia per la costruzione dell' hardware che per lo studio delle caratteristitiche e della progettazione del software, dall' altro il sogno formalista trova nei dimostratori automatici di teoremi e nei più semplici "proof assistants" quel complemento alla natura umana, ben attenta alla sostanza e sommersa dai dettagli, indispensabile per portarne a termine il programma.
 
[[Logica/Intermezzo Euclide|Intermezzo: Euclide]]
[[Logica/Intermezzo Paradossi|Intermezzo: i paradossi]]