What's something that strikes you as very unusual that very smart people are working on?
Show this thread
-
Homotopy type theory, especially by people who believe ZFC is inconsistent.
It's a nice example, and I almost listed it (and univalent foundations). But I guess I'm looking for less mainstream / newer ideas.
-
-
Less mainstream = most of https://en.wikipedia.org/wiki/Edward_Nelson's … work? Unfortunately nothing new there anymore. :(
-
Nelson is a nice example! A bit like Carver Mead in recent years, though different flavour.
End of conversation
New conversation -
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.