Quote: less-than over natural numbers should be recursive so we can compare numbers and count them

Quotation Skeleton

Before Ernie's education [who learned numbers as a progression over an infinite set] (and the analysis of … [less-than] should be mentioned: that R must be at least recursive, … number, but it seems to me so obviously … Clearly A [a sequence whose odd numbers are the Godel numbers of valid formulas of quantification theory and whose even numbers are not], though a progression, is not … the reason is that we expect that if … of steps which is the "greater". … This ability … is connected with (both transitive and intransitive) counting, … magnitude (that is, in their order in A). …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: number as a progression for counting and 1-1 relations (22 items)