Ripheus23

OK haha before I forget, even though this is in the YouTube version of the essay:

The liar loop can be used in a supernifty proof of the exchange theorem (that, "This sentence is false," and, "This sentence is true," are interchangeable):

1. A: B is true ("The next sentence is true")
2. B: A is false ("The previous sentence is false")
   1. "B is true," is true if and only if A is false.
   2. "A is false," is true if and only if B is false.
   3. But "if and only if" = identity.
3. Therefore, "A: A is false," and, "B: B is true."

In other words, the liar loop "turns into" the conjunction of the liar and honest sentences.