Marcelo Viana > Os limites da matemática computacional Voltar
Comente este texto
Leia Mais
Aprecio muito os artigos do matemático brasileiro e colunista da FSP. Só tenho uma ressalva: os artigos são curtos demais e a conclusão quase sempre fica para depois.
Aguardo ansiosamente pela semana que vem.
Há um erro de tradução do artigo. O termo técnico aceito em português para "Halting Problem" é "Problema de Parada" (da Máquina de Turing, para ter o termo completo)
Turing começou a estudar matemática em Cambridge. Depois se interessou pela lógica matemática. Foi para a Universidade de Princeton e estudou com Alonzo Church. Voltou para Cambridge para construir uma máquina para investigar a hipótese de Riemann, considerada o problema matemático maior jamais resolvido.
Uma questão que me ocorre é: se a IA é tão poderosa, por que não poder ser usada para resolver os grandes e célèbres problemas matemáticos ainda não resolvidos ?
Por que IA é um programa e está sujeita a mesmas limitações de uma Máquina de Turing. Não tem como saber, no caso geral, se ela irá parar ou não.
Após favor, aproveitáveis-vos diz para quebráveis-vos isto
Busca
De que você precisa?
Fale com o Agora
Tire suas dúvidas, mande sua reclamação e fale com a redação.
Marcelo Viana > Os limites da matemática computacional Voltar
Comente este texto