Buscar
Mostrando ítems 1-10 de 25
O Teorema da Incompletude de Gödel em cursos de Licenciatura em Matemática
(Universidade Estadual Paulista (Unesp), 2017-02-02)
Apresentamos nesta tese uma proposta de inserção do tema teorema da incompletude de Gödel em cursos de Licenciatura em Matemática. A interrogação norteadora foi: como sentidos e significados do teorema da incompletude de ...
What happened To the turing test?¿Qué pasó con el Test de turing?
(Universidad Centroccidental Lisandro Alvarado, 2018)
Notas bibliográficas: Gódel's proof
(Facultad de Filosofía y Letras, 1960)
E. Nacel y J. R. Newman. Gódel's Proof, edit. Routledge Kegan Paul, London, 1959, 118 pgs. La obra está dedicada a Bertrand Russell (pg. v). Capítulo I, Introducción: señala el estudio de Kur Gódel, Uber formal ...
Gödel's theorem
(Quito, 2020)
Gödelization
(2016)
Gödelization
(2011)
Kurt Gödel o sobre las paradojas
(Universidad El Bosque, 2023)
En los contrarios y la tensión entre ellos, constituyentes del ser humano, William Blake descubrió fuerzas poéticas o creativas; el hombre es la unidad en la que se integran el paraíso y el infierno, los dioses y todos los ...
Aspectos do primeiro teorema da incompletude de Kurt Gödel e uma análise da prova teorético informacional de Gregory Chaitin
(Universidade Federal de Santa MariaBrasilFilosofiaUFSMPrograma de Pós-Graduação em FilosofiaCentro de Ciências Sociais e Humanas, 2022-05-20)
The work seeks to elucidate and understand relevant aspects in the structure of paradoxical
undecidable sentences in consistent formal systems that contain Dedekind-Peano Arithmetic.
The first chapter exposes the ...