Computational Philosophy is to use software to prove theorems. The FP link is to an overview of the field, below is a link to descriptions of the software systems:
Seems disappointing that this article doesn't have anything to say about what the pursuit of metaphysical truths means when given the advancements of modern and theoretical artificial intelligence.
2 comments
[ 5.7 ms ] story [ 16.3 ms ] threadhttps://www.geeksforgeeks.org/different-theorem-proving-syst...