stilkov’s avatarstilkov’s Twitter Archive—№ 21,967

  1. RT thattommyhall: For all the Gödel Curious out there I now have a very compact (but not constructive) proof of incompleteness from Tarski…
    On twitter.com Twitter logo Retweet