floss.social is one of the many independent Mastodon servers you can use to participate in the fediverse.
For people who care about, support, and build Free, Libre, and Open Source Software (FLOSS).

Administered by:

Server stats:

691
active users

alcinnz

One of Alan Turing's most famous discoveries is "Turing Completeness", which speaks to how broadly applicable computers can be.

The argument ultimately relys on intuition to argue his hypothetical machine can infact define "every possible algorithm", but the independant discovery by Haskell Curry strengthened the case.

It was Curry shortly after who coined the term "Turing Machine", as both men wrote addendums to their papers arguing that the others' ideas were equivalent.

1/2

The basic theory as that as long as a computer can do these four operations it can compute just about anything:

1. Remember data for later reuse
2. Do different things for different data
3. Repeat instructions
4. Communicate to, or ideally with, people, otherwise what's the point?

Anything else is a convenience.

And any language/machine that provides these four operations can simulate any other machine which also satisfies them.

2/2

Clarification: For point one, we actually need the ability to store arbitrary ammounts of data.

The Turing Machine used an infinitely long tape for memory, which is why we still consider hypothetical.