*Seja membro* e me ajude a continuar produzindo esse tipo de conteúdo: kzread.infojoin

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

Жыл бұрын

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

Жыл бұрын

@ 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

Жыл бұрын

Caramba, véio!! Tu é tão Caxias que até no sobrenome tem dupla autenticação!! 😂😂😂

@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

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.

@cassiofbs

Жыл бұрын

leu?

@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

9 ай бұрын

​@@yuriventura8587E agora? Leu?

@Dudu2

4 ай бұрын

Cadê o artigo?

@erickfuga

3 ай бұрын

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.

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?”..😂

Esste é canal! Vamos divulgar galera! Absolutamente espetacular!

É muito bom está por aqui novamente ☺️

Que vídeo incrível! Com qualidade da edição ao conteúdo

Como sempre! Vídeo muito bem feito!

Parabéns. Excelente conteúdo! Muito obrigado.

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!

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!

Esse canal me fãs amar matemática ainda mais.

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 😊

Excelente explicação! Muito clara, didática e bem ilustrada! 🏆

Parabéns Daniel.

Esse vídeo é maravilhoso!!! ❤

Ótimo vídeo, Daniel

Ótimo vídeo!

Muito bom! Estou estudando esse assunto em engenharia da computação e o vídeo explica muito bem e é muito bem ilustrado

Que beleza de vídeo!

Bora resolver essa parada!

Decidibilidade era algo que faltava pra eu entender como aparecia este termo. Acho que agora peguei 😁

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.

Esse conceito de parada agira ficou claro.....rs. Obrigado por compartilhar.

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.

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.

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.

Show mano!!!

Com perdão dos outros KZreadrs, mas esse é o melhor canal de matemática.

@fucandonamatematica6207

Жыл бұрын

É um canal excelente, melhor que o meu e todos que eu já vi, com certeza.

*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á!

Fala Daniel! Faz um vídeo explicando a matemática por trás do Dobble?? Eu tenho certeza absoluta que vc vai curtir!!!!!!!!!!!!!!!!!

Vou comprar

Sem precisar entrar tanto em quântica temos um qbit que é um exemplo que sim, pode se sobrepor.

Bah, citou dois gigantes da minha área. Quase chorei com esse vídeo!!

Жыл бұрын

Eu tinha te avisado que ia sair esse vídeo! 😂

@ricardolichtler3195

Жыл бұрын

@ sim, eu tava esperando. :-)

Matemática e tudo de bom👊👊

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...

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.

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.

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

Жыл бұрын

Up.

Agradeça a Alan Turing, ateu e homossexual, pai da ciência da computação

Esse vídeo sobre a parada fez chover no meu chip, não posso mais computar

Muito fera! Mas boiei legal aqui.... a matemática realmente não gosta de mim, ou eu não gosto dela!!!!

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

Cara você é melhor que o Átila!

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

Professor pode falar sobre a Fita de Möbius?

Жыл бұрын

Em breve!

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

Que pira!

12:57 a matemática estara ai

Pra você ver o poder do ócio criativo... ajudou a acabar com a guerra e ainda inventou o computador.

❤

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

Жыл бұрын

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

Жыл бұрын

@@fucandonamatematica6207 vlw

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???

👏👏👏❤️

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

Жыл бұрын

​@ 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.

Isso tem a ver com o problema p = np?

@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.

👏👏👏💪👍

Uhuu, cheguei primeiro!

@leandrolima9805

Жыл бұрын

Parabéns! Vídeo excelente! Ótimo repertório de temas!

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

Tendi tudinho!!!Kkkkkkk

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

Жыл бұрын

@ 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.

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

Quem foi de fato o pai da computação foi Babbage?

(2+2)*10^5 km/s não é 4*10^5 km/s.

agora só falta John von Neumann

Depois que desenvolveram o Chat GPT, o Daniel tinha que vim fazer esse vídeo, né😅

@jullyanolino

Жыл бұрын

Up.

" O Gênio da segunda guerra mundial"

2:24 Nope está longe disso. Você mesmo respondeu 2:01-2:08

Ja agradeceram ao Alan Turing pai da computaria?

A triste vida deste gênio...

A explicação está confusa

☀️☀️☀️☀️☀️👍🙏

Nem entendo o que você diz, ouço até o fim todos os vídeos pra ver se conhecimento por osmose funciona

@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.

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É.

A

@bomdia2021

Жыл бұрын

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?

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

11 ай бұрын

É exatamente sobre isso esse vídeo aqui: PRA QUE serve a MATEMÁTICA? Quando você irá realmente usar isso? kzread.info/dash/bejne/ZX-kxaaNh9nUmLA.html

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 :(

O Eniac nao foi programado pelo Turing

@tsz5868

Жыл бұрын

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.

Ateu, homossexual e pai da computação

❤