Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Obrigada Eduardo, estava a procura disso o outro dia. Me será bem útil. Em seg, 16 de abr de 2018 01:53, Eduardo Ochs escreveu: > Ana, nao deixa de dar uma olhada nesse artigo aqui sobre a Tese de > Church... > Dershowitz/Gurevich: "A Natural Axiomatization of

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Ana, nao deixa de dar uma olhada nesse artigo aqui sobre a Tese de Church... Dershowitz/Gurevich: "A Natural Axiomatization of Computability and Proof of Church's Thesis" https://www.jstor.org/stable/i20059984 [[]], Eduardo =) 2018-04-14 20:26 GMT-03:00 Ana Paula Dos Anjos Vitorasse <

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Obrigada a todos pelas dicas. E vou dar uma olhada na tese de Church e e estudar sobre função computável. Em sex, 13 de abr de 2018 14:44, Thanos Tsouanas escreveu: > [mando novamente minha mensagem pois acho que mandei por o email errado] > > Oi Ana, > > Nao tenho certeza

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

[mando novamente minha mensagem pois acho que mandei por o email errado] Oi Ana, Nao tenho certeza qual o nivel dum "IC" (nem sei exatamente o que eh), nem qual eh o teu background matematico, entao pode ser que nada desse email faz sentido para teu caso, mas um comeco razoavel para teoria de

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Car@s, Os clássicos são, em geral, meus preferidos: Hartley Rogers. Da trabalho, mas não há tempo perdido com o trabalho necessário. Abraços , Chico Miraglia > On 13 Apr 2018, at 12:11, Antonio Marmo wrote: > > Além dessas indicações do Rodrigo, você pode também dar uma

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Além dessas indicações do Rodrigo, você pode também dar uma olhada na parte histórica que é a melhor forma de penetrar as questões. Veja, entre outros, o legado de Raimundo Lúlio e Leibniz para depois ir a Church e Turing. > On 13 Apr 2018, at 08:39, Rodrigo Freire

Re: [Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Olá Ana, Com mais informações sobre seu background e sobre como você se interessou por esse campo é mais fácil receber uma sugestão apropriada. Sobre sua primeira questão: É importante entrar em contato, inicialmente, com as noções de função, enumeração e indução finita. Além desse livro que

[Logica-l] Assunto um pouco[ OFF TOPIC] referente a IC na área de Teoria da Recursão

Para quem tem interesse em começar uma IC na área de Teoria da Recursão quais os conceitos que tenho bem definidos na cabeça para entender bem a referida Teoria?? Por enquanto meu professor me recomendou ler o Capítulo 10 do livro do Prof. Walter Carnielli e Richard L.