That is an excellent question. I would personally sort this into mathematical logic, but people might disagree. This also is part of homotopy type theory, artificial intelligence and symbolic computation (and many more that I am forgetting right now).
@@arslanrozyjumayev8484I like that one! But I still feel like there is no single correct answer, but many correct answers. And that is nothing negative.
![Quando Rondo - Life Goes On [Official Music Video]](http://i.ytimg.com/vi/eIf3fhMXAow/mqdefault.jpg)
This makes me very excited! This absolutely needs to be the future of mathematics
It is exciting, yes 😄
But the state of the arts is not as good as it could be - so let us all work to improve it together ✌
@@VisualMath are you involved with any of the people who wrote the book on HoTT?
@@ThomasFackrell No, sadly not as I come from a different area of math
What would you call the field of computer science (or math?) that formalizes theorems for computers to prove?
That is an excellent question. I would personally sort this into mathematical logic, but people might disagree. This also is part of homotopy type theory, artificial intelligence and symbolic computation (and many more that I am forgetting right now).
automated reasoning, perhaps
@@sequentcalc Right that makes sense, but I would count that as part of AI. But again, this is just my personal take.
i think "Formal Methods in Software design" is the answer to your question, i might be wrong, though!
@@arslanrozyjumayev8484I like that one! But I still feel like there is no single correct answer, but many correct answers. And that is nothing negative.