Logica matematica: differenze tra le versioni

Contenuto cancellato Contenuto aggiunto
Diablo (discussione | contributi)
mNessun oggetto della modifica
Diablo (discussione | contributi)
m da aggiungere paragrafo finalità
Riga 1:
{{Logica}}
== Sommario ==
== Finalità ==
 
#[[Logica/Calcolo delle proposizioni|Calcolo delle proposizioni]]
#[[Logica/Calcolo dei predicati|Calcolo dei predicati]]
#[[Logica/Teoria dei modelli|Teoria dei modelli]]
#[[Logica/Computabilita'|Computabilità]]
#[[Logica/Incompletezza|Incompletezza]]
#[[Logica/Intermezzo Euclide|Intermezzo: Euclide]]
#[[Logica/Intermezzo paradossi|Intermezzo: i paradossi]]
#[[Logica/Risorse internet|Risorse internet]]
 
== 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| ]]