Strumenti Utente

Strumenti Sito


Action disabled: source
db:teoria_dei_tipi

Teoria dei tipi

Approfondimenti

Info

Quest'argomento non è collegato ad altri approfondimenti correlati. Si consiglia, in ogni caso, di controllare sempre [ l'Indice ] degli Approfondimenti

Questa pagina è solo improntata in attesa di completamento da parte dei Collaboratori. Se sei interessato a collaborare attivamente con Extrapedia, leggi come fare [ Collabora ]

In Matematica, Logica e Informatica, una Teoria dei tipi è una classe di sistemi formali, alcuni dei quali possono fungere da alternative per impostare la teoria come fondamento di tutta la matematica. Nella Teoria dei tipi, ogni “termine” ha un “tipo” e le operazioni sono ristrette ai termini di un certo tipo.

La Teoria dei tipi è strettamente correlata a (e in alcuni casi si sovrappone a) i sistemi di tipi, che sono una caratteristica del linguaggio di programmazione utilizzata per ridurre i bug. La Teoria dei tipi è stata creata per evitare i paradossi in una varietà di logiche formali e sistemi di riscrittura. Due teorie di tipo ben note che possono servire come fondamenti matematici, sono: il calcolo “Lambda” tipizzato da Alonzo Church e la teoria di tipo intuizionista di Per Martin-Löf.


Qualora alcuni link non funzionassero, si prega di comunicarlo allo Staff - staff@extrapedia.org


db/teoria_dei_tipi.txt · Ultima modifica: 13/04/2019 16:08 (modifica esterna)