a thoughtful web.
Good ideas and conversation. No ads, no tracking.   Login or Take a Tour!
comment by user-inactivated
user-inactivated  ·  4008 days ago  ·  link  ·    ·  parent  ·  post: Show me a new idea

If there's an equivalent to earworms in the realm of ideas, I've been stuck for a little while on Fitch's paradox of knowability.

Fitch shows that if all truths are knowable (a sensible premise) then it must be that all truths are known (an unreasonable conclusion). I'm happy to transcribe Fitch's elegant, pithy proof in plain English if there's any interest.