Logica matematica
Abraham Robinson
*La voce enciclopedica Logica matematica è stata ripubblicata da Treccani Libri, arricchita e aggiornata da un’introduzione di Gabriele Lolli e un saggio di Beppo [...] , che possono formarsi soltanto mediante una serie di passi successivi. Inoltre, la legge del terzo escluso (tertiumnondatur) cessa di avere una validità universale. Consideriamo infatti una affermazione matematica X, per esempio la seguente ...
Leggi Tutto
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
terzo
tèrzo [agg. numerico ordinale Der. del lat. tertius, da tres "tre"] [LSF] Che in una serie numericamente ordinata viene dopo altri due. ◆ T. suono: (a) [ACS] lo stesso che suono di combinazione, [...] d. ◆ [ALG] [FAF] Principio del t. escluso: nella logica matematica, principio, già noto nella logica classica (lat. tertiumnondatur), generalm. adoperato nelle dimostrazioni per assurdo. Per stabilire la verità di una proposizione A, si suppone che ...
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...