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.
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.