Naruhodo #461 - O que é a teoria da Incompletude de Godel?
Naruhodo
Segundo teorema e autoprovações
Altay explica que um sistema não pode provar sua própria consistência sem inconsistência.
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.
*
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.
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.
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.
The AI-powered Podcast Player
