User blog comment:P進大好きbot/List of common mistakes on formal logic appearing in googology/@comment-30279966-20190928143127

Are ITTM and OTM Busy Beaver functions well-defined?