19/10 - Seminário CCFT - Diálogos entre Cultura Científica, Filosofia e Teologia - http://bertato.wix.com/ccft Palestrante: Prof. Dr. Walter Carnielli Diretor do Centro de Lógica, Epistemologia e História da Ciência (CLE/IFCH/Unicamp) Título: GÖDEL: UM RETORNO DA MATEMÁTICA AO MISTICISMO? Texto recomendado (em inglês): https://dl.dropboxusercontent.com/u/88160461/Goedel%20-%20Carnielli.pdf Notas: 54:15 Em 08 de setembro de 1930 em Königsberg, no Congresso da Associação dso Médicos e Cientistas Alemães, David Hilbert falou sobre "Naturkennen un Logik" (Conhecimento da Natureza e Lógica"). Um trecho de quatro minutos de uma gravação original de Hilbert com original alemão e tradução em inglês, encontra-se aqui: http://math.sfsu.edu/smith/Documents/HilbertRadio/HilbertRadio.mp3 Os textos em alemão e inglês encontram-se aqui: http://math.sfsu.edu/smith/Documents/HilbertRadio/HilbertRadio.pdf Minha tradução do alemão: O instrumento, que faz a mediação entre a teoria e a prática, entre o pensamento e a observação, é a matemática. Ela constrói a ponte de ligação,e a faz cada vez mais confiável. Por isso, é que toda a nossa presente cultura, na medida em que se aplica à penetração intelectual e à instrumentalização da natureza, tem sua base em matemática. Já disse GALILEU: só pode entender a natureza aquele que aprendeu a sua língua e os caracteres pela qual ela nos fala; essa linguagem é a matemática, e seus caracteres são as figuras matemáticas. KANT declarou: "eu afirmo que em cada ciência natural há tanta ciência veradeira quanto haja conteúdo matemático. " Na verdade, nós não dominamos a teoria na ciência natural, até que tenhamos extraído seu núcleo matemático e o tenhamos deixado completamente nu. Sem matemática, a astronomia e a física de hoje é impossível; estas ciências se resolvem, em suas partes teóricas, diretamente em matemática. Estas, como inúmeras outras aplicações, dão à matemática a autoridade de que goza junto ao público em geral. Apesar disso, os matemáticos se recusaram a deixar as aplicações servirem de valor de medida para a matemática. GAUSS fala do encanto mágico que fez da teoria dos números a ciência favorita dos primeiros matemáticos, para não mencionar a sua riqueza inesgotável, no que ela ultrapassava todas as outras partes da matemática. KRONECKER comparou os matermáticos que se ocupam da teoria dos números com aqueles que comem a flor de lótus que, quando provam a iguaria, não podem mais ficar sem ela. Com impressionante clareza, o grande matemático POINCARÉ se levantou contra TOLSTOY, que tinha sugerido que fazer "ciência pela ciência" é tolice. As realizações da indústria, por exemplo, nunca teriam ocorrido se a mentalidade prática existisse sozinha e se esses avanços não tivessem sido perseguidos por tolos desinteressados. A glória do espírito humano, disse o famoso matemático JACOBI de Königsberg, é a finalidade única de toda a ciência. Não devemos acreditar naqueles que hoje, com expressão filosófica e tom deliberativo profetizam a queda da cultura e caem no Ignorabimus. Para nós, não existe Ignorabimus, e em minha opinião também não nas ciências naturais. Em oposição ao tolo Ignorabimus ofereço nosso slogan: Nós precisamos saber, Nós vamos saber. ******************** Saul Kripke deu uma prova alternativa e inédita do (primeiro) Teorema de Gödel em 2005 em sua visita ao CLE- Unicamp (Workshop "Semantics and Meaning" SeMe-2005 CLE-UNICAMPm 25-28 de julho de 2005). Vídeos disponívels em http://www.cle.unicamp.br/seme_2005/

• published: 06 Jan 2014
• views: 14