Those hungry for followups should see this HN discussion (note the comments by Eliezer) and this one on MathOverflow. Also there’s a related problem about specifying big computable numbers, discussed on HN here. Both problems seem to be related to defining large countable ordinals, though a detailed discussion of the relationship is too large for this margin to contain.
Those hungry for followups should see this HN discussion (note the comments by Eliezer) and this one on MathOverflow. Also there’s a related problem about specifying big computable numbers, discussed on HN here. Both problems seem to be related to defining large countable ordinals, though a detailed discussion of the relationship is too large for this margin to contain.