#50208
Mentioned in 1 episodes
A Prova de Gödel
A prova de Gödel
Book • 2020
Na história da Lógica e da Matemática, o trabalho publicado em 1931 por Kurt Gödel tem um lugar à parte por seu efeito revolucionário na crítica de ideias sobre os fundamentos das duas citadas disciplinas.
Ernest Nagel e James R. Newman conduzem o leitor, com mão segura, pelos meandros da prova de Gödel, tornando acessível uma exposição que em termos específicos é extremamente complexa e de difícil acompanhamento.
Ernest Nagel e James R. Newman conduzem o leitor, com mão segura, pelos meandros da prova de Gödel, tornando acessível uma exposição que em termos específicos é extremamente complexa e de difícil acompanhamento.
Mentioned by
Mentioned in 1 episodes
Recomendado by 
Altay de Souza
21 snips
Naruhodo #461 - O que é a teoria da Incompletude de Godel?
