現代数学の系譜工学物理雑談古典ガロア理論も読む68

[過去ﾛｸﾞ] 現代数学の系譜工学物理雑談古典ガロア理論も読む68 (1002ﾚｽ)
上下前次1-新
抽出解除ﾚｽ栞

このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索歴削→次ｽﾚ栞削→次ｽﾚ過去ﾛｸﾞﾒﾆｭｰ

59(1): 現代数学の系譜雑談古典ガロア理論も読む ◆e.a0E5TtKE [sage] 2019/06/13(木) 15:45:08.51 ID:fIom6At7(3/18) AAS
>>54

私よりもふさわしい方、下記京都大学助教授にお勧めください（＾＾
https://repository.kulib.kyoto-u.ac.jp/dspace/bitstream/2433/24316/1/Deguchi.pdf
＜特別寄稿＞スコーレムの有限主義出口, 康夫哲学論叢 (2002), 29: 81-104
(抜粋)
１序
スコーレム(Thoralf Albert Skolem: 1887 ? 1963)は算術（自然数論）や解析学の分野で重要
な業績を残したノルウェーの数学者である。が、彼はまた、ゲーデルと並ぶ 20 世紀最大の
論理学者の一人と評されることがあるほど(1)、論理学や集合論の領域でも多大な貢献をな
した。

本論は、この数学の哲学上の空白を埋める、本格的なスコーレム研究
の呼び水となるべく、さしあたって彼の有限主義に焦点を絞り、その哲学的含意を明らか
にし、それを基に数学の哲学におけるその位置付けを目指す。
位置付けの際、特に注目されるのは次の諸点である。
（一）スコーレムの有限主義は、数
学における構成主義(constructivism)の一つと目されるが、だとしたら、それはどのような意味で構成主義的なのか。
（二）構成主義の他の立場、特にその哲学的分析が比較的進んでいる直観主義(intuitionism)と有限主義との異同は何か。
（三）有限主義はどのような点で「有
限的(finitary)」であると言えるのか。
（四）今日、直観主義を含めた構成主義は（カント・ポアンカレ・フランス経験主義者などその先駆者たちは別として）、一般に排中律(theprinciple of excluded middle, tertium non datur) A ∨ ￢Aを認めない。それに対し一人有限主義のみは排中律を保持する。一方では構成主義を採り、他方では排中律を認めることは両立可能なのか。
これら一群の問題に答えるため、次のような手順を踏んで議論が進む。
まず構成主義一般の特徴を、古典主義と対比しつつ概観し（第二節）、
その中でも特に直観主義に注目し、その哲学的な立場を簡単に見定めておく（第三節）。
次にスコーレムが有限主義の立場から
展開した原始帰納算術（以下 PRA と略記）をやや踏み込んで紹介し、その特徴づけを試みる（第四節）。
その上で、PRA の諸特徴に則しつつ、有限主義の哲学的含意の摘出を企てる（第五節）。
最後に、析出された哲学的諸含意を総合することで、上記の諸問題に一定の解答を与える（第六節）。

178: １３２人目の素数さん [sage] 2019/06/13(木) 17:35:59.51 ID:DhrTdtd0(104/435) AAS
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。

194: １３２人目の素数さん [sage] 2019/06/13(木) 17:41:00.51 ID:DhrTdtd0(120/435) AAS
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。

256(2): １３２人目の素数さん [sage] 2019/06/13(木) 18:01:14.51 ID:DhrTdtd0(182/435) AAS
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。

272: １３２人目の素数さん [sage] 2019/06/13(木) 18:15:04.51 ID:DhrTdtd0(198/435) AAS
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。

279: １３２人目の素数さん [sage] 2019/06/13(木) 18:20:00.51 ID:DhrTdtd0(205/435) AAS
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。

394: １３２人目の素数さん [sage] 2019/06/13(木) 19:31:29.51 ID:BpkQxrls(40/139) AAS
スレ主は負け犬
さっさと尻尾巻いて立ち去れ
このサイコパス野郎

493: １３２人目の素数さん [sage] 2019/06/13(木) 20:28:50.51 ID:BpkQxrls(63/139) AAS
　　　　　　　　　　　　　　＿＿
　　　　　　　　　　　　　　　　|＿＿|'' - ._
　　　　　　　　　　　　　　 |　　| l' - ._|
　　　　　　　　　　　　　　 |　　| |｀:| |′
　　　　　　　　　　　　　 ,=|　　| |　| |
　　　　　　　　　　　　 /　:|_,,　| |　| |
　　　　　　　　　　　　　 l　　|　|. | |　| |
　　　　　　　　　　　　 | 　 |　|:::| |　| l|.　／￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣
　　　　　　　　　　　　 / 　 |　l　| |　| ||　| 見ろ！これが数学の敵、スレ主の首だ！！！
　　　　　　　　　　 /　　 |　|　| |　| |:!　＼＿　＿＿＿＿＿＿＿＿＿＿＿＿＿＿
　　　　　∧＿∧　　 /　　　.l　l.　| |‐'| |:|　　　 ∨
　　　　（　´∀｀）／　　　 |　|.　| |　| ll:|　　　∧＿∧
　　　　（　　　つ　　　　　|　|　 | |　| ||:|　　（　・∀・）　∧＿∧
　　　　　|　 | 　|　　　 ⊂⌒|　l: 　| |‐'| l:|:|　⊂　　　　つ（　ﾞ∀｡）←>>1
― ∧∧ ____,）__）ｰl二二二l_,.. ┐| |'二二⊃ /　/〉　〉―；;~∴ー――
　 (　　,,ﾟ)　厂⌒厂⌒厂⌒i´__,,. |..| |〉　　〈(＿) (＿_)　　；'　_,.. - ''"!∧ ∧＿∧
　 / 　つノﾉ　ﾉ　　/ 　 ,ﾉ| 　　|,,|..!､＿___,ﾉ　　　　　_,.. - ''"　　 _,.. ┘∧ ∧＿∧
　(,,　　))'〜ー〜ー〜一'"┴'''"　　　　　　　　_,.. - ''"　　 _,.. - ''"l:| ∧＿∧　∧＿∧
￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣￣!　　_,.. - ''" ＼;|　　|:!（・∀・　）（・∀・　）
―┬―┬―──――――――‐┬―┬┬┴''"／　　　　　:|∧＿∧　∧＿∧　.∧＿∧
　 │　 │　　　　　　　　　　　　｜　｜｜　／　　　　　　 .（∀・　）（∀・　）（∀・　）
. ∧＿∧　∧＿∧　∧＿∧　∧＿∧.　∧＿∧　∧＿∧.　∧＿∧　∧＿∧　∧＿∧
（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）（　　　　）

644: １３２人目の素数さん [sage] 2019/06/13(木) 23:17:39.51 ID:DhrTdtd0(405/435) AAS
スレ主は証明を放棄しましたのでスレ主の敗北は確定しました。
直ちに約束を履行し、スレを閉じて下さい。
約束を反故にするなら真のサイコパスと認定します。

706: １３２人目の素数さん [sage] 2019/06/14(金) 09:32:01.51 ID:ebInVaSj(1/155) AAS
>>682
>６）
>これは、明らかに、既存の関数論に反する
証明になってない

817: １３２人目の素数さん [sage] 2019/06/14(金) 12:31:16.51 ID:ebInVaSj(99/155) AAS
>>815
落ちこぼれピエロの最期の断末魔を聞いてしんぜよう

>定理以前の話だからね
つまり「それ」は定理ではないと？なら何？

何？と問われるような得体の知れないもので「証明した」と勝ち誇ってる時点でバカ丸出しだけどな　　っぷ

869: １３２人目の素数さん [sage] 2019/06/14(金) 15:16:06.51 ID:ebInVaSj(144/155) AAS
まあ人を騙して生きてきた爺さんってことだけは確かなようだｗ
そうでなけりゃあんな手口は使わぬ

888: １３２人目の素数さん [sage] 2019/06/14(金) 19:34:02.51 ID:VH5krqxp(20/127) AAS
スレ主の丸焼き

ﾍｯﾍｯﾍ　))　　))
~∧,,∧　 ((　　((
(;`･ω･)　ε⌒ﾍ⌒ヽﾌ
/　　 o━( 売(豚･ω･)
し−-Ｊ　しｰし─Ｊ
　　　　 │人人人人│

上下前次1-新書関写板覧索設栞歴

ｽﾚ情報赤ﾚｽ抽出画像ﾚｽ抽出歴の未読ｽﾚ AAｻﾑﾈｲﾙ

ぬこの手ぬこTOP 0.036s