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
Do we yet have agreement on what constitutes abstraction and reasoning? It doesn't seem to be formal logic, while "analogy" is underspecified.
We need mathematical formalism for abstraction in AI & computer science in general (not category theory), which we will have "soon" (on the scale of scientific progress)
Perhaps category theory is at a realistic level of abstraction for describing complex systems and any more concrete resolution may be a futile endeavor?
Formalism and abstraction? What's the path to a Math that refers to words that don't have a meaning but context based meanings and echoes? Issues which are more complex in some languages such as Arabic and Farsi and more concrete in German for example.
"Automated reasoning" https://en.wikipedia.org/wiki/Automated_reasoning … "Logic programming"https://en.wikipedia.org/wiki/Logic_programming …
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
