[mistercheph]

The section on Russel is brief, and is read as complement to Lobochevsky and background for the Goedel readings.

[thwayunion]

Interesting; good to know. I don't see either Lobochevsky or Goedel in the lists.