22/12/25 08:20:42.52 pxk57rss.net
∧と∨を間違えるような低レベルの人間にとっては機械証明は有用だがそんなレベルで議論する数学者はいない
22/12/25 08:20:42.52 pxk57rss.net
∧と∨を間違えるような低レベルの人間にとっては機械証明は有用だがそんなレベルで議論する数学者はいない
22/12/25 08:20:42.52 pxk57rss.net
∧と∨を間違えるような低レベルの人間にとっては機械証明は有用だがそんなレベルで議論する数学者はいない