[過去ログ]
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net (716レス)
現代数学の系譜11 ガロア理論を読む25 [無断転載禁止]©2ch.net http://rio2016.5ch.net/test/read.cgi/math/1477804000/
上
下
前次
1-
新
通常表示
512バイト分割
レス栞
抽出解除
レス栞
このスレッドは過去ログ倉庫に格納されています。
次スレ検索
歴削→次スレ
栞削→次スレ
過去ログメニュー
41: 現代数学の系譜11 ガロア理論を読む [sage] 2016/10/30(日) 15:51:07.60 ID:S5Jl1CaY https://www.jstage.jst.go.jp/article/sugaku1947/40/4/40_4_365/_pdf 書評 Gaisi Takeuti:Proof Theory, Second Edition, North-Holland,1987年,496ページ ,25,000円(日本販売権,丸善). (倉田令二朗) SUGAKU Vol. 40 (1988) No. 4 Released: December 25, 2008 (抜粋) この本の初版は10年以上前の1975年だったが,たち まち証明論の古典と称せられるようになった.当然なが ら竹内さんの影響の強いわが国であるのに本誌で一度も 書評されなかったのは不思議である.某先生が書評を引 き受けておきながらおさぼりになったままになったらし い. 第2版では多くのことが追加された. 1.Chap 1.直観主義論理の完全性について. Heyting 値モデルとそれに関するRasiowa-Sikorskiの完全 性定理の証明,Kripke解釈との関係,完全性の概念そ のものの精密化と問題提起. (引用終り) http://rio2016.5ch.net/test/read.cgi/math/1477804000/41
73: 132人目の素数さん [] 2016/10/31(月) 03:10:33.60 ID:GYtc4S2R 哲也へのメッセージ↓ そうだよ哲也 過疎っている 哲也とわたしの多年にわたる努力の成果だよw http://rio2016.5ch.net/test/read.cgi/math/1477804000/73
105: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/05(土) 10:35:32.60 ID:DzICE8Th >>87 おっちゃん、また難しいことを考えたね(^^; しかし、ID:oIF6CyORさんは、メンターさんだと思うが、こんな板に書かれた読みにくい証明をよく読むね。感心するよ メンターさんの努力に深謝!m(__)m おれは、スルーだな(^^; >eπが無理数であるか有理数であるかは未解決問題。 これだね https://ja.wikipedia.org/wiki/%E8%B6%85%E8%B6%8A%E6%95%B0 超越数 (抜粋) 超越数かどうかが未解決の例 eπ・・・ などの円周率 π や自然対数の底 e の大抵の和、積、べき乗は、有理数であるのか無理数であるのか超越的であるのか否かは証明されていない[注 4]。 (引用終り) http://www.math.tsukuba.ac.jp/~wkbysh/indexj.html 若林 誠一郎 筑波大学名誉教授 http://www.math.tsukuba.ac.jp/~wkbysh/e_transc.pdf e も π も超越数 (2008年度数学特別講義 I) 若林誠一郎 筑波大 pdf http://rio2016.5ch.net/test/read.cgi/math/1477804000/105
182: 現代数学の系譜11 ガロア理論を読む [sage] 2016/11/06(日) 10:49:49.60 ID:ivLdkhn2 >>178 補足 式を詳しく書くと>>160 e= 3.7に変更したとして、同様にlim(n→∞) π''''n=a1. a2a3a4a5・・・an +e/10^n=3.14159265358979… 37 後半は e= 3.7でe/10^n=0.0・・・037 ( 3は少数第n位で、7は少数第n+1位)。ここで lim(n→∞) を考えるだけ 前半は πn=:a1. a2a3a4a5・・・an (πの少数第n-1位までの近似値)。ここで lim(n→∞) を考えるだけ πn=:a1. a2a3a4a5・・・anを説明すると 例えば、πに収束する級数で分かり易い ライプニッツの公式を採用して (https://ja.wikipedia.org/wiki/%E5%86%86%E5%91%A8%E7%8E%87) π=4Σ(n=0, n→∞)(-1)^n/(2n+1) として、少数第n-1位までの近似値として、エクセルのround関数 を使うと*) πn=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) と書ける。ここで lim(n→∞) を考えるだけ だから、もとの級数は π''''n=round(4Σ(n=0, n→∞)(-1)^n/(2n+1), n-1) +e/10^n (単純な二つの式の和であることにご注意。ここにe= 3.7 ) ここで lim(n→∞) を考えるだけ 「"3.14159265358979… 37"の最後の"3","7"の添え字はNでは表せない」から、その数列は扱わない?? そう定義するならそれもあり だが、その定義では、最初の時枝記事で、箱が可算無限個あるとされる数列の中で、いったいどんな数列が生き残るのか? *) エクセルのround関数説明:http://kokoro.kir.jp/excel/round.html 切り上げ・切り捨て・四捨五入:ROUND系関数--Excel・エクセル なお、いうまでもなく、エクセルのround関数は単なる例で、これに限らない http://rio2016.5ch.net/test/read.cgi/math/1477804000/182
277: 132人目の素数さん [] 2016/11/12(土) 10:12:26.60 ID:ZyUt2tCS >>266 これは酷い http://rio2016.5ch.net/test/read.cgi/math/1477804000/277
メモ帳
(0/65535文字)
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
スレ情報
赤レス抽出
画像レス抽出
歴の未読スレ
AAサムネイル
Google検索
Wikipedia
ぬこの手
ぬこTOP
0.030s