An interesting interview, and informative for me, but I think it misrepresents the progress in Gödel's proving that (ℕ,+,×) cannot be completely recursively axiomatized, after Presburger's showing (ℕ,+) *can* be
-
-
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.