News for hackers. Stuff that matters.
Re:Brouwer–Hilbert controversy by cyphar on Thursday November 08, 2018 @09:34AM (#18406473)
No, this is more about the philosophy of mathematics -- the question of "to which degree is mathematics 'real'?" Gödel did have an impact on this, with formalism no longer being a particularly viable viewpoint. But this is less of a strict mathematical question and more of a philosophical one.

There are no comments on this comment yet.