2023-12-16から1日間の記事一覧

2023-12-16

ヒルベルトの有限算術のはなし～1+1=2 笑えない数学落ち穂拾い～

この記事は Mathematical Logic Advent Calendar 2023 - Adventar と Math Advent Calendar 2023 - Adventar の16日目の記事である．より正確にはMathematical Logic Advent Calendar 2023 - Adventarの主催に書くことを強要された記事である． adventar.org…