12

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