Máquinas de Turing e o Problema da Parada

Máquinas de Turing formam a base teórica para os computadores modernos. Alan Turing inventou esse conceito para resolver um problema filosófico da matemática, o chamado problema da decidibilidade (Entscheidungsproblem), proposto alguns anos antes por David Hilbert. Neste vídeo, veremos como Alan Turing resolveu esse problema conectando ele a um problema computacional similar, conhecido como Problema da Parada, e que foi resolvido usando máquinas de Turing. Seja membro e me ajude a continuar produzindo esse tipo de conteúdo: https://www.youtube.com/temciencia/join Vídeo sobre os Teoremas da Incompletude de Gödel: 🔴 INCOMPLETUDE DE GÖDEL: a Matemática NÃO é Perfeita https://youtu.be/aSXEd5iNVGo =========================================== Roteiro, apresentação e edição: Daniel Nunes Meu Instagram: http://www.instagram.com/tem.ciencia/ =================================== ASSISTA TAMBÉM: 🔴 O Paradoxo do Pintor EXPLICADO https://youtu.be/x5dDvnkcUMM 🔴 Nossa SURPREENDENTE IGNORÂNCIA Sobre os NÚMEROS https://youtu.be/etpDR-8mn9s 🔴 Os INFINITOS e a HIPÓTESE DO CONTÍNUO https://youtu.be/Olh5tPdCaeM 🔴 O PROBLEMA DOS PRISIONEIROS E OS 100 CHAPÉUS https://youtu.be/n46Gwe1Vj4M 🔴 A QUESTÃO MAIS DIFÍCIL DA HISTÓRIA DO GOOGLE https://youtu.be/icFL736tSF4 🔴 VOCÊ PASSARIA numa ENTREVISTA da AMAZON? E da MICROSOFT? https://youtu.be/UrOfi6Aiaxc 🔴 O PROBLEMA (quase) IMPOSSÍVEL | Problema das 3 casas https://youtu.be/rLu2fheZTbg 🔴 Um JOGO que NINGUÉM CONSEGUE VENCER. Eis o porquê. https://youtu.be/gNSvHxj-lZY 🔴 O LENDÁRIO Problema da QUADRATURA do CÍRCULO https://youtu.be/bKr9RRloBfI 🔴 A SETA DO TEMPO: Por que você não se lembra do futuro? https://youtu.be/qXNNDD2P0cs 🔴 A (VERDADEIRA) ORIGEM dos NÚMEROS COMPLEXOS https://youtu.be/rApYX4n8ut4 🔴 O PROBLEMA de JOSEFO (e sua incrível história) https://youtu.be/cm1J6a-UGnk 🔴 Uma BREVE HISTÓRIA da MEDIDA e da INTEGRAÇÃO https://youtu.be/jtWDevfP8aI 🔴 CONJECTURA DE POINCARÉ: um problema de 1 MILHÃO de DÓLARES https://youtu.be/RY4fB99Oiuw 🔴 O PARADOXO DA RODA DE ARISTÓTELES https://youtu.be/0kHYdcR9jbo 🔴 VOCÊ É RACIONAL? (Paradoxo de Allais e a Teoria do Prospecto) https://youtu.be/CTKO6wSaV8I 🔴 O PARADOXO DO ANIVERSÁRIO https://youtu.be/PFs9N_Yfxbg 🔴 DILEMA dos PRISIONEIROS e o EQUILÍBRIO de NASH https://youtu.be/C15Kba_9q7A 🔴 PARADOXO DE SÃO PETERSBURGO: QUANTO VALE DINHEIRO INFINITO? https://youtu.be/EmMPfsSo3vE 🔴 Matemática e Apostas Esportivas: COMO QUEBRAR A BANCA? https://youtu.be/2xuOajSnMkk 🔴 POR QUE (cientificamente) NÃO EXISTE COMPROVAÇÃO CIENTÍFICA https://youtu.be/IlWcRfkiTdA 🔴 A MATEMÁTICA foi DESCOBERTA ou INVENTADA? https://youtu.be/s66e95Z_Vbc 🔴 COMO É FAZER UM DOUTORADO EM MATEMÁTICA NO IMPA https://youtu.be/VqLXYHYtX3M 🔴 COMO A NOTA DO ENEM É REALMENTE CALCULADA? https://youtu.be/OhoMhl2R4Ps 🔴 PageRank: COMO funciona o ALGORITMO Matemático do GOOGLE https://youtu.be/y4ArAo8c73Y 🔴 POR QUE VOCÊ tem MENOS AMIGOS que os seus amigos? https://youtu.be/uqMJprU7wuU 🔴 A ILUSÃO da MAIORIA https://youtu.be/IqnkQf7UTeM 🔴 PRA QUE serve a MATEMÁTICA? Quando você irá realmente usar isso? https://youtu.be/3KpcDTWvnhM 🔴 O PROBLEMA com as FÓRMULAS de VOLUME que INTRIGOU GAUSS https://youtu.be/3ZOnzSVKoV4 🔴 POR QUE só existem 5 SÓLIDOS DE PLATÃO em 3D? https://youtu.be/B66EkzPshIY 🔴 O que é GEOMETRIA NÃO EUCLIDIANA? - História da Geometria https://youtu.be/KTaPZq_SUVo 🔴 O PARADOXO DO ANEL https://youtu.be/XE38RIoCZvM 🔴 A Matemática SECRETA das coisas https://youtu.be/C1q2NbN881Q 🔴 COMO o PI foi CALCULADO (com uma caixa de fósforos)? https://youtu.be/vPre_iDahNc 🔴 3 PARADOXOS DO INFINITO https://youtu.be/zu6R2agGwTM 🔴 O Hotel INFINITO de Hilbert: Como Contar o Infinito? https://youtu.be/lmv5tXVphkE