Are there any conjectures known not to be independent that have neither been proven true or false?

Asked Apr 19 '17 at 19:36

Active Apr 19 '17 at 19:36

Viewed 46 times

Are there any known conjectures that have been shown not to be independent of whatever system they target (i.e. provable), but have not yet been shown to be true or false?

asked Apr 19 '17 at 19:36

AlphaModder

1

@lordoftheshadows Surely we haven't shown that all open problems are provable within whichever axioms they target? – AlphaModder Apr 19 '17 at 19:39
@lordoftheshadows Well, many conjectures I know have not been shown not to be independant. – Hagen von Eitzen Apr 19 '17 at 19:39
2

Is the $10^{1000}$'th decimal place of $\pi$ even or odd? – Dave L. Renfro Apr 19 '17 at 19:54
Sure! "Conjecture, there is a Mersenne prime between the two current largest Mersenne primes."
https://en.wikipedia.org/wiki/Mersenne_prime

Could be false, could be true, can be computed and checked in finite time.
– Chickenmancer Apr 19 '17 at 19:56

Are there any conjectures known not to be independent that have neither been proven true or false?

0 Answers0