Kurt Gödel

sua obra. René Descartes resgata também o argumento ontológico primeiro formulado por Anselmo de Aosta, S. Anselmo, para provar a existência de deus. O argumento, que ao longo dos anos vem a ser recuperado por vários filósofos ou matemáticos como Kurt Gödel e Norman Malcolm e que vem ganhando novas variâncias, tenta provar que a não existência de deus é impossível fazendo uso de premissas à priori para provar a existência de deus na realidade. O argumento pode ser representado da…

enquanto que no Brasil é habitualmente usado para rever especificamente o processo de tratamento da informação por meio de maquinas eletrônicas definidas como computadores. O estudo da informação começou na matemática quando nomes como Alan Turing, Kurt Gödel e Alonzo Church, começaram a estudar que tipos de problemas poderiam ser resolvidos, ou computados, por elementos humanos que seguissem uma série de instruções simples, independente do tempo requerido para isso. A motivação por…

é considerado um dos mais importantes matemáticos do século XX. Foi membro do Instituto de Estudos Avançados em Princeton, New Jersey, do qual também faziam parte Albert Einstein e Erwin Panofsky, quando emigraram para os Estados Unidos, além de Kurt Gödel, Robert Oppenheimer, George F. Kennan e Hermann Weyl. Com Edward Teller e Stanislaw Ulam, von Neumann trabalhou em desenvolvimentos chave da Física Nuclear, relacionados com reações termonucleares e com a bomba de hidrogênio.…

psicológica, ao passo que o apriorismo é uma noção epistemológica, que tem a ver com a forma como a crença é justificada, o que conta como prova, quer a favor, quer contra esta.» Rebecca Goldstein, Incompletude – A demonstração e o paradoxo de Kurt Gödel, Gradiva, Lisboa, 2009, pág.16. (#) Segundo Descartes, a veracidade da matemática mantém-se mesmo durante os sonhos: “quer eu esteja acordado quer durma, dois e três somados são sempre cinco e o quadrado nunca tem mais do que quatro…

foram, também elas, consideradas probabilísticas, e conclui-se que a totalidade do real não se reduz à soma das partes em que foi dividido para análise, inviabilizando a hipótese mecanicista. Outro contributo para a crise da Ciência Moderna foi Kurt Gödel, que, através das suas investigações (baseadas na demonstração de que era possível formular proposições individuais que não se podem demonstrar nem refutar usando a Matemática) provou que a Matemática carece de fundamento. Ao…

esperanças de uma realidade universal harmoniosa e ordenada, que pudesse ser traçada a régua e compasso. O determinismo científico ruiu: as leis naturais são meras abstrações e idealizações do intelecto, carecendo de qualquer existência objetiva. Kurt Gödel mostrou que sempre ficava alguma coisa de fora. O mundo é confuso, caótico e dominado pelo princípio da incerteza. É assim na física, é assim na sociedade. O que torna Comte e o Positivismo ultrapassados no contexto atual é sua ênfase…

confiando na intuição como meio de gerar conhecimento, num processo similar ao que foi chamado mais tarde de "abdução" por Charles Sanders Peirce. O determinismo na ciência perdeu força, graças ao trabalho de cientistas como Schrödinger, Heisenberg e Kurt Gödel. Esta nova realidade contrasta com o positivismo de Comte, caracterizado pela ênfase no determinismo, na hierarquia e na obediência, sua crença no governo da elite intelectual e sua insistência em desprezar a teologia e a metafísica.

Computação, a Teoria da Informação, o estudo dos processos de cálculo, a Análise Numérica e os métodos teóricos da representação do conhecimento e de modelagem dos problemas.O estudo da informação começou na Matemática, quando vultos como Alan Turing, Kurt Gödel e Alonzo Church começaram a estudar que tipos de problemas poderiam ser resolvidos, ou computados, por elementos humanos que seguissem uma série de instruções simples de forma automática, independente do tempo necessário para…

to no Brasil é habitualmente usado para referir especificamente ao processo de tratamento da informação por meio de máquinas eletrônicas definidas como computadores. O estudo da informação começou na matemática, quando nomes como Alan Turing, Kurt Gödel e Alonzo Church começaram a estudar que tipos de problemas poderiam ser resolvidos, ou computados, por elementos humanos que seguissem uma série de instruções simples de forma independente do tempo requerido para isso. A motivação por…

Bertrand Russel, A. N. Whitehead, Heinrich Scholz, Kurt Gödel, Alonzo Church, Georg Cantor etc. Partindo de [[Galileu, existe uma extensa tradição doplatonismo fisicalista que vai até Werner Heisenberg, Roger Penrose, Frank Tipler, Stephen Hawking e muitos outros.101 O austríaco Kurt Gödel, responsável por alguns dos mais importantes resultados da Lógica Matemática do século XX, por exemplo, foi um platonista da velha escola, como Platão, Gödel acreditava na existência independente de…