recursionerecursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logica matematica, sinon. di ricorrenza. ...
Leggi Tutto
Hauptsatz di Gentzen
Silvio Bozzi
Con questo nome (che significa teorema fondamentale) nella letteratura logica si indica una classe di teoremi il cui prototipo è dato dal risultato ottenuto da Gerhald [...] e a teorie più potenti dell’aritmetica utilizzando principi metateorici – in particolare principi d’induzione o di recursione – che trascendono il punto di vista finitista ma conservano un qualche carattere costruttivo. Ricerche importanti in questo ...
Leggi Tutto
lambda-calcolo
Silvio Bozzi
Presentato per la prima volta da Alonzo Church nel 1932 come frammento di un più ampio sistema (poi dimostratosi contraddittorio) per la fondazione della matematica, il λ-calcolo [...] distinzioni tra le espressioni e questo risulta fondamentale per studiare l’esistenza di punto fissi e principî di recursione; è però possibile introdurre distinzioni di tipo (distinguendo individui da funzioni, funzioni da funzioni di funzioni, ecc ...
Leggi Tutto