The letter

One letter a week, in your inbox.

The week's signal, what shipped, what is worth running tonight, and the editor's note. No tracking, no ads, nothing else.

We keep your address, your language and the date you joined, nothing else. Every letter has a one-click unsubscribe link that deletes the record.

← Accept All   Archive
Zenn (AI)Japan

中学生でもわかる Lean 4 #03|反例――「絶対」を一つの例で壊す

September 16

「100回試して、100回うまくいった。だから、いつでも正しい」 本当にそうでしょうか。 前回の #02「君はもう証明をやっている」 の最後で、こんな問いを置きました。 100個、1000個、1万個と試して全部うまくいったら、それは「証明した」と言ってよいの? 今回は、その問いをたった一つの数字で壊してみます。 まず、だまされてみる こんな主張を考えます。 すべての奇数は素数である。

Read at Zenn (AI) ↗

More from Zenn (AI) on Accept All

More from Zenn (AI) on Accept All.