Me disse o Chaitin que ela é muito simpática, pessoalmente. O Lambalgen tentou mostrar que a interpretação informal - ``uma teoria T com um conjunto recursivamente enumerável de teoremas e aritmética suficiente só pode provar até X_T quilos de teoremas'' - do teorema de Gödel-Chaitin é incorreta. Mas há sentidos nos quais esse teorema pode ser assim visto, p.e. relacionando-o às funções de crescimento rápido, recursivas, em T.
2011/12/1 Walter Carnielli <[email protected]> > Caríssimo\@\s, > > >> O Chaitin gosta do livro da Rebecca. > > Tem mais gente que gosta, e que até compra : -) > > O Kripke me contou que ela queria escrever sobre "mundos possíveis" > e ele não topou. > Em revanche, ela deu o nome de "Saul Kripke" no romance "The > Mind-Body Problem" (Penguin, 1993) > a um personagem, um matemático meio geniozinho mas completamente > tolo. > > Parece que ela se vinga na ficção, porque ai pode fingir que > "entendeu" sem se comprometer, > mas é pior ainda quando tenta explicar. O pobre Gödel já tinha > morrido, > e não pode se defender. Nos "36 Arguments for the Existence of God: > A Work of Fiction > (Pantheon , 2010) ela não cita a famosa prova (demonstração?) > ontológica - era melhor se > reduzir aos outros argumentos onde fica mais fácil enrolar ... > > Nota: é professora de Filosofia. Não deixem tomar chá com a Carla :-) > > Walter > > Abs > > Walter > > > Como ficção? > > > > Eu li a entrevista da Rebecca e diz que preencheu com ficção os dados > > historicamente conhecidos. > > > > []s > > > > ----------------------------------------------- > Prof. Dr. Walter Carnielli > Director > Centre for Logic, Epistemology and the History of Science – CLE > State University of Campinas –UNICAMP > 13083-859 Campinas -SP, Brazil > Phone: (+55) (19) 3521-6517 > Fax: (+55) (19) 3289-3269 > Institutional e-mail: [email protected] > Website: http://www.cle.unicamp.br/prof/carnielli > -- fad ahhata alati, awienta Wilushati _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
