84

Answers
votes newest views recent
5
What is your favorite “strange” function?
8
Induction vs. Strong Induction
8
Most ‘unintuitive’ application of the Axiom of Choice?
5
What are examples of mathematical concepts named after the wrong people? (Stigler’s law)
5
What does it mean for a mathematical statement to be true?
7
Can infinity shorten proofs a lot?
4
Abstract Thought vs Calculation
6
Decidability of chess on an infinite board
18
Why are proofs so valuable, although we do not know that our axiom system is consistent?
27
What’s a magical theorem in logic? (2)
8
undergraduate logic textbook
21
What is “Seetapun Enigma”?
5
Arithmetic fixed point theorem
12
Can we prove set theory is consistent?
5
What is the shortest program for which halting is unknown?
1
Propositional logic and first order logic textbook
10
Is there a reasonable way to refer to a 23 page article with 28 authors?
2
Cardinalities larger than the continuum in areas besides set theory
1
What is the difference between the biconditional iff. and equality = ?
1
An easy proof of the uncountability of bijections on natural numbers?
4
Going to graduate school for mathematics next year, need some advice
8
True by accident (and therefore not amenable to proof)
6
Are real numbers countable in constructive mathematics?
28
Complete mathematics
5
Explicit expression for recursively defined functions
3
Is there a general setting for self-reference?
15
Clarification of Gödel’s second incompleteness theorem
10
Completeness vs Compactness in logic
7
Is modern computability theory “really” about algorithms?
3
What happens when we print the digits of a real number?
1 2 3 next