In his Master's Thesis, Merlin Carl has computed a polynomial that is solvable in the integers iff ZFC is consistentinconsistent. A joint paper with his advisor Boris Moroz on this subject can be found at http://www.math.uni-bonn.de/people/carl/preprint.pdf.
|
2 | Changed the wrong "consistent" to the correct "inconsistent". | ||
|
|
||||
|
|
1 |
|
||
|
In his Master's Thesis, Merlin Carl has computed a polynomial that is solvable in the integers iff ZFC is consistent. A joint paper with his advisor Boris Moroz on this subject can be found at http://www.math.uni-bonn.de/people/carl/preprint.pdf. |
||||
