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
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
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
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