benardete's book paradox
Moderators: Darkchilde, Calilasseia
andrewk wrote:Just reading over the thread I noticed there's a bit of cross-purposes occurring. The OP considered a book in which the page widths start at 0.5 and form a decreasing geometric sequence, totalling 1. That book has a first page but no last page.
andrewk wrote:However, in post #4 where Graham proposes the cutting machine, he does not specify the widths. I get the impression from your later posts Graham that you have inadvertently switched away from the specification that page widths form a geometric sequence. That explains why you are now imagining that the book is symmetrical and if it has a first page it must have a last one. The book in the OP, and described in the previous paragraph is not symmetrical. Most of the suggestions you make in post #6 are based on an assumption that the book is symmetrical.
To make a symmetrical book you would need a different cutting scheme that delivers an infinite number of cuts within the range of x in (0,1). Possible schemes are to make cuts at:
- all rational values of x
- all algebraic values of x
Under these schemes there would be no pages at all, as none of them could have non-zero width (or put differently, we cannot identify two blades that make cuts between which there exists an undivided page).
[/quote][/quote]andrewk wrote:A symmetrical cutting scheme that would create an infinite number of pages, each of nonzero width, would be to make cuts at x values of:
* 0.5^(-n) for n = 2 to infinity
* 1 - 0.5^(-n) for n = 2 to infinity
This book is symmetrical. It has two middle pages of width 0.25, encased by pages of width 0.125 etc...
It has no first or last page. But it has right and left edges that are not pages.
If you turn back a bunch of pages at either the front or the back you will have turned an infinite number of pages. However you are able to grab hold of a finite number of pages in the middle of the book.

andrewk wrote:This problem is very entertaining.
Thinking about it some more, the restrictions placed on the types of books that can be created either by the inability to traverse an infinity by successive addition of pages, or by using an infinite-bladed cutting machine to cut into a block, seem unnecessary. What about the following:
We have an infinite-pronged 'seeding machine' that consists of prongs numbered 1 to infinity, arranged in a line, with the distance between the n-th and (n+1)-th prong being 3 * 2^-(n+2). The region z<0 is the ground, made of infinitely divisible fertile 'soil'. The seeding machine is lined up along the positive x axis and inserted into the ground so that the prongs go in and insert seeds at x=1/4, 5/8, 13/16, 29/32 .... Then it is withdrawn so the seeds can grow.
andrewk wrote:Each seed is different. The n-th seed causes a page-like growth (rectangular-prismal in shape) to arise out of the ground, that has y-dimension = z-dimension = 1 and x-dimension = 2^(-n) and has, on the faces pointing towards the positive and negative x directions, a big black number n on a white background.
andrewk wrote:So what do we see when we look at this book from the point (10, 0.5,0.5)? There is nothing between us and the numbered pages, so we must see something, mustn't we?
andrewk wrote:So then, what do we see from the vantage point?
We see nothing, which means it looks black - an absence of any light. That is because, for any positive n, no light from page n reaches our eyes. Why is that? Because page (n+1) is in the way and, being completely opaque, blocks any light reaching our eyes from page n.
andrewk wrote:In the latter case, what we would see would be the number of the smallest page that was able to withstand the photonic onslaught.
The difference between this scenario and the one cut from a block is that in this scenario there is no matter ("page substance") at any point with x coordinate = 1.GrahamH wrote:Haven't you simply substituted prong + seed for the original page? There is no last prong nor a last seed from which a last page could grow.andrewk wrote:We have an infinite-pronged 'seeding machine' that consists of prongs numbered 1 to infinity, arranged in a line, with the distance between the n-th and (n+1)-th prong being 3 * 2^-(n+2). The region z<0 is the ground, made of infinitely divisible fertile 'soil'. The seeding machine is lined up along the positive x axis and inserted into the ground so that the prongs go in and insert seeds at x=1/4, 5/8, 13/16, 29/32 .... Then it is withdrawn so the seeds can grow.
That is correct.GrahamH wrote:There is no last prong nor a last seed from which a last page could grow.
GrahamH wrote:The ever-diminishing separation is the issue, not the number of "pages". A prong, a seed, or a page, to be a distinct object, must have non-zero separation from other objects, but the series given diminishes the separation to nothing, so no thing is the result.
Why would you think that? That implies that there is “page substance” at the point (x,y,z)=(1,0.5,0.5), which is the case with the cut block, but not the case with the pages grown from seeds, as there is no seed at x=1.GrahamH wrote:I think you have exactly the same situation at the far right edge.
They are not uncountable in the sense that mathematicians understand that word, which is that they cannot be put into one-to-one correspondence with the positive integers. These pages can be put into such correspondence by simplying mapping each page to the number of the prong that seeded it, so they are countable. Infinite does not imply uncountable.GrahamH wrote:The pages facing you are uncountable, so they cannot be numbered. Whatever you might see it can't be a number.
There is no right edge, any more than the set {(x,y,z):x,y,z are all in (0,1)} has a right edge (interpreting ‘right’ to mean the positive x direction). There is no “page substance” at any point with an x-coordinate of 1. Hence there is no way for light emitted from our vantage point at (10,0.5,0.5) to be reflected back to us off any page, as light being reflected in the positive x ("right") direction from any page will be blocked from reaching us by the page to its immediate right.GrahamH wrote:But, the light source can be at your observation point, shining towards the finite right edge extent of the set of pages. There are then no pages in the way, and the light cannot penetrate into the "Book".andrewk wrote:So then, what do we see from the vantage point?
We see nothing, which means it looks black - an absence of any light. That is because, for any positive n, no light from page n reaches our eyes. Why is that? Because page (n+1) is in the way and, being completely opaque, blocks any light reaching our eyes from page n.

andrewk wrote:The difference between this scenario and the one cut from a block is that in this scenario there is no matter ("page substance") at any point with x coordinate = 1.GrahamH wrote:Haven't you simply substituted prong + seed for the original page? There is no last prong nor a last seed from which a last page could grow.andrewk wrote:We have an infinite-pronged 'seeding machine' that consists of prongs numbered 1 to infinity, arranged in a line, with the distance between the n-th and (n+1)-th prong being 3 * 2^-(n+2). The region z<0 is the ground, made of infinitely divisible fertile 'soil'. The seeding machine is lined up along the positive x axis and inserted into the ground so that the prongs go in and insert seeds at x=1/4, 5/8, 13/16, 29/32 .... Then it is withdrawn so the seeds can grow.
andrewk wrote:That is correct.GrahamH wrote:There is no last prong nor a last seed from which a last page could grow.GrahamH wrote:The ever-diminishing separation is the issue, not the number of "pages". A prong, a seed, or a page, to be a distinct object, must have non-zero separation from other objects, but the series given diminishes the separation to nothing, so no thing is the result.
The formulation above has no separation between consecutive pages, but it can be readily adapted to become one that has separations between pages, by making the width of the n-th page 2^-(n+1) rather than 2^-n. Then there will be a separation of 1/4 between pages 1 and 2, 1/8 between pages 2 and 3 and 2^-(n+1) between pages n and n+1. No page touches any other. This set of pages will look the same from the right as the one that has no page separations.
andrewk wrote:Why would you think that? That implies that there is “page substance” at the point (x,y,z)=(1,0.5,0.5), which is the case with the cut block, but not the case with the pages grown from seeds, as there is no seed at x=1.GrahamH wrote:I think you have exactly the same situation at the far right edge.
andrewk wrote:They are not uncountable in the sense that mathematicians understand that word, which is that they cannot be put into one-to-one correspondence with the positive integers. These pages can be put into such correspondence by simplying mapping each page to the number of the prong that seeded it, so they are countable. Infinite does not imply uncountable.GrahamH wrote:The pages facing you are uncountable, so they cannot be numbered. Whatever you might see it can't be a number.
andrewk wrote:There is no right edge, any more than the set {(x,y,z):x,y,z are all in (0,1)} has a right edge (interpreting ‘right’ to mean the positive x direction). There is no “page substance” at any point with an x-coordinate of 1. Hence there is no way for light emitted from our vantage point at (10,0.5,0.5) to be reflected back to us off any page, as light being reflected in the positive x ("right") direction from any page will be blocked from reaching us by the page to its immediate right.GrahamH wrote:But, the light source can be at your observation point, shining towards the finite right edge extent of the set of pages. There are then no pages in the way, and the light cannot penetrate into the "Book".andrewk wrote:So then, what do we see from the vantage point?
We see nothing, which means it looks black - an absence of any light. That is because, for any positive n, no light from page n reaches our eyes. Why is that? Because page (n+1) is in the way and, being completely opaque, blocks any light reaching our eyes from page n.
Users viewing this topic: No registered users and 1 guest