8 ms·Interesting; good to know. I don't see either Lobochevsky or Goedel in the lists.by thwayunion 4y agoInteresting; good to know. I don't see either Lobochevsky or Goedel in the lists.