18

Answers
votes newest views recent
1
Can invariant of transitive reflexive closure in FOL+PA always been proven?
2
Are any natural examples of Gödel speed-up known?
0
“Simpler” statements equivalent to Con(PA) or Con(ZFC)?
5
Ask for recommendations for textbook on mathematical logic
6
Writing “Semi-Formal” Proofs
4
Are there any very hard unknots?
-7
What would you want to see at the Museum of Mathematics?
1
How to prove Con(PA) in ZFC?
1
Arguments against large cardinals
0
What is Realistic Mathematics?
0
A decision problem in graph coloring
4
What’s your favorite equation, formula, identity or inequality?
1
Can we color Z^+ with n colors such that a, 2a, …, na all have different colors for all a?
12
What are the most attractive Turing undecidable problems in mathematics? (2)
0
Remove unnecessary dependencies in a task graph?
1
What is the reverse mathematics of first-order logic and propositional logic?
3
Would Euler’s proofs get published in a modern math Journal, especially considering his treatment of the Infinite?
1
Measuring how “heavily linked” a node is in a graph