Kurt Gödel

Muito pelo contrário. Para provar a consistência da sua axiomática para a geometria, Hilbert apoia-se na consistência da axiomática para os inteiros. Mas será esta axiomática consistente? Qual a resposta para esta questão? A famosa descoberta de Kurt Gödel, segundo teorema da incompletude, segundo o qual todo o sistema axiomático suficientemente amplo para conter a aritmética sofre da limitação de jamais poder provar a sua própria consistência, surpreende o mundo matemático. Como dizia…

pensamento platônico, utilizando a demonstração a priori - algo rechaçada na Escolástica, que em geral dava referência às provas a posteriori. Nos dois casos o ser seria Deus. Esta teoria foi retomada por Duns Scotus, Descartes e Leibniz, e o matemático Kurt Gödel, que no séc. 20 chegou a elaborar uma versão formalizada do argumento em lógica modal, e foi criticado por Kant, Hans e Tomas de Aquino. ESCOLÁSTICA A partir de certo ponto, a filosofia medieval é conhecida como…

ATUAL (1910 - ...) 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 com as lógicas paraconsistentes , L. A. ZADEH com a lógica "fuzzy" e as contribuições dessas lógicas para a…

norueguês Niels Henrik Abel conclui que é impossível resolver as equações de quinto grau. 1826 - O matemático russo Nicolai Ivanovich Lobachevsky desenvolve a geometria não euclidiana. 1854 – Bolyai, Lobatchesvsky: geometria não euclidiana. 1931 - Kurt Gödel, matemático alemão, comprova que em sistemas matemáticos existem teoremas que não podem ser provados nem desmentidos. 1977 - O matemático norte-americano Robert Stetson Shaw faz estudos e desenvolve conhecimentos sobre A Teoria…

em função do meio. A forte carga lógico-matemática dessas teorias influenciou de forma decisiva a metodologia das ciências, que passou a adotar os princípios de axiomatização e enunciado dos problemas propostos pelos matemáticos David Hilbert e Kurt Godel. O século XX também testemunhou a afirmação das ciências humanas, surgidas como tais no século XIX, e sua preocupação em adquirir uma base metodológica, inspirada na física, com o que deixaram definitivamente de ser consideradas…

possível. Assim, a relação entre ideias e fatos pode ser justificada por um critério de correspondência ou equivalência (tradição aristotélica); por um critério de coerência ou consistência sistêmica ou sistemática (defendido pelo filósofo Kurt Gödel [1906-1978]); por um critério pragmático no qual a validação está na consequência prática ou na probabilidade preditiva (defendido por William James [1842-1910]); ou por um critério performativo no qual a verdade é de ordem…

falseável em si mesma. Diante dessa evidente necessidade - sob a pena de sua teoria ser não-universal e portanto derrogada pela sua imprecisão - poderá existir proposições em que a falseabilidade não é aplicável (vide teorema da incompletude de Kurt Gödel). Nos dias de hoje, verifica-se que o falsificacionismo popperiano não é princípio de exclusão, mas tão somente de atribuição de graus de confiança ao objecto passível do crivo científico. Para Popper a verdade é inalcançável, todavia…

diferenciando-a 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),…

que ao lado das atividades de pesquisa, orientação, estudo outras atividades são realizadas: os seminários temáticos de periodicidade mensal. Os primeiros datam de 1995, tendo como idéia central a Transversalidade; foram eles: O Teorema de Gödel (J.Eduardo Moura), Wettgenstein (Jaime Bula); Gaston Bachelard (Marta Pernambuco) e Ciências da Cognição (Maria Cristina Dal Pina). As palestras eram proferidas não só por professores da UFRN, mas por convidados de outras Universidades…

enquanto que no Brasil é habitualmente usado para referir especificamente o 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…