Caro João O que quiz dizer citando essa frase sobre os teoremas de Gödel? Ela está simplesmente errada! D
________________________________ Decio Krause Departamento de Filosofia Universidade Federal de Santa Catarina 88040-940 Florianópolis, SC -- Brasil deciokrause[at]gmail.com www.cfh.ufsc.br/~dkrause ________________________________________ "We are intrinsically spatial and temporal beings. We can only observe particular entities, handle spatial things, and our thinking depends on the concept of individuals. How to reconcile nonspatial quantum characteristics with spatio- temporal individuation is perhaps the next great problem physics has to overcome." (S. Auyang, "How is quantum field possible?"(Princeton Un. Press, 1995, p.165). ________________________________________ Em 07/05/2012, às 13:19, Joao Marcos escreveu: > "Gödel is known for his “incompleteness theorem,” which demonstrated > the existence of true statements that cannot be proved in any > mathematically rigorous way." > > Pois está no Sunday Book Review do NYTimes: > > Unleashing the Power > ‘Turing’s Cathedral,’ by George Dyson > http://tinyurl.com/6mqktla > > E mais: a ideia de Máquina de Turing terá mesmo surgido _a partir_ do > trabalho de Gödel sobre a aritmetização da sintaxe? > http://www.cs.nyu.edu/pipermail/fom/2012-May/016461.html > O que acham os colegas? > > > JM > > -- > http://sequiturquodlibet.googlepages.com/ > _______________________________________________ > Logica-l mailing list > Logica-l@dimap.ufrn.br > http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l _______________________________________________ Logica-l mailing list Logica-l@dimap.ufrn.br http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l