Pinned post
Jeff Olmo
Verified account This account is verified. Learn more@JeffOlmo
MATS 10.0
441 Following 127 Followers 314 Posts
Latest posts 5
Don't fall for platonist propaganda.
Godelian Psyop: "There are true but unprovable statements."
Fact Checked by Nominalist Patriots: "In any consistent axiomatic system A there’s a sentence G undecidable in A but provable in any stronger system B ⊇ A that proves Con(A)."
Godelian Psyop: "There are true but unprovable statements."
Fact Checked by Nominalist Patriots: "In any consistent axiomatic system A there’s a sentence G undecidable in A but provable in any stronger system B ⊇ A that proves Con(A)."