If you think you're writing actual mathematics, let me assure you that you are not.

Just to be clear, this last, F ⊢[γ ⟺ ¬Pr_F(⌜γ⌝)], is the Fixed-Point Equivalence (Lemma) (FPE). This derivation cannot be argued with, since it comes from a tautology, which one can derive from the empty set, i. e. it is always true regardless of the truth-values of i…
Kurt Goedel’s Magnificent Hoax
90
10
Wes Hansen
Tom Ritchford
·Follow
Apr 9, 2023
--
If you think you're writing actual mathematics, let me assure you that you are not.
--
--
Written by Tom Ritchford1.5K Followers
·392 Following
uk->at->ca->us->nl
Responses (1)
Help
Status
About
Careers
Press
Blog
Privacy
Terms
Text to speech
Teams