Also the author of Meta Math! The Quest for Omega [0], where this topic is discussed at length. [0] https://arxiv.org/abs/math/0404335 https://arxiv.org/abs/ma

Also the author of Meta Math! The Quest for Omega [0], where this topic is discussed at length. [0] https://arxiv.org/abs/math/0404335 https://arxiv.org/abs/math/0404335