Primeira vez aqui? Seja bem vindo e cheque o FAQ!
x
Fazer uma Pergunta

Posso fazer demostrações matemáticas avançadas (Topologia, análise real) com um computador ?

+1 voto
56 visitas
perguntada Jun 1, 2015 em Matemática por Juan C. Arismendi Z. (11 pontos)  
Compartilhe

1 Resposta

+1 voto
respondida Jun 1, 2015 por Juan C. Arismendi Z. (11 pontos)  

Sim:

https://www.quantamagazine.org/20150519-will-computers-redefine-the-roots-of-math/

https://coq.inria.fr/

comentou Jun 1, 2015 por Juan C. Arismendi Z. (11 pontos)  
A pergunta seguinte e que não posso demonstrar ainda (matemáticas) com um computador, o poderíamos criar uma linguagem de criatividade (Muitas vezes a criatividade e uma expressão das experiencias)?

1,703 perguntas

1,750 respostas

1,123 comentários

12,281 usuários

Perguntas relacionadas

...