>It’s as though someone created a very elaborate spreadsheet and carefully defined how the values in every cell would be related to the values in all of the other cells. However, if no one enters a definite value for at least one of these cells, then none of the cells will have values.

Does it sound to anyone else like the author would benefit tremendously from learning the Lambda Calculus? It seems to me to be a disproof of the authors contention that a 'definite value' is needed at some point.