Daí resulta que - por exemplo - uma infinidade de conjuntos de máquinas de Turing polinomiais no tempo, na interpretação standard, têm justo essa propriedade, indecidível.
2017-02-20 6:14 GMT-03:00 Francisco Antonio Doria <[email protected]>: > 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%2BuR7BLUEnW7aLShc8j5qtYZM54y >>> vjBZsNV7LWNxSvRcN-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/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/CAE_57e1wLh2QNPxLyrKHsbrG1U%3D >> gG%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 > -- 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%2BuR7BKMoqUPtnOZ4Ff8e%3DbLA47OdW_7h6J4vNvQEZjCUy3bsA%40mail.gmail.com.
