Oh, hello there /sci/.

I just saw a 33.59 min long video about the Gurdles incompleteness theorem, which practically makes me an expert. Or actually, I'm 21 minutes in, but I know the basic gist of it. Care to discuss such an interesting are with a math connoisseur such as myself?

Recursion, am i right, lads?