このサイトは学部では早稲田で物理を, 修士では東大で数学を専攻し, 今も非アカデミックの立場で数学や物理と向き合っている一市民の奮闘の記録です. 運営者情報および運営理念についてはこちらをご覧ください.

理系のための総合語学・リベラルアーツの視点から数学・物理・プログラミング・語学 (特に英語) の情報を発信しています. コンテンツアーカイブに見やすくまとめているのでぜひご覧ください.

かもさんの指摘があったのでメモ.

どの分野にも非専門家に広く信じられている間違いがあります.
リストを作っておくと啓蒙書を選ぶ時に便利です.

数理論理学で非専門家に広く信じられている間違いのリストの作りかけです.
http://taurus.ics.nara-wu.ac.jp/staff/kamo/shohyo/logic-b.html
まだ三つしかありません.
不完全性定理と数学的帰納法の項目を追加しなくては.

間違いを引用しておこう.
正確な記述は上記ページを直接参照してほしい.

よくある間違い1 「一階述語論理は弱いので完全だが自然数論ぐらい強くなると不完全になる」

よくある間違い2 「正則性公理（基礎の公理）はパラドックスを排除するために導入された」

よくある間違い3 「直観主義論理では、ラッセルのパラドックスは生じない」