Aplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar
DOI:
https://doi.org/10.5902/2179460X25032Resumo
A noção de sistema axiomático supõe as noções de propriedade efetiva e de regra efetiva. De fato, tem-se que saber se uma sequência de símbolos é ou não um axioma ou se é ou não a aplicação correta de uma regra. Como a Teoria das Funções Recursivas estuda essas noções de propriedade efetiva e regra efetiva, sua aplicação ao estudo de sistemas axiomáticos possibilita demonstrar resultados profundos. Neste trabalho, aplica-se a teoria de funções recursivas ao sistema lógico matemático Aritmética Elementar, para mostrar que o conjunto de sentença falsas constituem uma teoria indecidível e não axiomática.
Downloads
Referências
CENTENARO, I. F. Teoria das Funções Recursivas e Aplicação à Lógica. Campinas/SP. 1977. (Tese de Mestrado-UNICAMP).
CHURCH, A. An Unsolvable Problem of Elementary Number Theory. American Journal of Mathematics, 58: 345-363, 1963.
DAVIS, M. Computability & Unsolvability. MacGraw-Hill Book Company, New York, 1958.
GÜDEL, K. Über die länge von Berweiser. Ergebnisse eines mathematisches Kolloquium , Helf 4: 34-38, 1936.
MYHILL, J. Creative Sets. Zeitschrift Matematische Logik und Grundlangue der Mathematik, 1 : 97-108, 1955.
POST, E.L. Finite combinatory processes-formulation, I. The Journal of symbolic Logic, 1: 103-105, 1936.
ROGERS, H. Jr. Theory of Recursive Functions and Effective Computability. McGraw-Hill Book Company, New York, 1967.
Downloads
Publicado
Como Citar
Edição
Seção
Licença
Para acessar a DECLARAÇÃO DE ORIGINALIDADE E EXCLUSIVIDADE E CESSÃO DE DIREITOS AUTORAIS clique aqui.
Diretrizes Éticas para Publicação de Revistas
A revista Ciência e Natura está empenhada em garantir a ética na publicação e na qualidade dos artigos.
A conformidade com padrões de comportamento ético é, portanto, esperada de todas as partes envolvidas: Autores, Editores e Revisores.
Em particular,
Autores: Os Autores devem apresentar uma discussão objetiva sobre a importância do trabalho de pesquisa, bem como detalhes e referências suficientes para permitir que outros reproduzam as experiências. Declarações fraudulentas ou intencionalmente incorretas constituem comportamento antiético e são inaceitáveis. Artigos de Revisão também devem ser objetivos, abrangentes e relatos precisos do estado da arte. Os Autores devem assegurar que seu trabalho é uma obra totalmente original, e se o trabalho e / ou palavras de outros têm sido utilizadas, isso tem sido devidamente reconhecido. O plágio em todas as suas formas constitui um comportamento publicitário não ético e é inaceitável. Submeter o mesmo manuscrito a mais de um jornal simultaneamente constitui um comportamento publicitário não ético e é inaceitável. Os Autores não devem submeter artigos que descrevam essencialmente a mesma pesquisa a mais de uma revista. O Autor correspondente deve garantir que haja um consenso total de todos os Co-autores na aprovação da versão final do artigo e sua submissão para publicação.
Editores: Os Editores devem avaliar manuscritos exclusivamente com base no seu mérito acadêmico. Um Editor não deve usar informações não publicadas na própria pesquisa do Editor sem o consentimento expresso por escrito do Autor. Os Editores devem tomar medidas de resposta razoável quando tiverem sido apresentadas queixas éticas relativas a um manuscrito submetido ou publicado.
Revisores: Todos os manuscritos recebidos para revisão devem ser tratados como documentos confidenciais. As informações ou ideias privilegiadas obtidas através da análise por pares devem ser mantidas confidenciais e não utilizadas para vantagens pessoais. As revisões devem ser conduzidas objetivamente e as observações devem ser formuladas claramente com argumentos de apoio, de modo que os Autores possam usá-los para melhorar o artigo. Qualquer Revisor selecionado que se sinta desqualificado para rever a pesquisa relatada em um manuscrito ou sabe que sua rápida revisão será impossível deve notificar o Editor e desculpar-se do processo de revisão. Os Revisores não devem considerar manuscritos nos quais tenham conflitos de interesse resultantes de relacionamentos ou conexões competitivas, colaborativas ou outras conexões com qualquer dos autores, empresas ou instituições conectadas aos documentos.
