[過去ログ] Inter-universal geometry と ABC予想 (応援スレ) 77 (1002レス)
上下前次1-新
抽出解除 レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索 歴削→次スレ 栞削→次スレ 過去ログメニュー
491(1): 11/08(土)10:28 ID:ZuSEB9pS(6/21) AAS
そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
とかほざいたところでまったくのナンセンス
494: 現代数学の系譜 雑談 ◆yH25M02vWFhP 11/08(土)10:53 ID:P9qVEF++(8/25) AAS
>>491
>そもそも一階述語論理は思考法ではないが、そこから分かってないセタが
>>つまり、人は日常では、必ずしも 純粋な一階述語論理では 思考していないわけで
そもそもが、人の日常は 論理だけでは 成り立たない
例えば、下記のドジャース ロバーツ監督 ”逆王手をかけた「5つの神采配」”(下記)
決して 論理だけでは これは 成り立たない!
20世紀は、このような人のもつ能力を殺すことを ”厳密”と称して 数学教育としてきた きらいがある
そこらの反省が 21世紀には出てきたのでは?
>>13-14 数とは何かそして何であるべきか デデキント 訳解説 渕野昌 筑摩書房2013
"多くの数学の研究者にとっては,数学は,記号列として記述された「死んだ」数学ではなく,
省9
上下前次1-新書関写板覧索設栞歴
スレ情報 赤レス抽出 画像レス抽出 歴の未読スレ AAサムネイル
ぬこの手 ぬこTOP 0.076s