Title: Meta math! : the quest for omega
Subjects: Machine theory