Intuitionistic mathematics is basically always asking "show me the money", nothing is accepted before we build it. Intuitionistic math may be a much better foundation to foundational physics than classical math. http://math.andrej.com/wp-content/uploads/2014/03/real-world-realizability.pdf …
Of course, but the semantics of such theorems are different, which may have implications if you want to apply your theory to a constructive domain. Infinity makes my skin crawl, but that is a non-issue as long as nobody uses it to describe the universe that contains my skin. :)
11:23 PM - 31 Jan 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.