See Also
- Automated theorem proving
- Computational complexity
- Intuitionistic logic
- Non-monotonic logic
Read more about this topic: Proof Complexity
Famous quotes containing the word see:
“To see ourselves as others see us can be eye-opening. To see others as sharing a nature with ourselves is the merest decency. But it is from the far more difficult achievement of seeing ourselves amongst others, as a local example of the forms human life has locally taken, a case among cases, a world among worlds, that the largeness of mind, without which objectivity is self- congratulation and tolerance a sham, comes.”
—Clifford Geertz (b. 1926)