"You can't reduce intelligence to a single number." "So, you don't believe in principal component analysis?" "Algebra is pseudoscience!"
@michelteivel @joelgrus You mean because the diagonal lemma only holds in some cases, right?
-
-
@ProofOfLogic No, the original Gödel encoding function is defined only on some formal languages. :-)@joelgrus -
@michelteivel@ProofOfLogic@joelgrus But they're the formal languages of any interest-- the others are of rather limited application.
End of conversation
New conversation -
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.