Risultati di ricerca
27 giu 2024 · Kurt Gödel was an Austrian-born mathematician, logician, and philosopher who obtained what may be the most important mathematical result of the 20th century: his famous incompleteness theorem, which states that within any axiomatic mathematical system there are propositions that cannot be proved or.
- Student Encyclopedia
In 1931 the mathematician and logician Kurt Gödel published...
- Student Encyclopedia
16 giu 2024 · Di Kurt Gödel sapevo soltanto che è stato uno dei più grandi matematici, logici e filosofi di sempre, che è nato a inizio del secolo scorso ed è il padre dei “Teoremi...
30 giu 2024 · Il Teorema di Gódel è stato utilizzato dal fisico matematico Roger Penrose per dimostrare la natura non algoritmica dell'intuito matematico. Di seguito un brano tratto dal suo libro La mente nuova dell'imperatore.
3 giorni fa · Kurt Gödel è autore di un'opera che ha influenzato tutti gli sviluppi successivi della logica nonché l'ulteriore riflessione sui fondamenti della matematica.
27 giu 2024 · Kurt Gödel è autore di un’opera che ha influenzato tutti gli sviluppi successivi della logica nonché l’ulteriore riflessione sui fondamenti della matematica.
29 giu 2024 · Letture matematiche: Da Euclide a Godel. Insieme con la teoria della relatività, la meccanica quantista, l'invenzione del calcolatore e la scoperta del Dna, i teoremi di incompletezza di Gödel costituiscono una delle più importanti acquisizioni scientifiche del ventesimo secolo.
11 giu 2024 · By basing the objectivity of mathematical propositions on the intuition of sets (and, later, objectively existing concepts), which is free from any intuition of space or time, Gödel departs from Kant’s position in the philosophy of mathematics.
