@lifewithtrees@mstdn.social
@lifewithtrees@mstdn.social avatar

lifewithtrees

@lifewithtrees@mstdn.social

Working in #tech at the edge of the wilderness. Sharing photos of said wilderness and whatever else feels present 🥰

A gender conscientious objector. ✌️🌈 💛Any pronouns are fine. 👋 PLUR 🕺🎹🎵🎶🌳🏡 Miꞌkmaꞌki

This profile is from a federated server and may be incomplete. Browse more on the original instance.

gutenberg_org, (edited ) to mathematics
@gutenberg_org@mastodon.social avatar

in 1936.

Alan Turing submits On Computable Numbers for publication.

His proof shows that there can be no mechanical, general method (i.e., a Turing machine or a program in some equivalent model of computation) to determine whether algorithms halt. However, each individual instance of the halting problem has a definitive answer, which may or may not be practically computable.

https://en.wikipedia.org/wiki/Turing%27s_proof

lifewithtrees,
@lifewithtrees@mstdn.social avatar

@gutenberg_org would be great to add an tag on this

  • All
  • Subscribed
  • Moderated
  • Favorites
  • •
  • provamag3
  • kavyap
  • osvaldo12
  • modclub
  • DreamBathrooms
  • khanakhh
  • magazineikmin
  • thenastyranch
  • Youngstown
  • everett
  • InstantRegret
  • slotface
  • ngwrru68w68
  • rosin
  • JUstTest
  • tacticalgear
  • GTA5RPClips
  • anitta
  • Durango
  • mdbf
  • cisconetworking
  • tester
  • ethstaker
  • cubers
  • megavids
  • normalnudes
  • Leos
  • lostlight
  • All magazines
    •