2022 Developer Survey is open! Take survey.

# Tag Info

## Hot answers tagged proof-theory

Accepted

### Why do constructivists not seem to care too much about call/cc

Constructive mathematics is not just a formal system but rather an understanding of what mathematics is about. Or to put it differently, not every kind of semantics is accepted by a constructive ...
• 26.4k
Accepted

### Relative consistency of PA and some type theories

The short answer to your question 1 is no, but for perhaps subtle reasons. First of all, System $F$ and $F_\omega$ cannot express the first-order theory of arithmetic, and even less the consistency ...
• 13.1k
Accepted

### Why is Proof Checker required in Proof Carrying Code

The purpose of the proof checker is to minimise the trusted computing base. By having a proof checker, neither the compiler nor the theorem prover need to be correct. The paper makes this point on ...
• 10.3k