La seconda rivoluzione scientifica: introduzione. Filosofia e pratica matematica
Umberto Bottazzini
Filosofia e pratica matematica
Quando si parla di 'seconda rivoluzione' scientifica si pensa di solito [...] classica solo per l'analisi o la teoria degli insiemi, "e queste restrizioni sono il risultato non della negazione del tertiumnondatur, ma piuttosto della proibizione di concetti impredicativi", auspicata da Poincaré. Nel 1940 egli dimostra che l ...
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 tertiumnondatur per mezzo della teoria della dimostrazione di Hilbert.
I limiti della profezia
La Conferenza di Parigi di ...
Leggi Tutto
tertium non datur
〈tèrzium ...〉 (lat. «non è ammessa una terza possibilità»). – Espressione che risale alla logica aristotelico-scolastica (con riferimento al «principio del terzo escluso»: v. escluso), con cui si vuol significare che, in...