2012年05月13日のツイート
@kururu_goedel: 4月中にと言っていた証明の草稿ができていないのが恥ずかしく申し訳ない。
@kururu_goedel: ツイートが荒れてますね、すみません。
@kururu_goedel: @usb_usb そうですよね!巨大基数って言うからにはせめてhugeは欲しいですよね!!
2012-05-13 16:20:38 via TweetDeck to @usb_usb
@kururu_goedel: いや、いいんですよ、入り口としては。でも、「サッカーってボールを蹴るんですよ、面白いでしょう」って、解説者が言い続けたらうざすぎるっていうことで。
@kururu_goedel: 最近ムシャクシャするので、「連続体仮説って面白いですね」「どこが?」「独立ってところが」なんてのは「サッカーって面白いで すね」「どこが?」「ボール蹴るってところが」レベルに本質と関係ないじゃねえか!とか書こうかなぁと思っていたところだったので。
@kururu_goedel: それぞれのx∈[Γ]^{<\aleph_0}に対してA_x をxのモデルとする。ここでΠ_{x\in[Γ]^{<\aleph_0}}A_x / U をAとする。UがfineなのでAはΓのモデル。
@kururu_goedel: 超積で完全性定理を証明するなのがようやく繋がった。まず可算言語に関する完全性定理を証明する。言語Lとその上での論理式Γが与えられたとする。ここで[Γ]^{<\aleph_0}上のnon-princitpal fine ultrafilter Uを考えるx
@kururu_goedel: @mel_seceded リプライありがとうございます。まず例として連続体仮説は適切でないと思いますが、人材育成についてはそのような考え方もあっていいと思います。ただし私は、既存の知識をしっかりと教育することこそが傑出した人材を産み出すことにつながると思っています。
2012-05-13 12:23:20 via TweetDeck to @mel_seceded
@kururu_goedel: @kagami_hr そうなんですよ(爆) なんか脊髄反射でムカついちゃって、拳のやりどころに困って、比較的穏当な意見を書きました。
2012-05-13 12:16:29 via TweetDeck to @kagami_hr
@kururu_goedel: URL いずれにしても、もし連続体仮説が解けるならば、これまでの集合論の成果を踏まえてのものでしかありえず、それらを理解する地道な作業を軽視するような態度からは何も生まれないでしょう。
@kururu_goedel: また茂木先生が連続体仮説を引き合いに URL
@kururu_goedel: @CharStream 完全性定理を普通に証明すると、選択公理が必要なのは論理式の集合を整列するところなので、可算言語の場合にはゲーデル順序で代用できるから選択公理は不要になります。
2012-05-13 05:15:56 via TweetDeck to @CharStream
@kururu_goedel: @kururu_goedel そんな馬力が必要な分野やってたら多分死んでた。師匠はエルゴード理論への集合論の応用やってたけど。
@kururu_goedel: kururu_goedelのおすすめの数学分野は、エルゴード理論と代数幾何学と近似,展開と力学系で、とくにおすすめなのは、力学系です。 #math_check URL