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

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 ...