The letter

One letter a week, in your inbox.

The signal of the week, what shipped, what to try, 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 #01|論破したら正しいの?

September 14
中学生でもわかる Lean 4 #01|論破したら正しいの?

友達との言い合いで、相手が黙った。 「よし、勝った。つまり自分が正しい」 ……本当にそうでしょうか。 前回の #00「『証明できた』って、どこまで本当?」では、最初に一つだけ問いを置きました。 何を確かめたの? 今回は、その問いを「論破」に当ててみます。 相手が黙ったら、正しい? たとえば、こんな会話があったとします。 Aさん「この勉強法が絶対に一番いい」 Bさん「でも、人によって合う方法は違うんじゃない?」 Aさん「有名な先生もそう言

Read at Zenn (AI) ↗

Related

More from Zenn (AI) on Accept All.