claim
Alan Turing formalized the concept of 'platform independence' or 'multiple realizability,' which posits that the same function can be computed on an infinite variety of different computational substrates or platforms.

Authors

Sources

Referenced by nodes (1)