How strong is CoC(Calculus of constructions,the language under which the Loader function is supposedly diagonalized)

by /u/Least_Cry_2504 in /r/googology

Upvotes: 3

Favorite this post:

Mark as read:

Your rating:

Add this post to a custom list