Discussione:Entscheidungsproblem

Entscheidungsproblem
Argomento di scuola secondaria di II grado
Materia	informatica
Dettagli
Dimensione della voce	2 026 byte
	Progetto Wikipedia 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)Rispondi

modifica

Ultimo commento: 13 anni fa1 commento1 partecipante alla discussione

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)Rispondi

Collegamenti esterni modificati

Ultimo commento: 5 anni fa1 commento1 partecipante alla discussione

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)Rispondi