Conversation

Notices

1. Embed this notice
   Steve Canon (steve@discuss.systems)'s status on Tuesday, 14-Nov-2023 01:19:12 JST Steve Canon

   Unreasonably angry about this.

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Tuesday, 14-Nov-2023 01:19:11 JST Paul Cantrell

     in reply to

     @steve I’m missing it. What’s the irritant?

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Tuesday, 14-Nov-2023 01:47:24 JST Paul Cantrell

     in reply to

     @steve
     Ahhh, I was accepting it just because it is a statement amenable to being expressed using logical formalisms; in my mind, “logic” is this whole family of abstractions, not only the deductive process that uses them.

   • Embed this notice
     Steve Canon (steve@discuss.systems)'s status on Tuesday, 14-Nov-2023 01:47:25 JST Steve Canon

     in reply to

     • Paul Cantrell

     @inthehands there's no logical deduction, this is axiomatic

   • Embed this notice
     Steve Canon (steve@discuss.systems)'s status on Tuesday, 14-Nov-2023 01:47:25 JST Steve Canon

     in reply to

     • Paul Cantrell

     @inthehands If the clue said "if a>b and b>c, then a>c in Peano arithmetic," I'd allow it =)

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Tuesday, 14-Nov-2023 01:49:55 JST Paul Cantrell

     in reply to

     @steve What I’m unreasonably annoyed about is them passing up a perfectly good opportunity to print the word “Peano” in the NYT

   • Embed this notice
     Steve Canon (steve@discuss.systems)'s status on Tuesday, 14-Nov-2023 01:49:56 JST Steve Canon

     in reply to

     • Paul Cantrell

     @inthehands That's a perfectly reasonable normal-NYT-crossword-doer notion of "logic", hence "unreasonably".

   • Embed this notice
     Paul Cantrell (inthehands@hachyderm.io)'s status on Tuesday, 14-Nov-2023 01:50:33 JST Paul Cantrell

     in reply to

     @steve OK, see, now •that• is a reasonable cause for anger

   • Embed this notice
     Steve Canon (steve@discuss.systems)'s status on Tuesday, 14-Nov-2023 01:50:35 JST Steve Canon

     in reply to

     • Paul Cantrell

     @inthehands Me, I reflexively wrote in "AXIOM" while skimming clues, then saw "CX" and huffed and wrote "LEMMA", resulting in a time of 43 fucking seconds for a Monday mini.