Recursive function theory applied to the logical system elementar arythmetic
Aplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar
| dc.creator | Centenaro, Iralino Fidêncio | |
| dc.creator | Centenaro, Maria Henriqueta Ferrari | |
| dc.date | 1984-12-11 | |
| dc.date.accessioned | 2023-09-27T19:29:56Z | |
| dc.date.available | 2023-09-27T19:29:56Z | |
| dc.identifier | https://periodicos.ufsm.br/cienciaenatura/article/view/25032 | |
| dc.identifier | 10.5902/2179460X25032 | |
| dc.identifier.uri | https://repositorioslatinoamericanos.uchile.cl/handle/2250/8939003 | |
| dc.description | The notion of axiomatic systems assumes the notions of effective property and effective rule. In fact, what we really want to know is if a given sequence of symbols is an axiom or if it is not a correct application of a rule. Effective property and effective rule are subject to the recursive function theory. Therefore, the application of this theory to axiomatic systems leads to the demonstration of important results.The present work, deals with the application of recursive function theory to the logical systems elementar arythmetic, in order to demonstrate that a set of false statments constitutes an un decidable theory and is not axiomatic. | en-US |
| dc.description | 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. | pt-BR |
| dc.format | application/pdf | |
| dc.language | por | |
| dc.publisher | Universidade Federal de Santa Maria | en-US |
| dc.relation | https://periodicos.ufsm.br/cienciaenatura/article/view/25032/14469 | |
| dc.rights | Copyright (c) 1984 Ciência e Natura | pt-BR |
| dc.source | Ciência e Natura; CIÊNCIA E NATURA, V. 6, N. 6, 1984; 23-30 | en-US |
| dc.source | Ciência e Natura; CIÊNCIA E NATURA, V. 6, N. 6, 1984; 23-30 | pt-BR |
| dc.source | 2179-460X | |
| dc.source | 0100-8307 | |
| dc.title | Recursive function theory applied to the logical system elementar arythmetic | en-US |
| dc.title | Aplicação da Teoria das Funções Recursivas ao sistema lógico aritmética elementar | pt-BR |
| dc.type | info:eu-repo/semantics/article | |
| dc.type | info:eu-repo/semantics/publishedVersion |