Obrigado! Funções recursivas totais são justamente o problema com essas axiomatizações, porque o conjunto das provadamente totais na teoria é estritamente menor que aquele das `verdadeiramente' totais, numa interpretação standard.
2017-02-20 0:11 GMT-03:00 Claudio Andrés Callejas Olguín < [email protected]>: > 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/di >> map.ufrn.br/group/logica-l/. >> Para ver essa discussão na Web, acesse https://groups.google.com/a/di >> map.ufrn.br/d/msgid/logica-l/CA%2BuR7BLUEnW7aLShc8j5qtYZM54 >> yvjBZsNV7LWNxSvRcN-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ê 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/CAE_57e1wLh2QNPxLyrKHsbrG1U% > 3DgG%2BjmS-UP6nBTvs51ZpH2EQ%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAE_57e1wLh2QNPxLyrKHsbrG1U%3DgG%2BjmS-UP6nBTvs51ZpH2EQ%40mail.gmail.com?utm_medium=email&utm_source=footer> > . > -- fad ahhata alati, awienta Wilushati -- 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/CA%2BuR7BLw4E-8a5QOs1u4CBzspiYAmLrHwfTZU4XLg7Yb8L2CaA%40mail.gmail.com.
