FOM: precursors of Cantor

Martin Davis martin at eipye.com
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


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






More information about the FOM mailing list