Materia:Logica matematica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
m Bot: Sostituzione automatica (-<br/> +<br />) |
Nessun oggetto della modifica |
||
Riga 12:
La logica matematica studia i concetti di definibilità, dimostrabilità, calcolabilità, e molti altri che emergono nel contesto di sistemi formali. Il linguaggio usato dai matematici e dagli informatici può essere formalizzato, in questo modo questi concetti diventano loro stessi oggetti matematici e vengono studiati con le tecniche e la metodologie tipiche della matematica.
La logica matematica moderna nasce all'inizio del ventesimo secolo. In quegli anni i paradossi della teoria degli insiemi (Russell) e i metodi di dimostrazione non costruttivi (Hilbert) avevano scosso la comunità matematica. Di conseguenza l'interesse dei logici in quegli
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.
|