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