Pois é, minha dúvida é essa, pois juntar a regra omega tout court é bastante, e a regra de Shoenfield - que eu saiba - prova as sentenças aritméticas verdadeiras (no modelo standard).
2017-02-20 8:11 GMT-03:00 Claus Akira Horodynski Matsushigue < [email protected]>: > > Prezado Dória.... > > > > > 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. > > Sim! > > > Alguém já viu uma axiomática para a teoria da computação como PA + > Regra omega de Shoenfield? > > Mão, não é suficiente. Acho que já conversamos isso aqui na lista. > > > Forte abraço, Claus > > > > 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/CAJh6kGVQ7TNkt9Fs%3DjmzC0bib1%2Bg-WH7md0_3% > 3DhfP3SVVBKXCA%40mail.gmail.com > <https://groups.google.com/a/dimap.ufrn.br/d/msgid/logica-l/CAJh6kGVQ7TNkt9Fs%3DjmzC0bib1%2Bg-WH7md0_3%3DhfP3SVVBKXCA%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%2BuR7BJRTie-UxPKKG9uBuYLDFvryq2pjk9SQjTMrrAr0yKfsA%40mail.gmail.com.
