Método Efetivo

Origem: Wikipédia, a enciclopédia livre.
Ir para: navegação, pesquisa
Merge-arrows 2.svg
Foi proposta a fusão deste artigo ou se(c)ção com Método efetivo. Por favor crie o espaço de discussão sobre essa fusão e justifique o motivo aqui; não é necessário criar o espaço em ambas as páginas, crie-o somente uma vez. Perceba que para casos antigos é provável que já haja uma discussão acontecendo na página de discussão de um dos artigos. Verifique ambas (1, 2) e não se esqueça de levar toda a discussão quando levar o caso para a central.
Editor, considere adicionar mês e ano na marcação. Isso pode ser feito automaticamente, com {{Fusão|1=Método efetivo|{{subst:DATA}}}}.

Em lógica e matemática - especialmente metalógica e teoria da computabilidade - método efetivo[1] ( também chamado de procedimento efetivo) é o procedimento para uma classe de problemas é um método para o qual cada passo pode ser descrito como uma operação mecânica, e que, se seguidas rigorosamente resulta em:

  • sempre dar alguma resposta , em vez de nunca dar nenhuma resposta ;
  • sempre dar a resposta certa e nunca dar uma resposta errada ;
  • sempre efetuada num número finito de passos, em vez de um número infinito ;
  • trabalhar para todas as instâncias de problemas da classe .

Um método efetivo para o cálculo dos valores de uma função é um algoritmo ; funções com um método efetivo , por vezes são chamadas efetivamente calculáveis .

Vários esforços independentes para dar uma caracterização formal de previsibilidade eficazes levou a uma variedade de definições propostas ( recursão geral, Máquina de Turing, Cálculo lambda), que mais tarde mostraram-se equivalentes, a noção capturada por essas definições é conhecida como função computável .

O tese de Church-Turing afirma que as duas noções coincidem: qualquer função aritmética que é efetivamente calculável é recursivamente computável. Esta não é uma expressão matemática e não pode ser comprovada por uma prova matemática.

Pode-se requerer que um método efetivo quando aplicado a um problema de fora da classe para a qual é eficaz, possa ser interrompido sem resultado ou continuar indefinidamente sem parar, mas não deve retornar um resultado como se fosse a resposta ao problema (cf divergência) .

Uma característica essencial de um método efetivo é que ele não requer qualquer engenhosidade de qualquer pessoa ou máquina para executá-lo.[2]

Veja também[editar | editar código-fonte]

Referências[editar | editar código-fonte]

  1. Hunter, Geoffrey , Metalogic : uma Introdução ao Metateoria de lógica de primeira ordem padrão , University of California Press, 1971
  2. Dicionário de Filosofia de Cambridge , procedimento eficaz