Não tenho muitos colegas que conheçam o *Teorema de Tennenbaum*, que coloca um limite à algoritmização dos modelos não-standard da Aritmética. (O assunto, de fato, não consta da maior parte dos livros-texto de Lógica mais conhecidos.)
A palestra a seguir me parece uma boa introdução ao tema: http://boolesrings.org/victoriagitman/2012/01/18/an-iphone-app-for-a-nonstandard-model-of-number-theory/ JM -- http://sequiturquodlibet.googlepages.com/ _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
