I didn’t say I believe in the law of excluded middle ;)https://twitter.com/johncarlosbaez/status/1056226169811390464 …
-
-
Replying to @emilyriehl
Do you have a minute to talk about our saviour, univalence?
1 reply 0 retweets 5 likes -
Replying to @andreasdotorg
Are you asking whether I believe in the univalence axiom? Well of course!
2 replies 0 retweets 2 likes -
Replying to @emilyriehl @andreasdotorg
Though we should take a moment to reflect on what “believing in an axiom” really means. I think of it as defining the universe in which you want to live.
3 replies 0 retweets 3 likes
Replying to @emilyriehl
That is a very postmodern view. I appreciate it.
12:29 PM - 27 Oct 2018
0 replies
0 retweets
1 like
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.
