251
Chew (2025-09-02) (midwest.social)
submitted 1 month ago by m_f@discuss.online to c/smbc@midwest.social

http://www.smbc-comics.com/comic/chew

Alt textThere was a fairly intricate debate on an early version of this posted to bluesky, the contention being over whether OR was sufficient. I think the ORs have it, but XOR is a funnier word, so there.

Bonus panelBonus panel

you are viewing a single comment's thread
view the rest of the comments
[-] fushuan 1 points 1 month ago

But even logically it is an and. He came to do both, the logic statement won't comply until he has done both, nowhere there is he saying that he is going to do both at the same time, only that his intention, by the end, is to have done both.

If he fulfills his intentions, he will have chewed bubblegum and kicked ass by the time he leaves, but that's again up for interpretation because he didn't specify if he's capable for either or any kind of timeframe.

...I did take a course on what's basically advanced logic in 4th year of CS. I believe we proved up until exponentials via logic proofs, based on some basic axioms like 1+1 and number ordering.

It's fun to logically prove that 2 + 3 = 5 from the basic symbols 1 and +.

this post was submitted on 03 Sep 2025
251 points (100.0% liked)

Saturday Morning Breakfast Cereal

914 readers
39 users here now

Posts and discussion about the webcomic Saturday Morning Breakfast Cereal by Hugo Award-winning author Zach Weinersmith (and related works)

https://www.smbc-comics.com/

https://www.patreon.com/ZachWeinersmith

@ZachWeinersmith@mastodon.social

New comics posted whenever they get posted on the site, and old comics posted every day until we catch up in a decade or so

founded 11 months ago
MODERATORS