Kurt Gödel

materialmente da “linguagem lógica” e da “linguagem cotidiana” fracassaram redondamente. V., a respeito, Mary Louise Pratt, Toward a Speech Act Theory of Literary Discourse, Bloomington, Indiana University Press, 1977. 2°) De outro lado, desde Kurt Gödel é geralmente reconhecida a impossibilidade de extirpar do pensamento lógico todo resíduo intuitivo. 3)° Os estudos de Chaim Perelman (Traité de l’Argumentation. La Nouvelle Rhétorique, Bruxelles, Université Libre, 1978), Thomas S.…

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…

....) Com BERTRAND RUSSELL (1872-1970) e ALFRED NORTH WHITEHEAD (1861-1947) se inicia o período atual da lógica, com a obra PRINCIPIA MATHEMATICA. • DAVID HILBERT (1862-1943) e sua escola alemã com von Neuman, Bernays, Ackerman e outros. • KURT GÖDEL (1906-1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuições. Surgem as Lógicas não-clássicas: N.C.A. DA COSTA (Universidade de São Paulo) com as lógicas paraconsistentes, L. A. ZADEH (Universidade de Berkeley-USA) com…

NORTH WHITEHEAD (1861 1947) se inicia o período atual da lógica, com a obra PRINCIPIA MATHEMATICA. DAVID HILBERT (1862 - 1943) e sua escola alemã com Von Neuman, Bernays, Ackerman e outros. ELABORAÇÃO: PROFESSOR PEDRO BIGATTÃO Página 2 KURT GODEL (1906 - 1978) e ALFRED TARSKI (1902-1983) com suas importantes contribuições. Surgem as Lógicas não-clássicas: N.C.A. DA COSTA (Universidade de São Paulo) com as lógicas para consistentes, L. A. ZADEH (Universidade de Berkeley-USA) com…

posteriormente evoluiu para o computador moderno. O Trabalho Teórico Os fundamentos matemáticos da ciência da computação moderna começaram a serem definidos por Kurt Gödel com seu teorema da incompletude (1931). Essa teoria mostra que existem limites no que pode ser provado ou desaprovado em um sistema formal; isso levou a trabalhos posteriores por Gödel e outros teóricos para definir e descrever tais sistemas formais, incluindo conceitos como recursividade e cálculo lambda. Em 1936…

sistemática encontram-se em Peirce. A seguir vem Bertrand Russel a A.N. Witehead (1861-1947), com uma das mais importantes obras deste século Principia Matemática, em três volumes. Entre o grande número de lógicos atuais, mencionamos, Kurt Godel e Alfred Tarski. A Godel deve-se a primeira demonstração de completividade da Lógica elementar e da incompletividade de sistemas mais complexos, como a impossibilidade da existência de um sistema axiomático completo e consistente para a…

cálculo de predicados no qual a quantificação é restrita às variáveis individuais) Em 1931, Kurt Gödel - Incompleteness Theorem (teorema da não completude), onde demonstrou que tal problema (mecanização do processo de prova de teoremas) não tinha solução. A classe de funções usada por Gödel foi a das funções primitivas recursivas definidas anteriormente por Dedekind em 1888. Embora não tenha sido proposital, Gödel foi (aparentemente) o primeiro a identificar um formalismo para definir a…

CIENCIAS MATEMATICAS E FISICO-NATURAIS NO SECULO xx 99 I. 0 desenvolvimento da 16gica e da matemiitica no siculo XX 99 1. A "pesquisa sobre os fundamentos" e a descoberta da "antinomia das classes", 99; 2 . 0 "programa" de Hilbert e os "teoremas" de Godel, 100; 3. A semiintica de Tarski e o intuicionismo de Brouwer, 101. 102 1. Quest6es gerais, 102; 2. Einstein e as teorias da relatividade, 103; 2.1. A teoria da relatividade restrita, 103; 2.2. A teoria da relatividade geral, 103;…

fundamental. Casos assim impõem um desafio radical a um dos mais arraigados axiomas ou suposições da neurologia clássica: em especial, a concepção de que um dano cerebral, qualquer dano cerebral, reduz ou remove a ”atitude abstrata e categórica” (no termo de Kurt Goldstein), reduzindo o indivíduo ao emocional e concreto. (Hughlings Jackson defendeu uma idéia muito semelhante na década de 1860.) Aqui, no caso do dr. P., vemos exatamente o oposto disso: um homem que perdeu totalmente…

associados à filosofia contemporânea Sigmund Freud (1856-1939) Auguste Comte (1857-1913) Ferdinand Saussure (1857-1913) Gotlob Frege (1848-1925) Max Weber (1864-1920) Albert Einstein (1879-1955) Werner Heisenberg (1901-1976) Jacques Lacan (1901-1981) Kurt Gödel (1906-1978) Claude Lévi-Strauss (1908-2009) Ilia Prigogine (1917-2003) Noam Chomsky (1928-...) Fenomenologia e Existencialismo Franceses Edmund Husserl (1859-1938) Martin Heidegger (1889-1976) Jean-Paul Sartre (1905-1980) Karl…