Materia:Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
Riga 10:
__TOC__
La logica matematica è il settore della matematica che studia i concetti di definibilità, dimostrabilità,
La logica matematica moderna nasce all'inizio del ventesimo secolo. In quegli anni i paradossi della teoria degli insiemi (cf. Russell) e i metodi di dimostrazione non costruttivi (cf. Hilbert) avevano scosso la comunità matematica. Di conseguenza l'interesse dei logici in quegli hanni si rivolge soprattutto ai fondamenti. Per esempio: si dimostrano teoremi di completezza e di incompletezza del calcolo formale (Goedel), si assiomatizzano importanti teorie quali la teoria degli insiemi (Zermelo-Fraenkel), si formalizza il concetto di computazione effettiva (Turing, Church).
Riga 27:
=== Programma ===
Incompleto!!! Il capitolo sul calcolo sintattico e quello sulla teoria della calcolabilità
==== Strumenti minimi di teoria degli insiemi ====
| |||