Question

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

Answer 1

Sim:

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

https://coq.inria.fr/

Comments

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