Bold claims by @existentialtype: Math arises out of Computer Science, not the other way around.
@existentialtype @andreasdotorg But how do you get computer science to provide you with this oracle, esp. in the face of undecidability?
You can add location information to your Tweets, such as your city or precise location, from the web and via third-party applications. You always have the option to delete your Tweet location history. Learn more
@existentialtype @andreasdotorg But how do you get computer science to provide you with this oracle, esp. in the face of undecidability?