[過去ﾛｸﾞ] 現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716ﾚｽ)
上下前次1-新
このｽﾚｯﾄﾞは過去ﾛｸﾞ倉庫に格納されています｡
次ｽﾚ検索 歴削→次ｽﾚ 栞削→次ｽﾚ 過去ﾛｸﾞﾒﾆｭｰ
23: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:07 ID:S5Jl1CaY(21/44) AAS
新レスでは、早く３０レスくらいまでいかないと、DAT落ちのところもあるからね（＾＾；
24: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:15 ID:S5Jl1CaY(22/44) AAS
πの桁数が有限だと思っているならバカだし
25: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:15 ID:S5Jl1CaY(23/44) AAS
πの桁が無限だから、２項演算が定義できないと考えるのもバカ
26: 現代数学の系譜11 ガロア理論を読む 2016/10/30(日)15:15 ID:S5Jl1CaY(24/44) AAS
どちらにしても、小学生
27: 2016/10/30(日)15:16 ID:AAheDI1u(3/11) AAS
こらこら誤魔化すなｗ 誰がe+πが存在しないなんて言った？ｗ
十進少数で表した時の各位を項とする数列を”連結”する話（前スレ>>540）だろ？
お前自分で言ったことすら捻じ曲げてんじゃんｗ 逃げたいがあまりにブザマな醜態晒してんなよ（＾＾；
28: 2016/10/30(日)15:18 ID:AAheDI1u(4/11) AAS
もう一度前スレ>>540を読み直せ お前が書いたレスをなｗｗｗ
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
上下前次1-新書関写板覧索設栞歴
あと 674 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ
ぬこの手 ぬこTOP 0.019s