Church's Thesis is an unprovable philosophical claim about intuitive computability, not a theorem th...
This proposition has not been edited since the history system was added.