Discussão:Entscheidungsproblem

		Este artigo foi avaliado automaticamente com qualidade 2 e faz parte do âmbito de um WikiProjeto: Lógica.
		Para o WikiProjeto:Lógica este artigo possui importância ainda não avaliada. Se você se interessa pelo assunto, visite o projeto para conhecer as tarefas e discussões em curso.
Se não tiver suas questões respondidas nesta página de discussão procure o(s) wikiprojeto(s) acima.

Este artigo foi desenvolvido e/ou revisto no âmbito de uma atividade educacional em dezembro de 2006. Estão disponíveis mais detalhes.

Fusão Entscheidungsproblem; Problema de decisão

Último comentário: 14 de julho de 20175 comentários4 pessoas na discussão

[ver] [editar] [histórico] [vigiar]

^{Essa é uma discussão feita na Central de Fusões ela está transcluída aqui para maior visibilidade. Para adicionar um comentário clique no link de editar ao lado direito.}

Proposta feita em 8 de maio de 2017 para a fusão das seguintes páginas: Entscheidungsproblem; Problema de decisão.
Discussão encerrada. Resultado: não fundir

Em Inglês existe en:Entschei dungs problem Q11030584 e en:Decision problem Q3262192. Curioso é que em francês temos fr:Problème de la décision e fr:Problème de décision. Mas os artigos em Português, e mesmo os interwikis, não mostram bem qual é a diferença. 2804:D41:2303:7600:11C6:A35C:4D96:EC18 (discussão) 23h44min de 8 de maio de 2017 (UTC)Responder

Comentário: em dezembro de 2006, um(a) anônimo(a) desfez [Δ4161080] o redirecionamento para Entscheidungsproblem que havia em Problema de decisão, criado por Nuno Tavares. Ambos os artigos foram marcados para fusão por outra conta anônima 189.61.163.50 (D ctrib A E logs B M F). E uma terceira conta abriu essa proposta de fusão. Nenhum dos dois artigos possui contribuidores ativos recentemente. Segundo He7d3r [Δ40171817] [Δ40171815], ambos os artigos são resultados de projeto educacional de 2006. Como ambos estão vinculados ao WikiProjeto Lógica, convido o único wikipedista ainda ativo e membro daquele wikiprojeto para aqui comentar, Luizpuodzius — além do próprio Helder, já mencionado. --Luan (discussão) 20h08min de 6 de julho de 2017 (UTC)Responder

Bom.., não acho que os artigos sejam iguais ... ou, pelo menos, não deveria ser o caso. Entscheidungsproblem, que pra confundir ainda mais o problema é conhecido como "o problema de decisão em lógica formal ", é primordial.. de 1928 ... antes dos computadores, programas e apps. Você pode entender ... ou obter uma visão um pouco mais clara sobre o "problema Entscheidungs" (prefiro o nome abrasileirado), observando esta parte do filme "Breaking The Code". Você vê que Turing estava tentando responder a última de uma série de perguntas sobre certeza em matemática, de Hilbert, sobre se um método poderia ser concebido para decidir se qualquer asserção matemática é provável (que pode ser provada) ou não. No processo de tentar descobrir como lidar com esta questão, ele criou a idéia da Turing Machine, que era apenas um conceito teórico. Ele usou esse dispositivo conceitual, o "problema Entscheidungs", para mostrar que não havia nenhum método que mostrava absolutamente se uma afirmação é provável. Assim, uma declaração é universalmente válida se - e apenas se - pode ser deduzido dos axiomas. Então o problema Entscheidungs procura o algoritmo para decidir se uma determinada declaração é provável a partir dos axiomas usando as regras da lógica. Depois aparece a teoria da recursão de Church, Godel, Post, Turing, Kleene, etc que spams vários outros problemas em linguística. Um deles deriva da questão "Sim-Não", por que alguns estão intimamente ligados com problemas de função, que podem ter respostas mais complexas do que um simples 'sim' ou 'não'. Voila, finalmente chegamos ao Problema de decisão. Em summa, o problema de decisão, uma teoria da complexidade computacional, é uma evolução de um problema linguístico que nasceu de um conceito Entscheidungsproblem de lógica formal. MAS eu não tenho ideia, e nenhuma opinião, se e qual o artigo não deve...ou deve ser derretido em um único artigo. Sorry!