Church-Turing thesis is unprovable foundational assumption, not theorem, so complexity boundaries re...
This proposition has not been edited since the history system was added.