4 ms·
Computational Philosophy
- moistly 4y agoComputational 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: https://www.geeksforgeeks.org/different-theorem-proving-system-tps/ https://www.geeksforgeeks.org/different-theorem-proving-syst...
- swatson741 4y agoSeems 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.