Why would that be impossible? Most programming languages are still Turing complete, so you can build whatever you want in them.
Why would that be impossible? Most programming languages are still Turing complete, so you can build whatever you want in them.
You said this was an efficiency issue, and Church-Turing says nothing about efficiency.
"Beware of the Turing tar-pit in which everything is possible but nothing of interest is easy."
- Alan Perlis, Epigrams on Programming