Re: [obm-l] Indecidibilidade(O que sao PA e ZFC?)

2004-03-17 Por tôpico Nicolau C. Saldanha
desculpem a demora em responder... On Fri, Mar 05, 2004 at 02:55:31PM -0300, Johann Peter Gustav Lejeune Dirichlet wrote: O que sao PA e ZFC? PA = Aritmética de Peano. São os axiomas de Peano, mas não exatamente da forma como você provavelmete já viu. O que aparece, para citar o primeiro

Re: [obm-l] Indecidibilidade(O que sao PA e ZFC?)

2004-03-05 Por tôpico Johann Peter Gustav Lejeune Dirichlet
O que sao PA e ZFC?[EMAIL PROTECTED] wrote: Desculpe, mas acho que esta sua explicação do que é uma questão indecidível confunde mais do que esclarece. Tem toda razão, eu preciso ler mais sobre isso. Mas nada que um bom professor (como vc) não possa esclarecer. Fiz uma pesquisa no Google e