Comment on Did Turing prove the undecidability of the halting problem?parentComments−anon2912yType theory is a... type of mathematics lol−auggierose2yI'll admit, that's a good one.
Comments
Type theory is a... type of mathematics lol
I'll admit, that's a good one.