User blog comment:GdawgGamerTV/Heres my attempt to beat Utter Oblivion/@comment-24920136-20180826015540/@comment-35392788-20180827174023

Funny thing you mention them, because neither Bowers nor Rayo are professional mathematicians. Bowers is an amateur mathematician, and Rayo is a professor of philosophy and linguistics iirc.