1. Knowra
  2. Proof theory
  3. Linked from

Linked from

The 25 pages that link to Proof theory, each with the reason it gives.

All 25Broader topic 3Related 4Narrower topic 16Compared with 2

  • Computability theoryCompared with: It concerns what formal systems can prove, a question related to but distinct from algorithmic solvability.

  • Formal semanticsCompared with: It emphasizes what can be derived, while semantics emphasizes interpretation and truth.

Machine generatedConnect to another ideaRandom page