今週、多くの数学者が「リーンでコンパイルすればそれが真実だとわかる」と言っているのは本当に心配です。リーンは素晴らしいですが、それは危険なほど誤りです。 ここに、リーンで1 == 0を証明する50の方法を紹介します。そのコンパイル。使うバージョンによります。 (リンクはコメント欄にあります)