/r/googology
Mark as read: Add to a list
Mark as read: Add to a list
How strong is CoC(Calculus of constructions,the language under which the Loader function is supposedly diagonalized)
Mark as read: Add to a list
Mark as read: Add to a list