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·
    8 days 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.