[過去ﾛｸﾞ] 数学の本 第70巻 [無断転載禁止]©2ch.net (1002ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
229(1): 2017/05/05(金)17:19 ID:2YY3LsTE(3/4) AAS
完成した庭の中の話なら背理法でいいんだろ
もっと広い世界の話じゃねえの？
230: 2017/05/05(金)17:23 ID:XaxhLJ+0(1/2) AAS
お前なんでこの板にいるの？
231(1): 2017/05/05(金)17:25 ID:2YY3LsTE(4/4) AAS
自らの道具を縛ることによって、新しい発見があるわけだ
という話だと思うんだけど
232: 2017/05/05(金)17:26 ID:c1ptkkVl(1) AAS
ワイルの頃なら一度は背理法なしで全部数学組み立ててみようかとやることにも
それなりに意義があったろ
日本でも何十年か前は現代化とやらでブルバキっぽいスタイルを大学1年から講義でやってた
失敗だとわかったから元に戻せばいい
233: 2017/05/05(金)18:39 ID:SkUJ8I5A(1) AAS
Interface(インターフェース) 2016年10月号 雑誌 ? 2016/8/25
外部ﾘﾝｸ[php]:www.kumikomi.net
234: 2017/05/05(金)18:45 ID:XaxhLJ+0(2/2) AAS
イタチ
235: 2017/05/05(金)18:49 ID:w6QM4ekq(1) AAS
高校数学で背理法なくす動きとかあるか？
理科大なら教育にも力入れてるとは思うけど、その人何かやってる？
236: 2017/05/05(金)19:00 ID:7crwQ+kY(2/3) AAS
背理法を使うとき、証明の冒頭でいきなり仮定を置くのではなく、必要最小限の範囲でだけ仮定を使うべき
という趣旨の主張なら数学板で何度か見たことがあるけど、これは別に背理法を排除しているわけではない
背理法の「偽の仮定」の下での議論を最少にしたいという欲求は理解できる
237: 2017/05/05(金)19:22 ID:ZcEG6iTH(2/2) AAS
>>231
キモは >229 だろ。
238: 2017/05/05(金)19:24 ID:x6hUXJVN(1/2) AAS
背理法の否定から新しい発見が...って
その理科大の先生にとっての背理法は
> (4) 完結していない背理法証明においては、中間結果は正しくないので、
> すべての別証に公平な部分点をつけることは不可能です。
こんな調子っすよ。ジャンル分けするなら掛け算順序問題と同じ箱。
239: 2017/05/05(金)19:25 ID:LJL3YQ3n(2/2) AAS
背理法はとうでもいいけど、数学小辞典の内容について書いてほしい。
240: 2017/05/05(金)22:12 ID:ir/sXAsY(1) AAS
心理学こそ人生をかけるに相応しい学問な気がする
241: 2017/05/05(金)22:33 ID:0L+lZacp(1/3) AAS
> (4) 完結していない背理法証明においては、中間結果は正しくないので、
> すべての別証に公平な部分点をつけることは不可能です。
何を言っているのか分からない…
242: 2017/05/05(金)22:36 ID:0L+lZacp(2/3) AAS
背理法でこれを思い出すのはオッサン。
動画ﾘﾝｸ[YouTube]
243: 2017/05/05(金)22:47 ID:x6hUXJVN(2/2) AAS
偽な命題を仮定した証明過程からは矛盾が引き出される
矛盾で出てくる以上、どんな命題も真として引き出される
こんなのは教育上とてもよろしくない
学校の先生もこういう答案を採点するのは大変
ざっくり言うとこういう感じ、まあ何を言ってるのか分からないのは当然
彼に同調した人間に教えられる生徒はかわいそう。
244: 2017/05/05(金)22:54 ID:7crwQ+kY(3/3) AAS
＞どんな命題も真として引き出される
原理上は確かにそうなるけど、実際問題、そんなヘンテコな命題を導く人なんていないわな
偽の仮定なんてなくても同じぐらい変な解答する生徒がいるだろうから、全くの杞憂
いや、はっきり言ってしまうと、持論を押し通すための屁理屈に過ぎない
245: 2017/05/05(金)22:54 ID:XKqmuEE5(1) AAS
理科大の話題
246: 2017/05/05(金)22:56 ID:0L+lZacp(3/3) AAS
この先生の業績はどれほどのものなの？
247(1): 2017/05/06(土)02:45 ID:S9Z97zBD(1/2) AAS
Fランだろうが業績があろうがなかろうが、問題は言っていることが正しいかどうかだろう。
証明において、偽を仮定して矛盾を引き出しQEDってのは普通にやる手法だ。
論点は、偽の仮定から導出された中間結果が不安だ、ってことなら、
そりゃ推論が各ステップで正しいかどうかだけ、って話だろ。
複雑なら分解して考えるのは古典的な常套手段。
心配なら、真理値表を書けばいい。
そういうことは、過去の天才連中がクリアした話題だろう。
アルキメデスほど慎重ではないにしろ、
たとえば、ガウスが背理法を否定しているかどうか。
物理ならいざ知らず、数学に直観持ち込んで惱む必要はないだろう。
248: 2017/05/06(土)02:57 ID:2mUfK4Ps(1) AAS
なぜガウス？
上下前次1-新書関写板覧索設栞歴
あと 754 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.014s