Questions for GEB Unit XIII

Mårten Stenius URL: http://www.nada.kth.se/~d90-mst/courses/geb/q13.html

Page and figure references are from the English Penguin Books edition, unless otherwise noted.

Dialogue XIII: Aria with Diverse Variations

Can you find any post-ending ending of the dialogue?

Chapter XIII: BlooP and FlooP and GlooP

In the BlooP language, is a "LOOP AT MOST N TIMES:" statement checked only at the begining, or at the start of every loop? In the latter case, it would be possible to write never-ending loops... (Yes, I'm a C programmer :-)

Note: (p. 404 and p. 422) At the end of the Dialogue, Cantor is "not on the list", though he was a Great Mathematician. But if you use the same method as in Cantor's proof...