Digital simulation of analog computation and Church’s thesis (1989)

by L A Rubel
Venue:The Journal of Symbolic Logic