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
69 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,760 perguntas

1,815 respostas

1,184 comentários

14,130 usuários

Perguntas relacionadas

...