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
Tools
Sources (0)
Tags (0)
Comments (0)
History
Usage
Questions (0)
Playlists (0)
Quality
Sources
There are currently no sources for this slide.