MÁQUINAS DE TURING e o Problema da Parada
HTML-код
- Опубликовано: 23 ноя 2024
- 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: www.youtube.co...
Vídeo sobre os Teoremas da Incompletude de Gödel:
🔴 INCOMPLETUDE DE GÖDEL: a Matemática NÃO é Perfeita • INCOMPLETUDE DE GÖDEL:...
===========================================
Roteiro, apresentação e edição: Daniel Nunes
Meu Instagram: / tem.ciencia
===================================
ASSISTA TAMBÉM:
🔴 O Paradoxo do Pintor EXPLICADO • O Paradoxo do Pintor E...
🔴 Nossa SURPREENDENTE IGNORÂNCIA Sobre os NÚMEROS • Nossa SURPREENDENTE IG...
🔴 Os INFINITOS e a HIPÓTESE DO CONTÍNUO • Os INFINITOS e a HIPÓT...
🔴 O PROBLEMA DOS PRISIONEIROS E OS 100 CHAPÉUS • O PROBLEMA DOS PRISION...
🔴 A QUESTÃO MAIS DIFÍCIL DA HISTÓRIA DO GOOGLE • A QUESTÃO MAIS DIFÍCIL...
🔴 VOCÊ PASSARIA numa ENTREVISTA da AMAZON? E da MICROSOFT? • VOCÊ PASSARIA numa ENT...
🔴 O PROBLEMA (quase) IMPOSSÍVEL | Problema das 3 casas • O PROBLEMA (quase) IMP...
🔴 Um JOGO que NINGUÉM CONSEGUE VENCER. Eis o porquê. • Um JOGO que NINGUÉM CO...
🔴 O LENDÁRIO Problema da QUADRATURA do CÍRCULO • O LENDÁRIO Problema da...
🔴 A SETA DO TEMPO: Por que você não se lembra do futuro? • A SETA DO TEMPO: Por q...
🔴 A (VERDADEIRA) ORIGEM dos NÚMEROS COMPLEXOS • A (VERDADEIRA) ORIGEM ...
🔴 O PROBLEMA de JOSEFO (e sua incrível história) • O PROBLEMA de JOSEFO (...
🔴 Uma BREVE HISTÓRIA da MEDIDA e da INTEGRAÇÃO • Uma BREVE HISTÓRIA da ...
🔴 CONJECTURA DE POINCARÉ: um problema de 1 MILHÃO de DÓLARES • CONJECTURA DE POINCARÉ...
🔴 O PARADOXO DA RODA DE ARISTÓTELES • O PARADOXO DA RODA DE ...
🔴 VOCÊ É RACIONAL? (Paradoxo de Allais e a Teoria do Prospecto) • VOCÊ É RACIONAL? (Para...
🔴 O PARADOXO DO ANIVERSÁRIO • O PARADOXO DO ANIVERSÁ...
🔴 DILEMA dos PRISIONEIROS e o EQUILÍBRIO de NASH • DILEMA dos PRISIONEIRO...
🔴 PARADOXO DE SÃO PETERSBURGO: QUANTO VALE DINHEIRO INFINITO? • PARADOXO DE SÃO PETERS...
🔴 Matemática e Apostas Esportivas: COMO QUEBRAR A BANCA? • Matemática e Apostas E...
🔴 POR QUE (cientificamente) NÃO EXISTE COMPROVAÇÃO CIENTÍFICA • POR QUE (cientificamen...
🔴 A MATEMÁTICA foi DESCOBERTA ou INVENTADA? • A MATEMÁTICA foi DESCO...
🔴 COMO É FAZER UM DOUTORADO EM MATEMÁTICA NO IMPA • COMO É FAZER UM DOUTOR...
🔴 COMO A NOTA DO ENEM É REALMENTE CALCULADA? • TRI: a MATEMÁTICA por ...
🔴 PageRank: COMO funciona o ALGORITMO Matemático do GOOGLE • PageRank: COMO funcion...
🔴 POR QUE VOCÊ tem MENOS AMIGOS que os seus amigos? • POR QUE VOCÊ tem MENOS...
🔴 A ILUSÃO da MAIORIA • A ILUSÃO da MAIORIA
🔴 PRA QUE serve a MATEMÁTICA? Quando você irá realmente usar isso? • PRA QUE serve a MATEMÁ...
🔴 O PROBLEMA com as FÓRMULAS de VOLUME que INTRIGOU GAUSS • O GRANDE PROBLEMA com ...
🔴 POR QUE só existem 5 SÓLIDOS DE PLATÃO em 3D? • POR QUE só existem 5 S...
🔴 O que é GEOMETRIA NÃO EUCLIDIANA? - História da Geometria • O que é GEOMETRIA NÃO ...
🔴 O PARADOXO DO ANEL • O PARADOXO DO ANEL
🔴 A Matemática SECRETA das coisas • Onde está a Matemática...
🔴 COMO o PI foi CALCULADO (com uma caixa de fósforos)? • COMO CALCULAR o PI arr...
🔴 3 PARADOXOS DO INFINITO • 3 PARADOXOS DO INFINITO
🔴 O Hotel INFINITO de Hilbert: Como Contar o Infinito? • O Hotel INFINITO de Hi...
![[DRAGON BALL LEGENDS REVEALS ＆ STUFF] LEGENDS FESTIVAL 2024 Special Edition Part 1](http://i.ytimg.com/vi/mV5bGIswTtQ/mqdefault.jpg)
*Seja membro* e me ajude a continuar produzindo esse tipo de conteúdo: ruclips.net/user/temcienciajoin
Sou cientista da computação formado e sempre tive dificuldade em compreender o problema da parada, da decidibilidade e como usá-los para provar outras proposições, é incrível como consegues transmitir com clareza um conteúdo que durante a minha formação parecia tão obscuro! Obrigada Daniel por fazer este trabalho magnifico de clarificar os "mistérios" da matemática para todos!
Muitíssimo obrigado! Fico feliz que tenha ajudado! 😃
Sim, de fato. Infelizmente não tive bom professor justamente nessa área. Só fui entender melhor quando fui colocado a lecionar a disciplina. A didática do Daniel é sensacional.
@ com certeza, o conteúdo dos seus vídeos são muito bons. Gostei muito desse vídeo e o do teorema da incompletude de Godel
Caramba, véio!! Tu é tão Caxias que até no sobrenome tem dupla autenticação!!
😂😂😂
Exato, eu fico muito agradecido por ter um canal assim, porque apesar de não ser minha área tais coisas mexem com minha curiosidade e enfim... Uma chance de beliscar todo esse saber hahahahah
Explicou o "Problema da Parada" melhor que todos os professores tive sobre o assunto. Obrigado!
Turing foi um gênio. Um dia vou ler o artigo original dele.
leu?
@@cassiofbs Ainda não meu caro. Só dei uma espiada no artigo famoso que ele começa propondo a reflexão sobre o se máquinas podem pensar. O artigo que ele constrói o conceito de maquina de Turing é bem técnico, então voi cursar algumas matérias antes de ler.
@@yuriventura8587E agora? Leu?
Cadê o artigo?
Já leu?
Incrível como uma máquina teórica tão simples leva a conclusões tão profundas. Ótimo vídeo.
Queria ter tido uma aula como essa durante minha graduação em Ciência da Computação.
Por conta de sua genialidade tive que fazer linguagens formais 2x no curso de computação...😅 por isso gosto de matemágica e computação.
Já vi algumas pessoas dizendo esse comentário de que nunca vai usar tal coisa. O quão pouco a pessoa entende de algumas questões na realidade e na matemática pra acabar pensando assim.
Muito bom! Estou estudando esse assunto em engenharia da computação e o vídeo explica muito bem e é muito bem ilustrado
Interessante ver o qto a matemática contribui p desenvolvimento da nossa sociedade. Vendo seus vídeos, já dá p rebater o povo do “mas qual a aplicação da matemática?”..😂
Com perdão dos outros RUclipsrs, mas esse é o melhor canal de matemática.
É um canal excelente, melhor que o meu e todos que eu já vi, com certeza.
Em primeiro lugar: 👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋👋
Gosto muito do seu canal. Parabéns.
Segundamente, como diria Odorico Paraguaçu (a velhrada como eu entenderá): como ex-professor desencantado com o sistema educacional hoje entendo o significado das perguntas "pra quê serve isso": apresentação de algo na forma e no momento errado. E as escolas estão LOTADAS disso, em todas as disciplinas. E perde-se, então, a beleza do saber. Puro ou aplicado.
A matemática é mesmo bela! Obrigado por mais um vídeo Mestre Daniel!!! Me faz ter mais respeito a cada dia que passa pela matemática, mesmo sem dominá-la tão esplendidamente! Sucesso!
Esste é canal! Vamos divulgar galera! Absolutamente espetacular!
Seria interessante você fazer um vídeo explicando de onde vem todo o conhecimento. Se os números foram criados pelo homem, como que a nossa engenharia funciona? Tesla dizia que conseguia "absorver" o conhecimento do universo. Então como criamos as coisas? Como descobrimos algo? Por que as leis funcionam? Não sei explicar muito bem o meu raciocínio, mas é isso...
Esse conceito de parada agira ficou claro.....rs. Obrigado por compartilhar.
Bora resolver essa parada!
Estou vendo sobre a máquina de Turing na disciplina de fundamentos de ciência da computação. É um assunto muito interessante, estou gostando muito 😊
Bah, citou dois gigantes da minha área. Quase chorei com esse vídeo!!
Eu tinha te avisado que ia sair esse vídeo! 😂
@ sim, eu tava esperando. :-)
Bom demais ver isso! Eu ia fazer um vídeo sobre esse tema no meu canal, mas como você já fez, agora vai ser difícil competir 😄... Abraço!
Curto muito seus vídeos, é uma pena que eu entenda tão pouco de matemática pra conseguir acompanhar bem. Mas o seu trabalho é sublime.
Muito obrigada. Estava precisando de um vídeo bem didático e gostei bastante da animação baseada na máquina de Turing, ficou muito boa. Não gosto de modelos de desenhos simples, fica muito complexa a explicação.
Que vídeo incrível! Com qualidade da edição ao conteúdo
Esse canal me fãs amar matemática ainda mais.
Vendo esse vídeo acabou me lembrando de um outro problema da matemática: Demonstração ontológica de Gödel. Não sei se esse caso daria um bom vídeo de um jeito fácil de entender o caso, mas fica a dica....
Up.
Decidibilidade era algo que faltava pra eu entender como aparecia este termo. Acho que agora peguei 😁
Parabéns Daniel.
Não sei se entendi direito mas, se T diz que T+ para e, o contraditório diz o oposto, T+ não para, então entra em um caso de loop/recursão.
Se T+ para > C retorna não para;
No próximo bloco, recebendo a sua primeira saída, como em um caso de recursão, T+ retorna como não para (loop), > C retorna Para.
Assim o algoritmo para, pois usa a entrada de si mesmo.
Então T+ Acertou?
Fala Daniel! Faz um vídeo explicando a matemática por trás do Dobble?? Eu tenho certeza absoluta que vc vai curtir!!!!!!!!!!!!!!!!!
tem como compartilhar a fonte de que Turing pessoalmente estave envolvido na construção do ENIAC ?
Muito fera! Mas boiei legal aqui.... a matemática realmente não gosta de mim, ou eu não gosto dela!!!!
*QUANDO TE VI DE TERNO... JÁ IA PULAR O VÍDEO!*
Ainda bem que li o resto do texto (e você tirou o terno).
Se tem uma coisa que eu detesto é matemático engomadinho. Kákáká!
Excelente explicação! Muito clara, didática e bem ilustrada! 🏆
Sem precisar entrar tanto em quântica temos um qbit que é um exemplo que sim, pode se sobrepor.
É muito bom está por aqui novamente ☺️
um ponto q gostaria de levantar, turing n foi o único nem o primeiro a conseguir definir a computabilidade, teve um de funções recursivas específicas(confesso q esse nunca entendi), e outro q é o cálculo lambda q foi criado pelo alonzo church(orientador do turing) que é uma ideia extremamente simples usando funções(acho até mais simples de entender q a máquina de turing, mas quando aumenta a complexidade dos problemas daí fica bem ruim de entender)
apesar de a nível de código de máquina estar totalmente relacionado a máquina de turing, em código alto nivel é fácil perceber o cálculo lambda
todos os métodos foram criados de maneira independente e depois os autores trabalharam juntos e provaram que os 3 são equivalentes: consegue implementar uma máquina de turing com o calculo lambda e consegue implementar o cálculo lambda em uma máquina de turing
Em um próximo vídeo fala sobre o pêndulo de Foucault... Eu assisti um vídeo de outra pessoa recentemente, mas não entendi.
Sua didática é melhor.
Excelente vídeo, Daniel. Acho que o Turing tá no mínimo no top 5 de gênios do século XX. Muito triste que a humanidade tenha perdido esse gênio revolucionário tão jovem por puro preconceito e ignorância. Imagina o tanto que ele ainda contribuiria para o conhecimento humano se não o tivessem condenado simplesmente por ser homossexual. O cara fundou a computação moderna, foi fundamental pra resolver a maior guerra da história e ainda assim não foi aceito. Foda, cara. Foda.
Esse vídeo sobre a parada fez chover no meu chip, não posso mais computar
Cara você é melhor que o Átila!
Parabéns. Excelente conteúdo! Muito obrigado.
Eu fiquei com uma dúvida na parte final, quando você acoplou outra máquina à máquina T a tornando T+ não entendi a lógica de incluir essa máquina, pois me parece que ela sempre vai fazer o oposto de qualquer conclusão que T chegue, eu entendi que só colocaram isso pra forçar o paradoxo. Se alguém puder tirar essa dúvida eu ficaria muito grato haha
Como sempre! Vídeo muito bem feito!
Vou comprar
Não tem nenhum problema de fato, o que falta ai é a consciência , que olha o universo e faz decisões e está fora de todos os sistemas formais. Apenas nós que podemos decidir pois nossa consciência vem de fora dessa realidade pois é eterna
Agradeça a Alan Turing, ateu e homossexual, pai da ciência da computação
Professor pode falar sobre a Fita de Möbius?
Em breve!
Que beleza de vídeo!
12:57 a matemática estara ai
Que Jesus abençoe você!. Seus videos são otimos. Uma pergunta, gostaria de saber se tem como saber qual seria o resultado da soma infinita dos elementos do tipo (1/phi^p) ou seja a soma dos inversos de phi elevado a numeros primos. Apartir de algoritmos vi que a soma se aproxima de 0.75 (3/4) bem mas nao tenho muito conhecimento matematico, gostaria que voce analisa-se isso se possivel.
Oi, Eu fucei no seu problema e não cheguei a uma conclusão mas me parece que não chega a 0,75 as parcelas vão ficando muito pequenas (só um chute). mas olha que interessante que eu descobri: Seja f=phi então (1/f^2)+(1/f^3)+(1/f^5)+(1/f^7)= (-F2+F3+F5+F7).f - (F8+F6+F4-F3) onde, por exemplo F8 é o oitavo número da sequência de Fibonacci, F5 é o quinto etc e você pode usar essa fórmula para somar até f^11 ou f^29 etc. Abraço.
@@fucandonamatematica6207 vlw
Esse vídeo é maravilhoso!!! ❤
Matemática e tudo de bom👊👊
Ótimo vídeo, Daniel
Ótimo vídeo!
Só um adendo. A imagem da máquina resolvendo o problema da conjectura de Goldbach não é totalmente preciso. Um porque a máquina associada a fita não poderia resolver o problema para um número para qualquer sem utilizar a memória da fita (A máquina de Turing é uma máquina de estados finitos acoplado a fita infinita). Dois não seria possível armazenar um número par qualquer em uma célula da fita pois o alfabeto é finito.
Sim, você está correto. Foi a parte que mais fiquei pensando em como representar, e achei melhor usar uma licença poética para facilitar a entendimento do que estava acontecendo ali.
@ Perfeito. Esse modelo de máquina de Turing é tão estranho de pensar pra quem programa com linguagens modernas de acesso aleatório que seria até difícil pensar um algoritmo.
Pera, se existem problemas na matemática que não podemos saber se possuem solução, então, como podemos saber que os problemas do milênio não se encaixam nessa classificação de problemas???
Diferença entre a Matemática e a Religião: Não temos como decidir se Deus existe ou não, através de computações e cálculos, mas, temos como sabe-lo, através da FÉ.
Existe alguma relação entre a primeira, segunda, terceira, quarta ou mais dimensões? Alguma relação matemática capaz de "transcrever" objetos de uma dimensão para outra, seja uma superior, como da segunda para a terceira, ou inferior, da terceira para a segunda? Pergunto também se, caso exista tal relação, se é possível transcrever um objeto da quarta dimensão para a terceira com o máximo de precisão possível. Entendo parcialmente o conceito de "sombra dimensional", então, seria possível obter a sombra 3d de um objeto 4d com a maior precisão possível através dessa relação?
Em breve sai um vídeo sobre dimensões. Especificamente sobre a questão das sombras 3D de coisas 4D, faz muito tempo que quero fazer um vídeo sobre, mas ainda não tive tempo pois esse iria dar um baita trabalho nas animações.
@ Olá, gostaria de parabenizá-lo pelo excelente conteúdo do canal! Você conhece o trabalho do Hindemburg Melão? Ele é um cientista e estatístico brasileiro, autor de melhorias na fórmula do IMC e também é autor de um novo método para calcular ratings de xadrez. Ele tem gravado vídeos de divulgação científica, com temas como Matemática, Estatística, Física, História da Ciência e Astronomia, porém o canal dele ainda está crescendo. Seria muito interessante se você convidasse ele, inclusive ele já elogiou o seu canal. Como os canais de alto nível são raros, acho que é importante que vocês ajudem uns aos outros a crescer. Obrigado pela atenção.
Show mano!!!
Isso tem a ver com o problema p = np?
Sim. P é a classe de problemas de decisão que podem ser resolvidas por uma máquina de turing determinística em tempo polinomial e NP é a classe dos problemas de decisão que podem ser resolvidos por uma máquina de turing não-determinística em tempo polinomial.
Pra você ver o poder do ócio criativo... ajudou a acabar com a guerra e ainda inventou o computador.
resumindo: os computadores não são tão inteligentes assim e apesar do seu SO ter muitas medidas de segurança, eventualmente seu computador vai travar e o computador não vai poder se consertar sozinho
2:24 Nope está longe disso.
Você mesmo respondeu
2:01-2:08
Eu sempre tento entender COMO A PRR DE UMA MAQUI Q SO ENTENDE BOOLEANOS CONSEGUE ENTENDER QUE GANHAR UMA RECOMPENSA É MELHOR E PERDER É RUIM mas vc me ajudou wuw
Claro q a matemática serve pra várias coisas. Só um ignorante completo diria q não serve. A questão é: pra que preciso saber algumas coisas (log, função de 2o grau p.ex.) se provavelmente eu nunca usarei? É só a grade curricular q deveria ter adaptações
É exatamente sobre isso esse vídeo aqui: PRA QUE serve a MATEMÁTICA? Quando você irá realmente usar isso?
ruclips.net/video/3KpcDTWvnhM/видео.html
Que pira!
(2+2)*10^5 km/s não é 4*10^5 km/s.
Nem entendo o que você diz, ouço até o fim todos os vídeos pra ver se conhecimento por osmose funciona
Leva um tempo, mas, se você persistir, experimentará, em um futuro breve, progressos diretamente proporcionais a ações, ainda que simples, de fixação da informação e investigação pessoal.
Depois que desenvolveram o Chat GPT, o Daniel tinha que vim fazer esse vídeo, né😅
Up.
agora só falta John von Neumann
Quem foi de fato o pai da computação foi Babbage?
A explicação está confusa
Vídeo bem interessante, mas infelizmente, assisti 2x e não consegui entender a lógica da máquina de Turing, a ideia base do vídeo, não compreendi :(
Ja agradeceram ao Alan Turing pai da computaria?
A triste vida deste gênio...
" O Gênio da segunda guerra mundial"
❤
Tendi tudinho!!!Kkkkkkk
👏👏👏❤️
👏👏👏💪👍
☀️☀️☀️☀️☀️👍🙏
Ateu, homossexual e pai da computação
Uhuu, cheguei primeiro!
Parabéns! Vídeo excelente! Ótimo repertório de temas!
O Eniac nao foi programado pelo Turing
Caraca....tá surdo véi...
Não entendi quase nada.
Mas uma coisa parece bem óbvia, a máquina nunca vai poder te dizer se vai parar ou não sem calcular primeiro pra descobrir. Só se ela já tivesse o output gravado na máquina.
❤