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