Naruhodo #461 - O que é a teoria da Incompletude de Godel?
09 March 2026

Naruhodo #461 - O que é a teoria da Incompletude de Godel?

Naruhodo

About

Kurt Friedrich Gödel foi um austríaco que, em 1931, formulou teoremas que marcaram uma mudança profunda na lógica, na filosofia da matemática e nas fundações da computação. Afinal, o que é a teoria da Incompletude de Godel?


Confira o papo entre o leigo curioso, Ken Fujioka, e o cientista PhD, Altay de Souza.


>> OUÇA (53min 51s)


*


Naruhodo! é o podcast pra quem tem fome de aprender. Ciência, senso comum, curiosidades, desafios e muito mais. Com o leigo curioso, Ken Fujioka, e o cientista PhD, Altay de Souza.


Edição: Reginaldo Cursino.


http://naruhodo.b9.com.br


*


APOIO: INSIDER


Agora não tem mais pra onde fugir: o ano começou.


Março é o primeiro grande momento de decisão do ano. É quando você percebe que vai precisar de roupa que funcione de verdade. Para trabalhar. Para treinar. Para viajar. Para viver.


Março é também o Mês do Consumidor: a primeira grande oportunidade de compra do ano. É hora de tomar uma decisão inteligente para não precisar escolher de novo daqui a dois meses.


Clientes recorrentes têm 15% de desconto. Primeira compra tem 20% de desconto. E todo mundo pode somar esses descontos com os descontos do Mês do Consumidor e chegar a até 50% de desconto total.


Então, minha dica é: use o endereço a seguir pra ter o cupom NARUHODO aplicado ao seu carrinho de compras.


>>> creators.insiderstore.com.br/NARUHODO


Ou clique no link que está na descrição deste episódio.


INSIDER: inteligência em cada escolha.


#InsiderStore


*


REFERÊNCIAS


Teorema de Gödel (SciCast #474)


https://www.deviante.com.br/podcasts/scicast-474/


ALTAY DE SOUZA (NARUHODO) - Entre sistemas e discursos


https://www.youtube.com/watch?v=kW21iEryZvY&t=5s


Lyotard JF. La condition postmoderne: rapport sur le savoir. Paris: Les Éditions de Minuit; 1979.


https://www.leseditionsdeminuit.fr/livre-La_Condition_postmoderne-2180-1-1-0-1.html


Glaser BG, Strauss AL. The discovery of grounded theory: strategies for qualitative research. New York: Aldine Transaction; 1967.


http://www.sxf.uevora.pt/wp-content/uploads/2013/03/Glaser_1967.pdf


Bardin L. Análise de conteúdo. Lisboa: Edições 70; 1977.


https://ia802902.us.archive.org/8/items/bardin-laurence-analise-de-conteudo/bardin-laurence-analise-de-conteudo.pdf


Malinowski B. Argonauts of the Western Pacific. London: G. Routledge & Sons; 1922.


https://www.gutenberg.org/files/55822/55822-h/55822-h.htm


Spinoza on free will and freedom. Internet Encyclopedia of Philosophy [Internet]. 2024 https://iep.utm.edu/spinoza/


Nagel E, Newman JR. A Prova de Gödel. São Paulo: Perspectiva; 2001.


https://www.amazon.com.br/Prova-G%C3%B6del-Ernest-Nagel/dp/8527301555


Bourdieu P. The Logic of Practice. Stanford: Stanford University Press; 1990.


https://monoskop.org/images/8/88/Bourdieu_Pierre_The_Logic_of_Practice_1990.pdf


Gödel K. On Formally Undecidable Propositions of Principia Mathematica and Related Systems. New York: Dover Publications; 1992.


https://monoskop.org/images/9/93/Kurt_Gödel_On_Formally_Undecidable_Propositions_of_Principia_Mathematica_and_Related_Systems_1992.pdf


Foucault M. The Order of Things: An Archaeology of the Human Sciences. New York: Vintage Books; 1994 


https://monoskop.org/images/a/a2/Foucault_Michel_The_Order_of_Things_1994.pdf


Naruhodo #405 - O que é o infinito?


https://www.youtube.com/watch?v=Vdu5LRFKa-M


Naruhodo #447 - O que é AVC e como evitá-lo? #TodosPeloPirulla


https://www.youtube.com/watch?v=vRu9cet1TWM


Naruhodo #442 - Qual o efeito da arte sobre nós?


https://www.youtube.com/watch?v=9pgyTDtRbeo


Naruhodo #343 - O que é e como funciona uma relação estética?


https://www.youtube.com/watch?v=rrF27pTFGg8


Naruhodo #135 - Como eu sei que você é você e não eu? - Parte 1 de 2


https://www.youtube.com/watch?v=Fq-VjuiTOY0


Naruhodo #136 - Como eu sei que você é você e não eu? - Parte 2 de 2


https://www.youtube.com/watch?v=yRZkLKL6QH0


Naruhodo Entrevista #52: Gustavo Sol


https://www.youtube.com/watch?v=yGCDcg6RS2w


Naruhodo #183 - É possível juntar exatas, humanas e biológicas numa nova ciência? - Parte 1 de 2


https://www.youtube.com/watch?v=9oqajpETpt4


Naruhodo #184 - É possível juntar exatas, humanas e biológicas numa nova ciência? - Parte 2 de 2


https://www.youtube.com/watch?v=VPt2fTNFnOs


*


APOIE O NARUHODO!


O Altay e eu temos duas mensagens pra você.


A primeira é: muito, muito obrigado pela sua audiência. Sem ela, o Naruhodo sequer teria sentido de existir. Você nos ajuda demais não só quando ouve, mas também quando espalha episódios para familiares, amigos - e, por que não?, inimigos.


A segunda mensagem é: existe uma outra forma de apoiar o Naruhodo, a ciência e o pensamento científico - apoiando financeiramente o nosso projeto de podcast semanal independente, que só descansa no recesso do fim de ano.


Manter o Naruhodo tem custos e despesas: servidores, domínio, pesquisa, produção, edição, atendimento, tempo... Enfim, muitas coisas para cobrir - e, algumas delas, em dólar.


A gente sabe que nem todo mundo pode apoiar financeiramente. E tá tudo bem. Tente mandar um episódio para alguém que você conhece e acha que vai gostar.


A gente sabe que alguns podem, mas não mensalmente. E tá tudo bem também. Você pode apoiar quando puder e cancelar quando quiser. 


O apoio mínimo é de 15 reais e pode ser feito pela plataforma ORELO ou pela plataforma APOIA-SE. Para quem está fora do Brasil, temos até a plataforma PATREON.


É isso, gente. Estamos enfrentando um momento importante e você pode ajudar a combater o negacionismo e manter a chama da ciência acesa. Então, fica aqui o nosso convite: apóie o Naruhodo como puder.


bit.ly/naruhodo-no-orelo