Untitled attachment

Notices where this attachment appears

1. Robert McNees (mcnees@mastodon.social)'s status on Friday, 23-Jun-2023 14:47:56 UTC Robert McNees

   in reply to

   In 1936 Turing wrote "On Computable Numbers, with an Application to the Entscheidungsproblem," in which he addresses Hilbert's decidability problem, proves that the Halting Problem is unsolvable, and lays out the modern definition of computability.

   Ref: https://londmathsoc.onlinelibrary.wiley.com/doi/abs/10.1112/plms/s2-42.1.230