Gregory Chaitinpic.twitter.com/KGmTKh9UcM
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
I was invited to a small-group dinner with him, more than 10 years later, and got to thank him for it.
That's so nice. Read the story at the beginning of https://arxiv.org/pdf/chao-dyn/9406002.pdf … about how Chaitin almost got to meet Gödel, if you haven't already. I'm glad you got to meet Chaitin!
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.