Mastodon Feed
@chrisjrn is collecting a set of results about the nature of truth and computability (Gödel, Tarski, Turing) in a sort of "reflections on truthing truth", I am very invested in where this is going #NBPy
Mastodon FeedMastodon FeedMastodon Feed@chrisjrn is collecting a set of results about the nature of truth and computability (Gödel, Tarski, Turing) in a sort of "reflections on truthing truth", I am very invested in where this is going #NBPy