41

Answers
votes newest views recent
21
Why not evaluate integrals using ODE-solvers?
20
Complete mathematics
12
Cantor’s diagonal argument and ZF
10
Half Cantor-Bernstein Without Choice
8
Is this cube packing possible?
7
Downgrading from ZFC with universes to ZFC
7
The Reverse Mathematics of writing a set as a union?
5
Can there be two continuous real-valued functions such that at least one has rational values for all x?
4
Baire class 1 functions for which $\int_0^1 fp=0$ for all polynomials $p$
4
A polynomial-time algorithm for deciding whether a language has a polynomial time algorithm
4
Worst known algorithm in terms of Big-O (more precisely Big-theta)?
4
Unboundedness of primes in bounded arithmetic
3
Boundary of star-shaped domain
3
Graph properties: definability and decidability
3
Question about Godel’s 2nd Theorem
3
Rational solutions of homogeneous equations
2
Computing the largest Eigenvalue of a very large sparse matrix?
2
Concrete category
2
derandomizing BPP
2
Non-linear “Fourier analysis”
2
Maps preserving algebraic numbers
2
How to resolve a disagreement about a mathematical proof?
2
What are “maps” between proper classes?
2
Is Lebesgue/Borel non-measurability actually caused by non-uniqueness?
2
what’s an upper bound on the size of the largest biclique in random bipartite graph?
1
some questions on Lindelöf property
1
Formulaic definitions
1
Relationship between the focal locus and the cut locus
1
Are packing-homogeneous spaces homogeneous?
1
Is P=NP relevant to finding proofs of everyday mathematical propositions?
1 2 next