Add to ORKGIn questo volume viene fornita una ricostruzione-valutazione dei programmi che Hilbert, insieme con i suoi allievi, propose negli anni Venti del secolo scorso: il programma della non-contraddittorietà e il programma della conservazione (detto anche "programma della coerenza esterna"). Il carattere particolare del volume è dato dal fatto che le considerazioni sono fatte dall'angolo visuale fornito dalle indagini di teoria della dimostrazione fatte da G. Kreisel in una serie di importanti lavori che vanno dalla fine degli '50 agli anni '80
"Eliminare il principio del terzo escluso per il matematico sarebbe come vietare l’uso del telescopi...
Due distinti ideali di Borel con la stessa funzione di Hilbert hanno anche gli stessi numero di Bett...
Tra i molti argomenti che sono stati richiamati nel confronto tra Lask e Husserl non è compreso l’in...
National audienceNegli ultimi dieci anni abbiamo assistito a un rinnovato interesse per lo sviluppo ...
I contributi di Hilbert nella teoria dei numeri sono molteplici. Ci soffermeremo solo su due aspetti...
Riferiamo e commentiamo la controversia di inizio Novecento tra Hilbert e Poincaré sull'importanza d...
L'aspetto essenziale della matematica costruttiva è quello di essere formalizzabile in una teoria de...
I quattro saggi raccolti in questo volume documentano il percorso intellettuale di John von Neumann ...
In questo lavoro di tesi si sono analizzati i modelli di R costruiti nel XIX secolo da Dedekind e da...
Oltre due millenni separano la scoperta dei numeri irrazionali, ad opera dei Pitagorici, dalla rigor...
Scopo di questa tesi è dimostrare il teorema del calcolo funzionale continuo e di Borel, il quale h...
Il libro presenta, con dimostrazioni dettagliate, le costruzioni classiche dei numeri reali di M\ue9...
In questo elaborato viene presentata la costruzione degli schemi di Hilbert, attraverso le nozioni ...
Nei suoi primi anni di applicazione, il calcestruzzo armato si presentava come un sistema costruttiv...
"Eliminare il principio del terzo escluso per il matematico sarebbe come vietare l’uso del telescopi...
Due distinti ideali di Borel con la stessa funzione di Hilbert hanno anche gli stessi numero di Bett...
Tra i molti argomenti che sono stati richiamati nel confronto tra Lask e Husserl non è compreso l’in...
National audienceNegli ultimi dieci anni abbiamo assistito a un rinnovato interesse per lo sviluppo ...
I contributi di Hilbert nella teoria dei numeri sono molteplici. Ci soffermeremo solo su due aspetti...
Riferiamo e commentiamo la controversia di inizio Novecento tra Hilbert e Poincaré sull'importanza d...
L'aspetto essenziale della matematica costruttiva è quello di essere formalizzabile in una teoria de...
I quattro saggi raccolti in questo volume documentano il percorso intellettuale di John von Neumann ...
In questo lavoro di tesi si sono analizzati i modelli di R costruiti nel XIX secolo da Dedekind e da...
Oltre due millenni separano la scoperta dei numeri irrazionali, ad opera dei Pitagorici, dalla rigor...
Scopo di questa tesi è dimostrare il teorema del calcolo funzionale continuo e di Borel, il quale h...
Il libro presenta, con dimostrazioni dettagliate, le costruzioni classiche dei numeri reali di M\ue9...
In questo elaborato viene presentata la costruzione degli schemi di Hilbert, attraverso le nozioni ...
Nei suoi primi anni di applicazione, il calcestruzzo armato si presentava come un sistema costruttiv...
"Eliminare il principio del terzo escluso per il matematico sarebbe come vietare l’uso del telescopi...
Due distinti ideali di Borel con la stessa funzione di Hilbert hanno anche gli stessi numero di Bett...
Tra i molti argomenti che sono stati richiamati nel confronto tra Lask e Husserl non è compreso l’in...