Skip to main content
Daniel Bachmat's user avatar
Daniel Bachmat's user avatar
Daniel Bachmat's user avatar
Daniel Bachmat
Unregistered
  • Member for 12 years, 7 months
awarded
comment
Is there a polynomial equation whose solution over the integers is independent of ZFC
It is possible to construct such an equation? Does this mean that in more powerful systems we can solve the 10th problem?
awarded
Loading…