Top network posts

• 52 Is there a reason it is so rare we can solve differential equations?
• 25 Has any open/difficult problem in ordinary mathematics been solved only/mostly by appeal to set theory?
• 9 Why should we care about syntactic proofs if we can show semantically that statements are true?
• 9 Does the independence of the axiom of choice imply Gödel's incompleteness theorem?
• 8 Intuition for non-convergence of Cauchy sequence in $\mathbb{Q}$
• 7 Henkin-style proof of first-order compactness
• 7 Simple Failings of Axiom of Choice in Top
• View more network posts →