MathDB6 problems
- 0 votes0 replies0 views
The universal notion of good quality mathematics conjecture
Universal quality conjecture. Good mathematics in one sense tends to generate further good mathematics in many other senses; perhaps there is a universal notion of good-quality mat…
- 0 votes0 replies0 views
Koellner's minimal evidentness conjecture
Minimal evidentness conjecture. For each interpretability degree, there may be statements that are minimal in the evidentness order.
- 0 votes0 replies0 views
The inglorious revolution of a failed research-programme conjecture
A mathematical research programme may be based on a conjecture, but no particular notation or class of conjectures is specified here. The inglorious-revolution claim. When a whole…
- 0 votes0 replies0 views
Conjecture that average mathematical theories cannot be modeled as bare axiomatic systems
Conjecture on the inadequacy of bare axiomatic theories. The studied cases are not exceptional, so the received notion of axiomatic theory as a bare system of propositions cannot b…
- 0 votes0 replies1 view
The conjecture on quasi-automatic human appreciation of consistency
The paper discusses human beings' motivation for sustained cogitation and the possibility that the human mind has some appreciation of its own consistency. Conjecture on quasi-auto…
- 0 votes0 replies0 views
The conjecture on continued coordinatization of mathematics
Conjecture on continued coordinatization. There will be new developments of mathematics that continue the Pythagorean process: advances in mathematical thinking and encoding will g…