Utente:Mpattuglia/Libri/Teoremi di incompletezza di Gödel
Questo è un “Libro di Wikipedia” | [ Aiuto:Libri ] | |
[ carica libro ] [ PDF ] [ ordina come libro stampato ] [ modifiche correlate ] |
Teoremi di incompletezza di Gödel
modifica- Teoremi di incompletezza di Gödel
- Teorema di completezza di Gödel
- Autoreferenza
- Coerenza (logica matematica)
- Logicismo
- Macchina Gödel-incompleta
- Paradosso di Berry
- Paradosso di Richard
- Paradosso di Russell
- Raymond Smullyan
- Teoria del primo ordine
- Logica matematica
- Kurt Gödel
- Sistema formale
- Aritmetica di Peano
- Formula ben formata
- Rappresentabilità
- Funzione ricorsiva primitiva
- Programma di Hilbert
- Analisi matematica
- Dimostrazione automatica di teoremi
- Geometria euclidea
- Insieme ricorsivo
- Assiomi di Peano
- Principio d'induzione
- Principio del buon ordinamento
- Induzione transfinita
- V postulato di Euclide
- Insieme ricorsivamente enumerabile
- Decidibilità
- Ipotesi del continuo
- Teoria degli insiemi
- Alan Turing
- Problema della terminazione
- Macchina di Turing
- Funzione ricorsiva
- Teorema di Rice
- Teorema di Ramsey
- Teorema di Goodstein
- Gregory Chaitin
- Gruppo (matematica)
- Numero reale
- Numero complesso
- Numero transfinito
- Analisi non standard
- Filosofia della matematica
- Fondamenti della matematica
- Crisi dei fondamenti della matematica
- Numero naturale
- Problemi di Hilbert
- Algoritmo
- Entscheidungsproblem
- Aritmetica di Robinson
- Ordine lessicografico
- Paradosso del mentitore
- Roger Penrose
- Marvin Minsky