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
If someone was interested in augmenting human intelligence with computers, say, maybe they would be interested in reducing the mismatch between human mathematical thoughts and their formal representation on computers.
Sure. Is that a reason to not be interested?
I don't need a reason not to be interested - life is short. I need a reason to be interested.
I guess this argument is the same as saying "Why use Python when I can assembly to do the same thing." My impression of CT is that it's a high level, abstract language which allows you to "reuse code" and abstract away internals of your system in way you otherwise couldn't
Sure, you could do it without CT, but usually in CT, the proofs can be simplified and reduced to their most fundamental core. I see it was a way to reduce cognitive load - a way to compress thought patterns
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.
