FOM: precursors of Cantor

Martin Davis martin at
Thu Jun 13 18:07:58 EDT 2002

Leibniz was among those who observed the one-one correspondence between the 
natural numbers and one of its infinite subsets - in his case, the even 
numbers. He concluded that it makes no sense to speak of the number of 
natural numbers. See my "The Universal Computer" aka "Engines of Logic" p. 65


                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at
                          (Add 1 and get 0)

More information about the FOM mailing list