Questions tagged [logic]
For challenges pertaining to mathematical logic and boolean algebra.
2 questions with no upvoted or accepted answers
7
votes
0
answers
414
views
Write a proof checker for first order logic
This originally came from Give the best Chaitin incompleteness bound, but I realized that there was a fragment of this problem which still potentially gives a good coding challenge.
First Order Logic ...
- 241
7
votes
0
answers
223
views
Give the best Chaitin incompleteness bound
This was originally a pure mathematics question, but I think I've got the best chance for an answer here.
The Challenge
For concreteness, consider Peano Arithmetic (PA). For some language L of your ...
- 241