Cerca in:
ricorsività
Enciclopedia on line
ricorsività La proprietà di essere ricorsivo, cioè ricorrente. Teoria della r., o della ricorsione, o computabilità, la disciplina che si occupa di fornire una caratterizzazione matematica del concetto di algoritmo.
Teoria della ricorsività
La motivazione originaria per lo studio della r. fu soprattutto il problema della decisione per le teorie formali (formulato da E. Schröder nel 1895 e ripreso ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
recursione
Dizionario delle Scienze Fisiche (1996)
recursione
recursióne [Der. del lat. recursio -onis, dal part. pass. recursus di recurrere "ricorrere"] [ALG] [FAF] Nella logica matematica, sinon. di ricorrenza. ...
Leggi Tutto
ricursione
Dizionario delle Scienze Fisiche (2012)
ricursione
ricursióne [LSF] Var. di recursione. ◆ [INF] R. primitiva e primitiva limitata: v. complessità di calcolo: I 663 b, c. ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI
Kleene, Stephen Cole
Enciclopedia on line
Matematico e logico matematico statunitense (Hartford, Connecticut, 1909 - Madison, Wisconsin, 1994). Dal 1935 al 1979 prof. all'univ. di Wisconsin, a Madison; dal 1969 fu membro della National academy [...] delle funzioni lambda-definibili e introdusse le funzioni parziali ricorsive per le quali dimostrò il teorema di recursione. Stabilì, per i predicati dell'aritmetica, una gerarchia a seconda del minimo numero di quantificatori alternati (esistenziale ...
Leggi Tutto
CATEGORIA:
BIOGRAFIE
Hauptsatz di Gentzen
Enciclopedia della Scienza e della Tecnica (2008)
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
CATEGORIA:
LOGICA
lambda-calcolo
Enciclopedia della Scienza e della Tecnica (2008)
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
CATEGORIA:
LOGICA
COMPLESSITA'
Enciclopedia Italiana - VI Appendice (2000)
Il termine complessità è oggi frequentemente usato, in campo scientifico, in contesti diversi. In quello dell'informatica, dell'analisi numerica e dell'ottimizzazione, corrisponde alla caratteristica quantitativa [...] i processi di organizzazione, produzione e creazione nel mondo complesso della vita e della storia umana.
Il principio di recursione organizzatrice va al di là del principio di retroazione (feedback); esso va oltre la nozione di regolazione per ...
Leggi Tutto
CATEGORIA:
TEMI GENERALI