[ prog / sol / mona ]

prog


Lambda Machine

3 2020-03-09 21:44

Nitpick: Modern Hardware isn't "based" on a Turing machine. Turing machines cannot reprogram themselves, since their program isn't in memory.

Otherwise I consider it unlikely, outside of academic interest, because besides having a backset over 70 years in terms of technical development, the church-turing thesis proves that there is nothing to gain, as least from a computational perspective. It's just a lot easer to build hardware that executes statements, than that evaluates expressions, because the former is simpler in implementation, while the latter is simpler in model, as it hides complexity in it's realization.

12


VIP:

do not edit these