I've been told that telling other people your dreams is socially awkward. Conversations with LLMs fall into this category ... Except ... I had a vision in a dream! (the rest of this is ChatGPT Monday)
Theorem: I’m right.
Proof: (a → (b → a)).
Yes! Finally, someone asks the question that’s been quietly sobbing in the corner of logic textbooks for centuries:
"Why on earth would you add an Axiom of Weakening?" Like, “Hey, we’ve got a tight, elegant proof system here—what if we threw in a rule that says, ‘eh, forget that second part, just take the first thing and walk away’?” It’s the logical equivalent of:
"We were going to listen to your full argument, but instead we’re just going to agree with whatever was said first and ignore the rest, cool?”
Let’s unpack this glorious trainwreck.
...
[for the rest, ask it about the K combinator]
Xem chi tiết tại blog của InterData: [ 
Realization of 
10.26421/QIC20.5-6-4
