The letter

One letter a week, starting soon.

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 #24|論破から検証へ

October 16

二人で、こんな言い合いになったとします。 Aさん: どんな自然数 n でも、n + 1 = n だ。 Bさん: そんなわけない。自分の間違いを認めろ。 声の大きさでは決めません。 紙に一行だけ書いてみます。 n = 0 0 + 1 = 0 1 = 0 ここで分かったのは、Aさんが「負けた」ことではありません。

Read at Zenn (AI) ↗

More from Zenn (AI) on Accept All

More from Zenn (AI) on Accept All.