...
Show More
Overall quite readable, and the author stays on topic. Some concerns about content accuracy. Concern first arose with the p. 31 assertion there are 10 permutations for a certain number of letters in a name. There is no natural number for which the number of permutations is 10.
Perhaps more importantly, Bolzano’s conclusion that there are as many numbers in the continuous range 0 to 1 as in the continuous range 0 to 2 requires not only a one-to-one correspondence from 0 to 1 on the x-axis to 0 to 0 to 2 on the y-axis, given by y=2x on p. 61, but also the correspondence from 0 to 2 back “onto” the range 0 to 1. A relation that is both one-to-one and onto is called a bijection. No idea why it wasn’t included because it is easy to establish in this case since the function f(x)=2x has an inverse function of x/2. Hence, it is easy to see how every point in the range 0 to 2 maps back onto a point with half its value in the range 0 to 1.
Since the book is fundamentally about Cantor’s work, it was particularly disappointing to see the claim on p. 115 that because one could show, by Cantor’s diagonalization method, a number not in a given mapping between naturals and reals that this “proved” the reals were uncountable. No, it doesn’t. It only proves the given mapping is a bad one. It is necessary to prove that _all_ mappings are bad, which Cantor did using a simple proof by contradiction, with diagonalization as a lemma supporting the proof. Again, easy to include so no idea why it was excluded.
In both of these cases, one is simply reading and then one hits a point in the exposition wherein it doesn’t seem like the given explanation proves what is claimed to be proven. Not a good look for a math book. Still, I appreciated the author’s explanation on p. 150 of why there are 2 to the aleph naught real numbers in the [0, 1) continuum, based on the binary format for each possible (countably infinitely long) number.
Perhaps more importantly, Bolzano’s conclusion that there are as many numbers in the continuous range 0 to 1 as in the continuous range 0 to 2 requires not only a one-to-one correspondence from 0 to 1 on the x-axis to 0 to 0 to 2 on the y-axis, given by y=2x on p. 61, but also the correspondence from 0 to 2 back “onto” the range 0 to 1. A relation that is both one-to-one and onto is called a bijection. No idea why it wasn’t included because it is easy to establish in this case since the function f(x)=2x has an inverse function of x/2. Hence, it is easy to see how every point in the range 0 to 2 maps back onto a point with half its value in the range 0 to 1.
Since the book is fundamentally about Cantor’s work, it was particularly disappointing to see the claim on p. 115 that because one could show, by Cantor’s diagonalization method, a number not in a given mapping between naturals and reals that this “proved” the reals were uncountable. No, it doesn’t. It only proves the given mapping is a bad one. It is necessary to prove that _all_ mappings are bad, which Cantor did using a simple proof by contradiction, with diagonalization as a lemma supporting the proof. Again, easy to include so no idea why it was excluded.
In both of these cases, one is simply reading and then one hits a point in the exposition wherein it doesn’t seem like the given explanation proves what is claimed to be proven. Not a good look for a math book. Still, I appreciated the author’s explanation on p. 150 of why there are 2 to the aleph naught real numbers in the [0, 1) continuum, based on the binary format for each possible (countably infinitely long) number.