[surement]

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