12

Answers
votes newest views recent
86
Proofs without words
12
Why is it so difficult to write complete (computer verifiable) proofs?
1
Writing “Semi-Formal” Proofs
7
Is the Riemann Hypothesis equivalent to a $\Pi_1$ sentence?
4
What happens when we print the digits of a real number?
2
Extensional theorems mostly used intensionally
3
Set theories that do require the existence of urelements?
5
Can dependent sums be encoded as dependent products?
4
Does the axiom of specification prevent writing any proof?
2
Pushout over a whole diagram
0
Approximating a set with fixed number of elements
3
Reduction rules for inductive types