How multiplication is really defined in Peano arithmetic
devlinsangle.blogspot.com
A familiar joke in mathematical logic (the field I worked in for the first twenty years of my career) is the following hypothetical entry in...
    • Womble@lemmy.worldEnglish
      5·
      2 months ago

      This is a comm for automatically reposting everything from HN. There’s not much point asking a bot why it did what it was programmed to.