Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
mNessun oggetto della modifica |
m da aggiungere paragrafo finalità |
||
Riga 1:
{{Logica}}
== Finalità ==
== Introduzione ==
La logica è lo studio delle regole del pensiero. Sin dall' antichità filosofi e matematici hanno inseguito il sogno di identificare le vie di ragionamento corretto, che partendo da premesse corrette possano derivare conclusioni corrette.
Line 30 ⟶ 21:
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.
{{avanzamento|50%}}
[[Categoria:Logica| ]]
|