Entscheidungsproblem | |
---|---|
Argomento di scuola secondaria di II grado | |
Materia | informatica |
Dettagli | |
Dimensione della voce | 2 028 byte |
Progetto Teknopedia e scuola italiana |
In questo momento non ho tempo di modificare la pagina; vorrei tuttavia segnalare che l'Entscheidungsproblem non è affatto "dimostrare [...] che gli assiomi dell'aritmetica dei numeri reali erano anch'essi coerenti". Forse c'è confusione col problema di stabilire la coerenza dell'aritmetica e i teoremi di incompletezza di Gödel: si tratta di questioni affini ma non dell'Entscheidungsproblem; inoltre, non si tratta di uno dei problemi di Hilbert del 1900, e i numeri reali non c'entrano nulla.
L'Entscheidungsproblem è, invece, il problema di stabilire se una certa proposizione sia o meno un teorema (in un certo sistema formale, e.g. l'aritmetica di Peano). A questo proposito, si vedano ad esempio
- http://en.wikipedia.org/wiki/Entscheidungsproblem
- http://mathworld.wolfram.com/DecisionProblem.html
- Alonzo Church, "A note on the Entscheidungsproblem", Journal of Symbolic Logic, 1 (1936), pp 40-41.
--82.56.120.133 (msg) 17:55, 4 gen 2009 (CET)
modifica
[modifica wikitesto]Ho modificato la voce correggendo la definizione del problema (in accordo con l'utente sopra), ed eliminando la parte su Kurt Goedel che era sviante, in quanto la soluzione negativa al problema della decisione non venne direttamente da lui ma da Church e Turing. Resta un abbozzo --Stavrogin (msg) 14:31, 13 ott 2011 (CEST)
Collegamenti esterni modificati
[modifica wikitesto]Gentili utenti,
ho appena modificato 1 collegamento esterno sulla pagina Entscheidungsproblem. Per cortesia controllate la mia modifica. Se avete qualche domanda o se fosse necessario far sì che il bot ignori i link o l'intera pagina, date un'occhiata a queste FAQ. Ho effettuato le seguenti modifiche:
- Aggiunta del link all'archivio https://web.archive.org/web/20141222015347/http://draperg.cis.byuh.edu/archive/winter2014/cs320/Turing_Paper_1936.pdf per http://draperg.cis.byuh.edu/archive/winter2014/cs320/Turing_Paper_1936.pdf
Fate riferimento alle FAQ per informazioni su come correggere gli errori del bot.
Saluti.—InternetArchiveBot (Segnala un errore) 20:24, 29 mag 2019 (CEST)