Computational Philosophy

by moistly on 1/31/2023, 4:00:47 AM with 2 comments

  • by swatson741 on 1/31/2023, 5:18:35 AM

    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.

  • by moistly on 1/31/2023, 4:19:56 AM

    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:

    https://www.geeksforgeeks.org/different-theorem-proving-syst...