520 followers
@XenaProject @codydroux @andrejbauer Barr's theorem: "every proof (in ZFC) of a geometric statement also has a constructive proof." https://t.co/vRwDYHkRjJ This is the point of pointless topology, or Hilbert program: https://t.co/XX5n9QJF3n https://t.co/pC