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
La seconda rivoluzione scientifica: matematica e logica. Le scuole di filosofia della matematica
Solomon Feferman
Le scuole di filosofia della matematica
I più importanti programmi di fondazione della [...] che è la sua estensione (o Wertverlauf, nella terminologia di Frege), e due funzioni φ(x) e ψ(x) determinano la stessa classe aritmetica di Peano. Tuttavia, dopo alcuni passi falsi diAckermann (che pensò di aver ottenuto una dimostrazione di coerenza ...
Leggi Tutto
Informatica teorica
Giorgio Ausiello
Con l'espressione informatica teorica ci si riferisce a un complesso di discipline scientifiche aventi per oggetto lo studio formale degli strumenti, dei metodi [...] le prestazioni degli algoritmi sono valutate in funzionedi vari parametri: la quantità di dati da elaborare, la dimensione dei blocchi Bernard, A minimum spanning tree algorithm with inverse-Ackermann type complexity, "Journal of the Association for ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. I problemi di Hilbert e la matematica del nuovo secolo
David E. Rowe
I problemi di Hilbert e la matematica del nuovo secolo
Problemi matematici [...] più importante, il suo futuro assistente e collaboratore Wilhelm Ackermann (1896-1962) stabiliva i fondamenti della legge del tertium trasfigurate dei problemi originali hanno avuto la funzionedi catalizzatori per ricerche fruttuose in teorie che ...
Leggi Tutto
sistema Nell’ambito scientifico, qualsiasi oggetto di studio che, pur essendo costituito da diversi elementi reciprocamente interconnessi e interagenti tra loro e con l’ambiente esterno, reagisce o evolve [...] quelli di G. Frege, di B. Russell e A.N. Whitehead, di J. Łukasiewicz, di D. Hilbert e W. Ackermann, di D. due grandi classi: s. lineari, in cui le gi e le fi sono funzioni lineari delle xj; s. non lineari. Nel primo caso è sempre possibile risolvere ...
Leggi Tutto
La seconda rivoluzione scientifica: matematica e logica. Teoria della ricorsivita
Piergiorgio Odifreddi
Teoria della ricorsività
La teoria della ricorsività affronta lo studio delle funzioni con lo [...] per le quali esiste un procedimento che permetta di trovarne i valori in modo meccanico e in un tempo limitato, fu vanificata da Wilhelm Ackermann (1896-1962), che scoprì nel 1928 una funzione 'facilmente' calcolabile che non è ricorsiva primitiva ...
Leggi Tutto
METAMATEMATICA
Alberto Pasquinelli
Aldo Marruccelli
. Il problema della metamatematica. - Come disciplina specifica, la m. deve la propria genesi (e la propria denominazione) a D. Hilbert, il quale [...] lavori di Hilbert (cfr. Gesammelte Abhandlungen, 3 voll., Berlino 1932-35) e della sua scuola (Bernays, Ackermann, von infatti, si dimostra che in esso non è neppure rappresentabile la funzione prodotto a • b. Invece il sistema formale P′, ottenuto ...
Leggi Tutto
Il Contributo italiano alla storia del Pensiero: Scienze (2013)
La logica e i fondamenti della matematica tra Ottocento e Novecento
Mario Piazza
I fondamenti della geometria
Nella seconda metà dell’Ottocento, in tutta Europa il baricentro delle ricerche geometriche [...] l’analisi di Dedekind sono quelli di sistema (insieme) e di rappresentazione (funzione) concepiti come Grundzüge der theoretischen Logik (1928) di Hilbert e Wilhelm Ackermann, il primo manuale moderno di logica matematica che presenta gli assiomi ...
Leggi Tutto