It seems there are a lot of different formalization systems. (11 listed on this site).
It seems strange to me that there isn't one standard system.
I don't know much about modern mathematics. But seems odd to me there isn't more of a movement to formalise all proofs. And to get computers / AI involved in discovering new proofs.
Please some explain to me!
(I have lots of ignorance of these things)
It seems there are a lot of different formalization systems. (11 listed on this site).
It seems strange to me that there isn't one standard system.
I don't know much about modern mathematics. But seems odd to me there isn't more of a movement to formalise all proofs. And to get computers / AI involved in discovering new proofs.
Please some explain to me! (I have lots of ignorance of these things)