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
Não muito impressionante. Meio déjà vu... achei mais interessante o post
sobre umbigos. Pouco a ver com logica, admito, a não ser a surpresa
http://m.huffpost.com/us/entry/3901527/
Walter
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dima
Derek Abbott, "The reasonable ineffectiveness of mathematics," Proceedings
of the IEEE
http://www.huffingtonpost.com/derek-abbott/is-mathematics-invented-o_b_3895622.html
JM
___
Logica-l mailing list
Logica-l@dimap.ufrn.br
http://www.dimap.ufrn.br/cgi-bi
