Materia:Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
avanzamento |
|||
Riga 10:
__TOC__
La logica matematica è il settore della matematica che studia i
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, si assiomatizzano importanti teorie quali la teoria degli insiemi, si formalizza il concetto di computazione effettiva.
La logica matematica acquista maturità nella seconda metà del secolo scorso. La teoria degli insiemi e la teoria dei modelli hanno un impetuoso sviluppo che porta alla luce interazioni profonde con parti dell'analisi matematica (teoria ergodica, analisi funzionale) e parti dell'algebra e la geometria.
Questa materia viene seguita dal [[Dipartimento:Matematica | Dipartimento di Matematica]].
| |||