前スレ 背理法は不要なのか
https://rio2016.5ch.io/test/read.cgi/math/1781354251/
<テンプレ>
前スレの『背理法被害者の会』を受けて
中高一貫校生のために 背理法を 徹底的に議論するスレです
前スレ 41より
下記の 理科大教授 安部直人氏
”素因数分解を習った中学生なら誰でもわかる3行の直接証明:
「自然数 a,b につき、
aa と 2bb の素因数の個数は偶数と奇数
で異なるから aa≠2bb、よって √2≠a/b。」”
と。彼はこれが、いいっぺという
まあ、これへの批判としては ”aa と 2bb の素因数の個数は偶数と奇数”が、天下りすぎなのと
さらに 下記「結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから、
途中に更に多くの誤った主張が並びます」もヘン
下記の仮説思考という 思考テクニックがある
現実とは別に「もし こうだったら?」と考えることは、人の常! それを否定するのは如何か・・
https://biz.moneyforward.com/payroll/basic/69504/
マネーフォワード
更新日 : 2026年3月31日
仮説思考とは?プロセスや具体例、トレーニング方法について解説
https://abel.a.la9.jp/
東京理科大学理学部第一部数学科 教授 安部直人
https://abel.a.la9.jp/sub11.html
東京理科大学 数学科 教授 安部直人
新設 (2013)07月06日
脱背理法と大学入試問題
”「私自身が、背理法のおかげで頭が腐った被害者であると実感しています。十数年前から現在もリハビリ中です。」(背理法被害者の会)”
十数年前から脱背理法教育
例えば、本HP01頁(説明も)にあるような
素因数分解を習った中学生なら誰でもわかる3行の直接証明:
「自然数 a,b につき、
aa と 2bb の素因数の個数は偶数と奇数
で異なるから aa≠2bb、よって √2≠a/b。」
(不要かもしれませんが少し説明を加えます。
a と b を素数の積で表したとき、
その素数(素因数)の個数をそれぞれ s と t とすれば、
aa と 2bb の素因数の個数は s+s=2s と 1+t+t=2t+1 です。)
これを、
高校数学A教科書にある、準備を込めて1頁近く要する背理法証明
と比較してみてください。この証明が短いということも利点ですが、
証明途中に述べられていることは正しく、
説明さえ詳しければ必ず理解納得できます。
一方、背理法の証明の中では、
結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから、
途中に更に多くの誤った主張が並びます。
誤った主張は誰も(天才でさえ)理解納得はできません。
例えば、1+1=3 を理解納得せよといわれている困ります。
一方、数学教育の現状では
(*) 「√2 は無理数であることの証明は、
背理法を使う以外の方法はない」
という誤った(上の証明が反例)認識を持っている
人たち(以下、仮に「背理法依存者」といいます)が多数います。
これは、全世界的のようですし、数学者の中にも多数います。
略
このような誤った認識に輪をかけるのが、
「大学の数学教員が、自分の書いた数学書の中で (*) を公言している。」
ことです
背理法は不要なのか2
1132人目の素数さん
2026/07/20(月) 17:27:08.36ID:a0+1odGL2026/07/20(月) 20:54:33.75ID:uqomNNcQ
クソスレ立てんな
3132人目の素数さん
2026/07/20(月) 22:03:07.16ID:a0+1odGL 前スレより
https://rio2016.5ch.io/test/read.cgi/math/1781354251/524-
(引用開始)
>>41 安部直人氏『背理法の証明の中では
結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから
途中に更に多くの誤った主張が並びます
誤った主張は誰も(天才でさえ)理解納得はできません』
は、ムチャクチャw
(引用終り)
安部直人氏には、"思考実験"という言葉を ささげよう
物理や哲学では、頻繁に使われる思考のテクニックだ
下記を見ると 数学でもあるらしい
例えば ”ゼノンのパラドックス (無限小、極限)”は、古代ギリシャだ
”もし、こうだったら?”という思考を否定するのは、ナンセンス
背理法も、もし√2が有理数だったら? とういう思考実験の一種と解せられる
https://ja.wikipedia.org/wiki/%E6%80%9D%E8%80%83%E5%AE%9F%E9%A8%93
思考実験 (英: Thought_experiment(英語版)、独: Gedankenexperiment)とは、頭の中で想像するのみの実験[1]。科学の基礎原理に反しない限りで、極度に単純・理想化された前提(例えば摩擦のない運動、収差のないレンズなど)で行われるという想定上の実験
概要
思考実験という言葉自体は、エルンスト・マッハによって初めて用いられた[3]。
思考実験の例としては、古代ギリシャの「アキレスと亀」やガリレオといった古典から、サンデル講義で有名になった「トロッコ問題」、映画『マトリックス』のモチーフとなった「水槽の中の脳」、アインシュタインと量子力学の闘いといった先端科学までわたる[4]。有名な例としては、アインシュタインが光の速度と慣性系の関係についての洞察から特殊相対性理論に達した考察が挙げられる。
とりわけ科学史上、特殊な状況に理論を当てはめることによる帰結と、実験を必要としない日常的経験とを比較することによって、理論のより深い洞察に達してきた考察や、元の理論を端的に反駁し、新たな理論の必要性を示すとともに、それを発展させるのに利用されてきた考察を指すことが多い。
思考実験一覧
数学
ピンポン球問題 (無限)(Ping-pong ball conundrum)
モンティ・ヘル問題 (無限)
モンティ・ホール問題 (確率論、情報)
無限の猿定理 (無限、確率論)
ゼノンのパラドックス (無限小、極限)
ガブリエルのラッパ
物理学
物理学の分野で使われる思考実験には、以下のようなものがある。
ガリレオの船 (力学、1632年)
ニュートンのバケツ (力学)(Bucket argument)
ラプラスの悪魔 (古典力学、決定論)
カルノーサイクル (熱力学)
マクスウェルの悪魔 (熱力学、1871年)
ブラウン・ラチェット (熱力学)
EPRパラドックス (量子力学)
シュレーディンガーの猫 (量子力学)
哲学
哲学の分野では頻繁に思考実験が使われる。以下のようなものがある。
世界五分前仮説(認識論, 懐疑主義)
ヘンペルのカラス (科学哲学、論理学)
双子の地球 (言語哲学)(Twin Earth thought experiment)
シミュレーテッドリアリティ(計算機科学, 認知科学)
水槽の中の脳 (認識論, 心の哲学)
中国脳 (物理主義, 心の哲学)
チューリング・テスト (心の哲学, 人工知能, 計算機科学)
https://rio2016.5ch.io/test/read.cgi/math/1781354251/524-
(引用開始)
>>41 安部直人氏『背理法の証明の中では
結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから
途中に更に多くの誤った主張が並びます
誤った主張は誰も(天才でさえ)理解納得はできません』
は、ムチャクチャw
(引用終り)
安部直人氏には、"思考実験"という言葉を ささげよう
物理や哲学では、頻繁に使われる思考のテクニックだ
下記を見ると 数学でもあるらしい
例えば ”ゼノンのパラドックス (無限小、極限)”は、古代ギリシャだ
”もし、こうだったら?”という思考を否定するのは、ナンセンス
背理法も、もし√2が有理数だったら? とういう思考実験の一種と解せられる
https://ja.wikipedia.org/wiki/%E6%80%9D%E8%80%83%E5%AE%9F%E9%A8%93
思考実験 (英: Thought_experiment(英語版)、独: Gedankenexperiment)とは、頭の中で想像するのみの実験[1]。科学の基礎原理に反しない限りで、極度に単純・理想化された前提(例えば摩擦のない運動、収差のないレンズなど)で行われるという想定上の実験
概要
思考実験という言葉自体は、エルンスト・マッハによって初めて用いられた[3]。
思考実験の例としては、古代ギリシャの「アキレスと亀」やガリレオといった古典から、サンデル講義で有名になった「トロッコ問題」、映画『マトリックス』のモチーフとなった「水槽の中の脳」、アインシュタインと量子力学の闘いといった先端科学までわたる[4]。有名な例としては、アインシュタインが光の速度と慣性系の関係についての洞察から特殊相対性理論に達した考察が挙げられる。
とりわけ科学史上、特殊な状況に理論を当てはめることによる帰結と、実験を必要としない日常的経験とを比較することによって、理論のより深い洞察に達してきた考察や、元の理論を端的に反駁し、新たな理論の必要性を示すとともに、それを発展させるのに利用されてきた考察を指すことが多い。
思考実験一覧
数学
ピンポン球問題 (無限)(Ping-pong ball conundrum)
モンティ・ヘル問題 (無限)
モンティ・ホール問題 (確率論、情報)
無限の猿定理 (無限、確率論)
ゼノンのパラドックス (無限小、極限)
ガブリエルのラッパ
物理学
物理学の分野で使われる思考実験には、以下のようなものがある。
ガリレオの船 (力学、1632年)
ニュートンのバケツ (力学)(Bucket argument)
ラプラスの悪魔 (古典力学、決定論)
カルノーサイクル (熱力学)
マクスウェルの悪魔 (熱力学、1871年)
ブラウン・ラチェット (熱力学)
EPRパラドックス (量子力学)
シュレーディンガーの猫 (量子力学)
哲学
哲学の分野では頻繁に思考実験が使われる。以下のようなものがある。
世界五分前仮説(認識論, 懐疑主義)
ヘンペルのカラス (科学哲学、論理学)
双子の地球 (言語哲学)(Twin Earth thought experiment)
シミュレーテッドリアリティ(計算機科学, 認知科学)
水槽の中の脳 (認識論, 心の哲学)
中国脳 (物理主義, 心の哲学)
チューリング・テスト (心の哲学, 人工知能, 計算機科学)
2026/07/20(月) 22:20:15.39ID:uqomNNcQ
Q.まったく価値のない持論を何度も繰り返すのは病気ですか?
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
A.何度も同じ持論を繰り返されると、聞く方も疲れてしまい、「何か病気なのだろうか」と疑問に思うのは当然のことです。結論から言うと、単に本人の性格やコミュニケーションの癖である場合が多いですが、背景に脳の病気や精神疾患が隠れている可能性もあります。
5132人目の素数さん
2026/07/20(月) 22:22:43.33ID:a0+1odGL >>3 追加
(引用開始)
>>41 安部直人氏『背理法の証明の中では
結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから
途中に更に多くの誤った主張が並びます
誤った主張は誰も(天才でさえ)理解納得はできません』
は、ムチャクチャw
(引用終り)
<追加>
・"思考実験">>3、仮説思考>>1
あと、ブレスト(ブレインストーミング)
・人の思考というものは、かように自由であるべきであって
安部直人氏のような 結論を先取りして
”結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから”という 視野狭窄・狭量な考えでは
革新的なアイデアは生まれない
(参考)
https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%AC%E3%82%A4%E3%83%B3%E3%82%B9%E3%83%88%E3%83%BC%E3%83%9F%E3%83%B3%E3%82%B0
ブレインストーミングの4原則
・判断・結論を出さない(批判厳禁)
自由なアイデア抽出を制限するような、批判を含む判断・結論は慎む。判断・結論は、ブレインストーミングの次の段階にゆずる
・粗野な考えを歓迎する(自由奔放)
誰もが思いつきそうなアイデアよりも、奇抜な考え方やユニークで斬新なアイデアを重視する。新規性のある発明はたいてい最初は笑いものにされる事が多く、そういった提案こそを重視すること。
・量を重視する(質より量)
様々な角度から、多くのアイデアを出す。一般的な考え方・アイデアはもちろん、一般的でなく新規性のある考え方・アイデアまであらゆる提案を歓迎する。
・アイディアを結合し発展させる(結合改善)
別々のアイデアをくっつけたり一部を変化させたりすることで、新たなアイデアを生み出していく。他人の意見に便乗することが推奨される。
脚注
1. 川喜田二郎『発想法 : 創造性開発のために』中央公論社〈中公新書〉、1967年
(引用開始)
>>41 安部直人氏『背理法の証明の中では
結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから
途中に更に多くの誤った主張が並びます
誤った主張は誰も(天才でさえ)理解納得はできません』
は、ムチャクチャw
(引用終り)
<追加>
・"思考実験">>3、仮説思考>>1
あと、ブレスト(ブレインストーミング)
・人の思考というものは、かように自由であるべきであって
安部直人氏のような 結論を先取りして
”結果的に正しくない仮定から論理的に正しくない矛盾を導くわけですから”という 視野狭窄・狭量な考えでは
革新的なアイデアは生まれない
(参考)
https://ja.wikipedia.org/wiki/%E3%83%96%E3%83%AC%E3%82%A4%E3%83%B3%E3%82%B9%E3%83%88%E3%83%BC%E3%83%9F%E3%83%B3%E3%82%B0
ブレインストーミングの4原則
・判断・結論を出さない(批判厳禁)
自由なアイデア抽出を制限するような、批判を含む判断・結論は慎む。判断・結論は、ブレインストーミングの次の段階にゆずる
・粗野な考えを歓迎する(自由奔放)
誰もが思いつきそうなアイデアよりも、奇抜な考え方やユニークで斬新なアイデアを重視する。新規性のある発明はたいてい最初は笑いものにされる事が多く、そういった提案こそを重視すること。
・量を重視する(質より量)
様々な角度から、多くのアイデアを出す。一般的な考え方・アイデアはもちろん、一般的でなく新規性のある考え方・アイデアまであらゆる提案を歓迎する。
・アイディアを結合し発展させる(結合改善)
別々のアイデアをくっつけたり一部を変化させたりすることで、新たなアイデアを生み出していく。他人の意見に便乗することが推奨される。
脚注
1. 川喜田二郎『発想法 : 創造性開発のために』中央公論社〈中公新書〉、1967年
6132人目の素数さん
2026/07/20(月) 22:26:40.92ID:a0+1odGL7132人目の素数さん
2026/07/20(月) 22:41:32.19ID:B6WVrHSM テンプレです
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
> ↓
>・私「零因子行列のことだろ?知っているよ」
>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ?知っているよ」にした
>・おサル「正則行列を知らない線形代数落ちこぼれ」https://rio2016.5ch.net/test/read.cgi/math/1674527723/5
> ↓
>・私「零因子行列のことだろ?知っているよ」
>「正則行列くらい知っている」と平凡に答えずに
>ひねって 「零因子行列のことだろ?知っているよ」にした
8132人目の素数さん
2026/07/20(月) 22:41:50.58ID:B6WVrHSM テンプレです
>記号の濫用として a'2 ⊂UB1が ありか どうか? ありでは?
>記号の濫用として a'2 ⊂UB1が ありか どうか? ありでは?
レスを投稿する
ニュース
- ロシア外相 「日本とドイツは軍国主義」 国連で声明 ★4 [お断り★]
- 【ホリエモン】堀江貴文氏、もし“現金のみ”の店でお金を持ってなかったら? 対処策に「その手があったか!」と驚きの声 [冬月記者★]
- 【速報】首相、日米は最も信頼し合える同盟国と伝達 ★5 [蚤の市★]
- 【野球】アジア大会・決勝の日韓戦が“地上波中継なし” 「冷遇されてる」「メダルかかってるのに...」との声も [尺アジ★]
- 【兵役免除】社会人日本代表、韓国に敗れ銀メダル リベンジ食らい5連覇許す【アジア大会】 [鉄チーズ烏★]
- 【音楽】Ado所属事務所社長 誹謗中傷への法的対応示唆「アーティストを守るため」 出演フェス巡りSNSで賛否 [Ailuropoda melanoleuca★]
- 【実況】博衣こよりのえちえちMLB同時視聴-ノエたん編-🧪
- 【悲報】亜月ねね先生の家、巨大監視カメラが設置されておわる ★4 [398059782]
- 【感想戦】連休特別企画
- Q「先の戦争は、アジア近隣諸国に対する日本の侵略戦争だった?」日本人の48%「いやー、そういうの自分はちょっとわかんないっすねー」 [377482965]
- レスバ弱いハッタショに限ってレスバしたがりなのはなぜ?
- 【悲報】こち亀シーズン2、寺田がクビ決定wwwwwwwww