Naruhodo podcast

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

09/03/2026
0:00
53:50
Recuar 15 segundos
Avançar 15 segundos

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

Mais episódios de "Naruhodo"