FOM: precursors of Cantor

[Martin Davis]

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


                           Martin Davis
                    Visiting Scholar UC Berkeley
                      Professor Emeritus, NYU
                          martin at eipye.com
                          (Add 1 and get 0)
                        http://www.eipye.com