MÁQUINAS DE TURING e o Problema da Parada

  Рет қаралды 40,971

Tem Ciência

Tem Ciência

Жыл бұрын

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: kzfaq.infojoin
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...

Пікірлер: 118
Жыл бұрын
*Seja membro* e me ajude a continuar produzindo esse tipo de conteúdo: kzfaq.infojoin
@wesleyffer
@wesleyffer Жыл бұрын
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! 😃
@ricardolichtler3195
@ricardolichtler3195 Жыл бұрын
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.
@MoacyrPradoNeto
@MoacyrPradoNeto Жыл бұрын
@ 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
@odairfernandes1912
@odairfernandes1912 Жыл бұрын
Caramba, véio!! Tu é tão Caxias que até no sobrenome tem dupla autenticação!! 😂😂😂
@iminencia
@iminencia Жыл бұрын
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
@fmaciel2
@fmaciel2 Жыл бұрын
Explicou o "Problema da Parada" melhor que todos os professores tive sobre o assunto. Obrigado!
@yuriventura8587
@yuriventura8587 Жыл бұрын
Turing foi um gênio. Um dia vou ler o artigo original dele.
@cassiofbs
@cassiofbs Жыл бұрын
leu?
@yuriventura8587
@yuriventura8587 Жыл бұрын
@@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.
@gustavodutra3633
@gustavodutra3633 8 ай бұрын
​@@yuriventura8587E agora? Leu?
@Dudu2
@Dudu2 3 ай бұрын
Cadê o artigo?
@erickfuga
@erickfuga 2 ай бұрын
Já leu?
@dudz1978
@dudz1978 Жыл бұрын
Incrível como uma máquina teórica tão simples leva a conclusões tão profundas. Ótimo vídeo.
@lucas_zampar
@lucas_zampar Жыл бұрын
Queria ter tido uma aula como essa durante minha graduação em Ciência da Computação.
@MoacyrPradoNeto
@MoacyrPradoNeto Жыл бұрын
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.
@DuneDiscord
@DuneDiscord Жыл бұрын
Muito bom! Estou estudando esse assunto em engenharia da computação e o vídeo explica muito bem e é muito bem ilustrado
@isamagno8694
@isamagno8694 Жыл бұрын
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?”..😂
@Farck1177
@Farck1177 Жыл бұрын
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!
@georgedemetrioscastrolima7986
@georgedemetrioscastrolima7986 Жыл бұрын
Esste é canal! Vamos divulgar galera! Absolutamente espetacular!
@danielrck
@danielrck Жыл бұрын
Que vídeo incrível! Com qualidade da edição ao conteúdo
@valdenirbernardo
@valdenirbernardo Жыл бұрын
É muito bom está por aqui novamente ☺️
@RobertoCruzization
@RobertoCruzization Жыл бұрын
Excelente explicação! Muito clara, didática e bem ilustrada! 🏆
@muito_facil
@muito_facil Жыл бұрын
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!
@aristotelesbenicio7476
@aristotelesbenicio7476 Жыл бұрын
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.
@MysteriousYoung
@MysteriousYoung Жыл бұрын
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 😊
@BAKANA1086
@BAKANA1086 Жыл бұрын
Esse canal me fãs amar matemática ainda mais.
@rsovat
@rsovat Жыл бұрын
Parabéns. Excelente conteúdo! Muito obrigado.
@danielalencar4491
@danielalencar4491 Жыл бұрын
Como sempre! Vídeo muito bem feito!
@drcarlosmedeiros4457
@drcarlosmedeiros4457 Жыл бұрын
Parabéns Daniel.
@eduardo6239
@eduardo6239 Жыл бұрын
Ótimo vídeo, Daniel
@bfaab
@bfaab Жыл бұрын
Esse vídeo é maravilhoso!!! ❤
@RGAstrofotografia
@RGAstrofotografia Жыл бұрын
Bora resolver essa parada!
@MMarcuzzo
@MMarcuzzo Жыл бұрын
Decidibilidade era algo que faltava pra eu entender como aparecia este termo. Acho que agora peguei 😁
Жыл бұрын
Que beleza de vídeo!
@fsshal
@fsshal Жыл бұрын
Esse conceito de parada agira ficou claro.....rs. Obrigado por compartilhar.
@madaaz6333
@madaaz6333 Жыл бұрын
Ótimo vídeo!
@amschaves
@amschaves Жыл бұрын
Com perdão dos outros KZfaqrs, mas esse é o melhor canal de matemática.
@fucandonamatematica6207
@fucandonamatematica6207 Жыл бұрын
É um canal excelente, melhor que o meu e todos que eu já vi, com certeza.
@milenacostasilva7443
@milenacostasilva7443 10 ай бұрын
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.
@LordKaramazovsk
@LordKaramazovsk 10 ай бұрын
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.
@SAMUELLHENRIQUE
@SAMUELLHENRIQUE 10 ай бұрын
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.
@anselmomazzolari9120
@anselmomazzolari9120 10 ай бұрын
*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á!
@rubensramos6458
@rubensramos6458 Жыл бұрын
Show mano!!!
@Leosql
@Leosql Жыл бұрын
Fala Daniel! Faz um vídeo explicando a matemática por trás do Dobble?? Eu tenho certeza absoluta que vc vai curtir!!!!!!!!!!!!!!!!!
@naulig
@naulig Жыл бұрын
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.
@ricardolichtler3195
@ricardolichtler3195 Жыл бұрын
Bah, citou dois gigantes da minha área. Quase chorei com esse vídeo!!
Жыл бұрын
Eu tinha te avisado que ia sair esse vídeo! 😂
@ricardolichtler3195
@ricardolichtler3195 Жыл бұрын
@ sim, eu tava esperando. :-)
@leonardosogliabueno
@leonardosogliabueno 10 ай бұрын
Vou comprar
@FelipeSouza-we7fo
@FelipeSouza-we7fo Жыл бұрын
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...
@JorgeLuis-yd5bh
@JorgeLuis-yd5bh Жыл бұрын
Matemática e tudo de bom👊👊
@InvisivelTM
@InvisivelTM Жыл бұрын
Sem precisar entrar tanto em quântica temos um qbit que é um exemplo que sim, pode se sobrepor.
@leogomes121
@leogomes121 Жыл бұрын
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.
@jurandyravaz
@jurandyravaz Жыл бұрын
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....
@jullyanolino
@jullyanolino Жыл бұрын
Up.
@cmaisinformatica
@cmaisinformatica Жыл бұрын
Cara você é melhor que o Átila!
@hdoliveira
@hdoliveira 9 ай бұрын
Muito fera! Mas boiei legal aqui.... a matemática realmente não gosta de mim, ou eu não gosto dela!!!!
@GabrielAlves-cf8wy
@GabrielAlves-cf8wy Жыл бұрын
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
@vicenterivera188
@vicenterivera188 Жыл бұрын
Esse vídeo sobre a parada fez chover no meu chip, não posso mais computar
Жыл бұрын
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
@rodrigusouza978
@rodrigusouza978 Жыл бұрын
Professor pode falar sobre a Fita de Möbius?
Жыл бұрын
Em breve!
@adbolado02
@adbolado02 Жыл бұрын
Agradeça a Alan Turing, ateu e homossexual, pai da ciência da computação
@luizhenriquegomesdasilva2392
@luizhenriquegomesdasilva2392 Жыл бұрын
Que pira!
@hugo-garcia
@hugo-garcia Жыл бұрын
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
@Sir_PhysicRayleigh
@Sir_PhysicRayleigh 10 ай бұрын
12:57 a matemática estara ai
@joaovitor-rj7fi
@joaovitor-rj7fi Жыл бұрын
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.
@fucandonamatematica6207
@fucandonamatematica6207 Жыл бұрын
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.
@joaovitor-rj7fi
@joaovitor-rj7fi Жыл бұрын
@@fucandonamatematica6207 vlw
@dombox7644
@dombox7644 10 ай бұрын
👏👏👏❤️
@dombox7644
@dombox7644 10 ай бұрын
@renato-contec7287
@renato-contec7287 Жыл бұрын
Pra você ver o poder do ócio criativo... ajudou a acabar com a guerra e ainda inventou o computador.
@etherium4255
@etherium4255 Жыл бұрын
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.
@FelipeRodrigues14789
@FelipeRodrigues14789 Жыл бұрын
​@ 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.
@dombox7644
@dombox7644 10 ай бұрын
👏👏👏💪👍
@MVARP
@MVARP 10 ай бұрын
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???
@RafaelMohedano
@RafaelMohedano Жыл бұрын
Isso tem a ver com o problema p = np?
@JoaoGuilherme-ns3il
@JoaoGuilherme-ns3il Жыл бұрын
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.
@aasdffut
@aasdffut Жыл бұрын
Tendi tudinho!!!Kkkkkkk
@fernandoc4741
@fernandoc4741 Жыл бұрын
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.
@fernandoc4741
@fernandoc4741 Жыл бұрын
@ 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.
@MinkMichelle
@MinkMichelle Жыл бұрын
Uhuu, cheguei primeiro!
@leandrolima9805
@leandrolima9805 Жыл бұрын
Parabéns! Vídeo excelente! Ótimo repertório de temas!
@DeyvisonAmorim10
@DeyvisonAmorim10 Жыл бұрын
agora só falta John von Neumann
@fredericoclemente324
@fredericoclemente324 8 ай бұрын
Quem foi de fato o pai da computação foi Babbage?
@dpedroiigamer9326
@dpedroiigamer9326 Жыл бұрын
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
@dombox7644
@dombox7644 10 ай бұрын
☀️☀️☀️☀️☀️👍🙏
@lucasdnasa3926
@lucasdnasa3926 Жыл бұрын
" O Gênio da segunda guerra mundial"
@nyoman23gd93
@nyoman23gd93 Жыл бұрын
Depois que desenvolveram o Chat GPT, o Daniel tinha que vim fazer esse vídeo, né😅
@jullyanolino
@jullyanolino Жыл бұрын
Up.
@palaciokaesar
@palaciokaesar 4 ай бұрын
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
@constantinomellomotta9849
@constantinomellomotta9849 Жыл бұрын
(2+2)*10^5 km/s não é 4*10^5 km/s.
@ZERO-sp8vo
@ZERO-sp8vo Жыл бұрын
Ja agradeceram ao Alan Turing pai da computaria?
@iaraveiga3351
@iaraveiga3351 Жыл бұрын
A explicação está confusa
@tonywanderley3903
@tonywanderley3903 Жыл бұрын
A triste vida deste gênio...
@RobertoStenger
@RobertoStenger 10 ай бұрын
2:24 Nope está longe disso. Você mesmo respondeu 2:01-2:08
@mikeelektra
@mikeelektra Жыл бұрын
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É.
@patrickcruz1609
@patrickcruz1609 Жыл бұрын
Nem entendo o que você diz, ouço até o fim todos os vídeos pra ver se conhecimento por osmose funciona
@jullyanolino
@jullyanolino Жыл бұрын
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.
@dalecomedia1020
@dalecomedia1020 Жыл бұрын
A
@dalecomedia1020
@dalecomedia1020 Жыл бұрын
11:50 a ideia de números não-computaveis entra aqui? É conhecido que eles existem. Então, é uma observação já dá resposta desse problema, de que não dá pra computar todos os teoremas da matemática?
@igorsaimon
@igorsaimon 10 ай бұрын
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
10 ай бұрын
É exatamente sobre isso esse vídeo aqui: PRA QUE serve a MATEMÁTICA? Quando você irá realmente usar isso? kzfaq.info/get/bejne/abGglqeFvNzSmIE.html
@ValdirmatfisRHCP
@ValdirmatfisRHCP Жыл бұрын
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 :(
@felipeReisfelipereis
@felipeReisfelipereis Жыл бұрын
O Eniac nao foi programado pelo Turing
@tsz5868
@tsz5868 Жыл бұрын
Caraca....tá surdo véi...
@MaskellSolares
@MaskellSolares 10 ай бұрын
Ateu, homossexual e pai da computação
@a.schneider6058
@a.schneider6058 Жыл бұрын
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.
@larissa_vale
@larissa_vale 15 күн бұрын
O que é uma INTEGRAL?
14:17
Tem Ciência
Рет қаралды 87 М.
A Equação Mais Difícil da Física
11:46
Ciência Todo Dia
Рет қаралды 968 М.
когда повзрослела // EVA mash
00:40
EVA mash
Рет қаралды 3,5 МЛН
I CAN’T BELIEVE I LOST 😱
00:46
Topper Guild
Рет қаралды 76 МЛН
World’s Deadliest Obstacle Course!
28:25
MrBeast
Рет қаралды 150 МЛН
Children deceived dad #comedy
00:19
yuzvikii_family
Рет қаралды 7 МЛН
INCOMPLETUDE DE GÖDEL: a Matemática NÃO é Perfeita
16:58
Tem Ciência
Рет қаралды 136 М.
O Grande PROBLEMA da INTELIGÊNCIA ARTIFICIAL
18:37
Tem Ciência
Рет қаралды 61 М.
DILEMA dos PRISIONEIROS e o EQUILÍBRIO de NASH
11:24
Tem Ciência
Рет қаралды 56 М.
Proof That Computers Can't Do Everything (The Halting Problem)
7:52
030 - Números Transcendentes e Não-Computáveis
14:02
in Math
Рет қаралды 8 М.
Por que é Matematicamente POSSÍVEL resolver o xadrez
18:55
Tem Ciência
Рет қаралды 65 М.
Banach-Tarski PARADOX: the STRANGEST of Mathematics!
18:41
Tem Ciência
Рет қаралды 212 М.
ИГРОВОВЫЙ НОУТ ASUS ЗА 57 тысяч
25:33
Ремонтяш
Рет қаралды 307 М.
Asus  VivoBook Винда за 8 часов!
1:00
Sergey Delaisy
Рет қаралды 1,2 МЛН