Ackermann, funzionediAckermann, funzionedi esempio di → funzione ricorsiva che non è ricorsiva primitiva (→ funzione ricorsiva primitiva). Hilbert formulò l’ipotesi che ogni funzione calcolabile fosse [...] ottenibile dalle funzionidi base (funzione zero, funzione successore e funzionidi proiezione) tramite i procedimenti di composizione e ricorsione. Tale affermazione si rivelò infondata quando nel 1928 Ackermann definì una nuova funzione calcolabile ...
Leggi Tutto
funzione ricorsiva
funzione ricorsiva in logica, funzione aritmetica, cioè di dominio e codominio N, definita a partire da alcune funzioni base e attraverso alcune regole costruttive che ne garantiscono [...] essere espresse tramite i due schemi precedenti. Un esempio difunzione che non può essere costruita in questo modo è la funzionedi → Ackermann, scoperta nel 1928. Esistono quindi funzioni ricorsive che non sono primitive; per considerarle tutte ...
Leggi Tutto
funzione ricorsiva primitiva
funzione ricorsiva primitiva in logica, → funzione ricorsiva ottenuta a partire dalle funzioni base applicando solo gli schemi della composizione e della ricorsione. Esempi [...] , la moltiplicazione, l’elevazione a potenza con esponente naturale, il fattoriale e molte fra le funzioni solitamente utilizzate. Esistono tuttavia delle funzioni ricorsive che non sono ricorsive primitive: è il caso della funzionedi → Ackermann. ...
Leggi Tutto
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 [...] primitive non ricopre quella delle funzioni computabili. Infatti, già nel 1928 W. Ackermann aveva costruito una funzione computabile, ma non ricorsiva primitiva. Questa funzione, nota come funzionediAckermann, utilizza un tipo di r. a incastro in ...
Leggi Tutto
minimalizzazione, operatore di
minimalizzazione, operatore di o schema della minimalizzazione, una delle regole attraverso le quali si costruiscono le funzioni ricorsive. L’operatore di minimalizzazione, [...] dalle funzioni base (funzione zero, funzione successore e funzionidi proiezione) sono sufficienti i procedimenti di composizione e ricorsione. Tuttavia, come dimostrato da W. Ackermann con la funzione che porta il suo nome (→ Ackermann, funzionedi ...
Leggi Tutto
AckermannAckermann Wilhelm (Schönebecke, Herscheid, Sassonia-Anhalt, 1896 ‐ Lüdenscheid, Renania Settentrionale-Vestfalia, 1962) logico e matematico tedesco. Fu allievo e collaboratore di D. Hilbert, [...] dell’aritmetica. Attraverso la costruzione di una particolare funzione (→ Ackermann, funzionedi), dimostrò che l’insieme delle funzioni ricorsive primitive non satura il concetto intuitivo di calcolabilità: esiste almeno una funzione – quella da lui ...
Leggi Tutto
Stato dell’Europa centrale, confina a N con la Danimarca, a E con la Polonia e la Repubblica Ceca, a SE e a S con l’Austria, a SO e a O con la Francia, la Svizzera il Belgio e il Lussemburgo, a NO con [...] funzione delle organizzazioni sindacali.
Il Reich acquistò la struttura di uno Stato federale, con 17 Länder dotati di il capolavoro della prosa tedesca Der Ackermann aus Böhmen (1401), vigoroso contrasto di idee e sentimenti in un’anima ...
Leggi Tutto
PSICHIATRIA (XXVIII, p. 446; App. II, 11, p. 624; III, 11, p. 514)
Gian Carlo Reda
La p. in questi ultimi vent'anni ha presentato un notevole sviluppo, legato soprattutto ai progressi della psicofarmacologia, [...] ha una funzionedi guida in quest'ordine di ricerche e assieme ad altri centri di studio la famiglia presenta loro nel corso della seduta. Tra i conductors vengono solitamente classificati N. Ackermann, V. Satir, W. S. Bowen, S. Minuchin, N. Paul e J ...
Leggi Tutto
Capoluogo del piccolo stato omonimo (uno dei 18 componenti della Repubblica Germanica; Freie- und Hansestadt Hamburg; vedi sotto), è la seconda città della Germania per numero d'abitanti e il più grande [...] anche nell'interesse della grande città marinara, tutte le funzionidi tutela militare e diplomatica, che finora A. aveva (1756-63) e soprattutto con la venuta della compagnia diAckermann (1764). Questa aveva nelle sue file il celebre Ekhofe ...
Leggi Tutto
LOGICA MATEMATICA
Beppo LEVI
*
. Logica matematica ovvero logistica o logica simbolica o algebra della logica o logica teorica o logica della matematica sono termini fra loro parzialmente equivalenti, [...] che, con l'aggiunta di segni d'interpunzione (il Peano usa gruppi di punti funzionanti come le parentesi nelle formule e W. Ackermann, Grundzüge der theoretischen Logik, Berlino 1926; A. Padoa, Logica, in Enciclopedia di matematiche elementari, I ...
Leggi Tutto