Top network posts

• 35 Bijection from $\mathbb R$ to $\mathbb {R^N}$
• 23 How is the Gödel's Completeness Theorem not a tautology?
• 18 What does it mean for something to be true but not provable in peano arithmetic?
• 17 Constructing a bijection from (0,1) to the irrationals in (0,1)
• 14 Relative consistency of PA and some type theories
• 12 Currently, what is the largest publicly known prime number such that all prime numbers less than it are known?
• 8 What is the proof-theoretic significance of the existence of a Brown-Palsberg self-interpreter for system $F_\omega$?
• View more network posts →