Bom dia Fracisco Antonio,
Eu não conheço nenhuma axiomática como a da sua pergunta, mas provavelmente pode ser do seu interesse a axiomática para as funções totais recursivas apresentada no Teorema I.3.6 na página 43 do excelente livro “Classical recursion theory” vol.1 de Odifreddi. Atenciosamente, Claudio Callejas. 2017-02-19 2:19 GMT-03:00 Francisco Antonio Doria <[email protected]>: > Como se sabe, ZF, ZFC, e mesmo PA (aritmética de Peano) não servem para > axiomatizarmos a teoria da computação, já que uma infinidade de funções > recursivas terão propriedades formalmente indecidíveis mas trivialmente > verdadeiras. A gente fica sem poder provar uma infinidade de propriedades > óbvias. > > Alguém já viu uma axiomática para a teoria da computação como PA + Regra > omega de Shoenfield? > > -- > Você recebeu essa mensagem porque está inscrito no grupo "LOGICA-L" dos > Grupos do Google. > Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie > um e-mail para [email protected]. > Para postar nesse grupo, envie um e-mail para [email protected]. > Acesse esse grupo em https://groups.google.com/a/ > dimap.ufrn.br/group/logica-l/. > Para ver essa discussão na Web, acesse https://groups.google.com/a/ > dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7BLUEnW7aLShc8j5qtYZM54yvj > BZsNV7LWNxSvRcN-cgMQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CA%2BuR7BLUEnW7aLShc8j5qtYZM54yvjBZsNV7LWNxSvRcN-cgMQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- Você está recebendo esta mensagem porque se inscreveu no grupo "LOGICA-L" dos Grupos do Google. Para cancelar inscrição nesse grupo e parar de receber e-mails dele, envie um e-mail para [email protected]. Para postar neste grupo, envie um e-mail para [email protected]. Visite este grupo em https://groups.google.com/a/dimap.ufrn.br/group/logica-l/. Para ver esta discussão na web, acesse https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e1wLh2QNPxLyrKHsbrG1U%3DgG%2BjmS-UP6nBTvs51ZpH2EQ%40mail.gmail.com.
