>>12727242An equivalency has been demonstrated between producing mathematical proofs and producing computer programs. It is impossible to write a computer program that can generally produce an algorithm to solve any problem since there are certain problems that computers cannot solve, such as the halting problem. Likewise, you cannot just give a computer a set of sufficiently complex axioms and expect it to be able to determine whether any arbitrary proposition holds. It could not even prove whether an arbitrary statement could be proven or disproven.
