- Article
Computability, Notation, and de re Knowledge of Numbers
- Stewart Shapiro,
- Eric Snyder and
- Richard Samuels
Saul Kripke once noted that there is a tight connection between computation and de re knowledge of whatever the computation acts upon. For example, the Euclidean algorithm can produce knowledge of which number is the greatest common divisor of two nu...