Current Slide

Small screen detected. You are viewing the mobile version of SlideWiki. If you wish to edit slides you will need to use a larger device.

Motivation

  • Basic results of mathematical logic show:
    • We can do logical reasoning with a limited set of simple (computable) rules in restricted formal languages like First-order Logic (FOL)
    • Computers can do reasoning

  • FOL is interesting for this purpose because:
    • It is expressive enough to capture many foundational theorems of mathematics
    • Many real-world problems can be formalized in FOL
    • It is the most expressive logic that one can adequately approach with automated theorem proving techniques

Speaker notes:

Content Tools

Sources

There are currently no sources for this slide.