Marcelo Viana > Na interface da computação com a matemática Voltar
Comente este texto
Leia Mais
Não entendi nada no penúltimo parágrafo. De onde veio 1 e 6?
Entendi que seriam os dois primeiros Castores Atarefados encontrados referentes a máquina de Turing. No artigo anterior ele cita que fora encontrado o 5° Castor AtarefadoÂ…. Os artigos são muito curtos para assuntos longos e que demandam muitos raciocÃnios, na minha opinião.
Se a conjuntura de Goldbach for verdadeira, o programa nunca vai parar pois há infinitos números inteiros. Mas se o programa levar um tempo descomunal, ainda assim ela não estará provada. Então, a via computacional é viável para provar sua falsidade.
Se a prova for por força bruta, verificando todos os números possÃveis, sim, a máquina ficaria calculando para sempre, independente da conjectura ser verdadeira ou não. Mas não existe uma prova que ateste ser impossÃvel achar um programa que consiga encontrar a resposta para a conjectura sem ter que calcular todos os casos. Esta é a esperança de quem estuda este problema.
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 > Na interface da computação com a matemática Voltar
Comente este texto