[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
29: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:30 ID:S5Jl1CaY(25/44) AAS
>>8 関連
外部ﾘﾝｸ:www.jstage.jst.go.jp
トポスの基礎Part Ｉ 論理からみたトポス 倉田令二朗 SUGAKU Vol. 35 (1983) No. 1 Released: December 25, 2008
(抜粋)
§0.序論
(1) トポスの登場.トポスはGrothendieck Topos, Lawvereの圏論的集合論と論理の圏論的解
釈の研究1),および伝統的なcHa(complete Heyting algebra)上の直観主義論理の結合としてLaw
vereとTierneyによって生み出された(1970[27]).最初のスロー一ガンは層の理論のinternaliza
tion,すなわちGrothendieck toposの圏論にとっての狸雑な部分2)=集合論的部分をelementary
toposの有限図式で書きかえることであった(本文3.1がそのはじまりである)([10],[ 20],[48]).こ
省12
30: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:31 ID:S5Jl1CaY(26/44) AAS
あほの粘着見苦しいね（＾＾；
31: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:31 ID:S5Jl1CaY(27/44) AAS
あれだけ教えてやって、質問のバカさ加減わからずか？（＾＾；
32: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:32 ID:S5Jl1CaY(28/44) AAS
自分で立派な質問した気になっているとろが、かわいいが、所詮あほ
33: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:34 ID:S5Jl1CaY(29/44) AAS
結局、質問に答えても分からんだろうし、そもそも小学生の学力レベルにどう答えろと？ どう答えても、理解のレベル超えているだろ？ （＾＾
34: 2016/10/30(日)15:35 ID:AAheDI1u(5/11) AAS
答えてみ？ できるならｗ
35: 2016/10/30(日)15:37 ID:AAheDI1u(6/11) AAS
みんなお前のギャグを待ってるんだから早く答えろｗ
36: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:41 ID:S5Jl1CaY(30/44) AAS
外部ﾘﾝｸ:www.jstage.jst.go.jp
書評 竹内外史:直観主義的集合論 (倉田令二朗) Vol. 36 (1984) No. 2
(抜粋)
直観主義化=位相化=層化.cHaのもっとも典型的な,
もっとも重要な例は位相空間Xの開集合の全体0(X)の
作るcHaである.古典的なVが集合を基礎とした所に
位相がとって変る,V(Ω)はVの位相化といえる.とこ
ろで現代数学の轡つの指標が位相化にあるとすれば直観
主義的数学は数理論理学と現代数学が交叉する豊かなフ
ロンティアであると著者はいう.ここからして著者が
省10
37: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:42 ID:S5Jl1CaY(31/44) AAS
あほ、プロ固定をおちょくるのは楽しいね。ばか晒しているよ（＾＾；
38: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:43 ID:S5Jl1CaY(32/44) AAS
ぼく、無限桁がわかりませんか・・・、ああ小学生レベルだね
39: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:43 ID:S5Jl1CaY(33/44) AAS
ゆび折ってかぞえろよ、あほプロ固定さん
40(4): 2016/10/30(日)15:44 ID:KmB4VI1E(1/9) AAS
3.14 という有限小数と 2.71 という有限小数を「連接」するなら、
小数点を抜くことで 314 及び 271 を連接することになるから
314271
になることは分かる。しかし、π＝3.14159265359… という無限小数と
e＝2.71828182846… という無限小数を「連接」するにはどうすればいいのか？
小数点を抜くことで、314159265359… と 271828182846… を連接することになるが、
これに自然な連接を定義することは 不 可 能 である。
まさか、連接した結果は
314159265359…271828182846…
省2
41: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:51 ID:S5Jl1CaY(34/44) AAS
外部ﾘﾝｸ:www.jstage.jst.go.jp
書評 Gaisi Takeuti:Proof Theory, Second Edition, North-Holland,1987年,496ページ ,25,000円(日本販売権,丸善). (倉田令二朗)
SUGAKU Vol. 40 (1988) No. 4 Released: December 25, 2008
(抜粋)
この本の初版は10年以上前の1975年だったが,たち
まち証明論の古典と称せられるようになった.当然なが
ら竹内さんの影響の強いわが国であるのに本誌で一度も
書評されなかったのは不思議である.某先生が書評を引
き受けておきながらおさぼりになったままになったらし
い.
省6
42(3): 2016/10/30(日)15:54 ID:KmB4VI1E(2/9) AAS
ためしに、[0,9]^N の数列として、3つの数列 x,y,z ∈ [0,9]^N を
以下のように定義してみよう。
x ＝ 314159265359…
y ＝ 271828182846…
z ＝ 314159265359…271828182846…
もちろん、数列の解釈の仕方は
x_1＝3, x_2＝1, x_3＝4, x_4＝1, x_5＝5, x_6＝9, x_7＝2, x_8＝6, x_9＝5, x_10＝3, x_11＝5, x_12＝9
y_1＝2, y_2＝7, y_3＝1, y_4＝8, y_5＝2, y_6＝8, y_7＝1, y_8＝8, y_9＝2, y_10＝8, y_11＝4, y_12＝6
と解釈するのが自然である。では、z の方はどうなるのか？もちろん、
省7
43(1): 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:55 ID:S5Jl1CaY(35/44) AAS
>>40
ふーん
では問う
１．R^Nの制約を外したらどうだ？
２．そもそもの問題の仮定 ”箱がたくさん，可算無限個ある”は、R^Nに含まれるのか？
Y/Nで結構だ
44: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)16:00 ID:S5Jl1CaY(36/44) AAS
時枝記事で
「問題に戻り，閉じた箱を100列に並べる.」だった
１．１００列はすべて可算無限個か？
２．100列に並べた箱を、１列に並べ直す事は可能か？
Y/Nで結構だ
45: 2016/10/30(日)16:01 ID:AAheDI1u(7/11) AAS
未だわかってないのかｗ 頭ワルーｗ
46(1): 2016/10/30(日)16:03 ID:AAheDI1u(8/11) AAS
ていうかその答えは既に書いたぞ、お前が読んでないだけだ
せっかく教えてやっても聞く耳持たないからお前は永久に馬鹿ｗ
47: 2016/10/30(日)16:26 ID:KmB4VI1E(3/9) AAS
>>43
＞１．R^Nの制約を外したらどうだ？
＞２．そもそもの問題の仮定 ”箱がたくさん，可算無限個ある”は、R^Nに含まれるのか？
時枝記事では、R^N と同一視するのが標準的な定式化の方法である。
それ以外の、非標準的な方法で「可算無限個の箱」というものを定式化したいのなら、
それは ID:S5Jl1CaY 本人が自発的に提唱すべきことであり、他人に質問するようなことではない。
君は「可算無限個の箱」というものをどのように定式化したいのだね？
それは他人に聞くことではなくて、君自身が自発的に発信すべきことだろう？
48: 2016/10/30(日)16:31 ID:KmB4VI1E(4/9) AAS
ちなみに、俺は R^N もしくは [0, 9]^N のままでいいと思っている。
もちろん、それでは π＊e を自然に定義することが不可能になってしまうわけだが(>>40 >>42)、
そもそも π＊e などという頭の悪い概念を定義する必要性が全くないので、
俺にとっては R^N もしくは [0, 9]^N のままでも何の問題もないのである。
しかし、ID:S5Jl1CaY にとっては非常に問題がある。
なぜなら、π＊e を持ち出したのは君自身だからだ。
π＊e を自然に定義するためには、R^N もしくは [0, 9]^N のままでは
非常にマズイのである(あくまでも、君にとっては)。
では、そんな君に対して質問をする。
君は、「可算無限個の箱」というものをどのように定式化したいのだね？
省3
上下前次1-新書関写板覧索設栞歴
あと 668 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.017s