3 ms·
First order logics can be provably sound and complete when they do not express certain arithmetic operations.
by dpierce9 2y ago
First order logics can be provably sound and complete when they do not express certain arithmetic operations.
- bubblyworld 2y agoFirst-order logic is sound and complete in general (via Gödel's lesser known completeness theorem, for instance). That doesn't contradict what I wrote =)