15 de outubro de 2008

Desidério Murcho: Incompletude, de Rebecca Goldstein

Gödel (1906-78) foi o mais importante lógico do séc. XX. O seu teorema da incompletude da aritmética pôs fim ao sonho empirista e formalista dos positivistas. Mas o verdadeiro alcance das suas ideias foi tranquilamente ignorado praticamente até hoje. Gödel demonstrou que a ideia de que a matemática é apenas um jogo de símbolos é falsa. E com este teorema refutou também a epistemologia positivista, que pretendia reduzir o conhecimento a priori ao conhecimento da linguagem. De uma só vez, Gödel abria as portas ao racionalismo e à ideia de que o conhecimento da matemática não é meramente um conhecimento linguístico; a razão humana, sussurra o teorema de Gödel, é fonte de conhecimento substancial. [Ler mais...]

Sem comentários:

Enviar um comentário