2011年04月05日のツイート
@kururu_goedel: @patho_logic 集合論者たるもの口を開けば「Nを初等部分モデルとする」ですからね。
2011-04-05 21:56:35 via TweetDeck to @patho_logic
@kururu_goedel: @alg_d 最初のうち、感覚がつかめない概念だと思います。具体的に言ってもらえれば、時間のあるときなら行間埋めますよ
2011-04-05 15:03:39 via TweetDeck to @alg_d
@kururu_goedel: なんだそのフォロワー置き去りツイートは
@kururu_goedel: いけるかも
@kururu_goedel: @Cryolite だってWindows上で動かすの大変なんだもん>Isabelle/HOL
@kururu_goedel: @patho_logic 多分ですが。そういうのは切れる場所がはっきりしないので、私は全てカンマを打つようにしていますが、そういう人は少ないですね。
@kururu_goedel: @patho_logic それは普通にリンデレフでありかつ第一可算だと思いますよ。
@kururu_goedel: またじじくさいこと書きそうになったけど、日常生活が営めないクズなので自粛
@kururu_goedel: 娘が昼食は食べているのを確認。それ自体はよかったけれども、朝食抜きなんてのが子供にいいはずはなく。しかも本人が選んだ選択肢というわけでもないので。
@kururu_goedel: 日常生活が難しすぎて営めません。
@kururu_goedel: 今日、娘を少しデイケアに連れていくのが遅れて、そのために他の子が朝食を食べた時間を逃してしまって、だけれどもそれに気づかずに他の子もまだだろうと思ってそのままおいてきたために、娘が朝食を食べそびれたので、妻が大激怒している。確かに大激怒するところで申し訳なかった。
@kururu_goedel: うpキボンヌ QT @white_sep: 今複素多様体のコスプレしている
@kururu_goedel: @powdergreen_tea えーと、一階述語論理って何?みたいな話はやっぱりなんか本を読んでいただくのが一番良いと思います。こういう答え方は好きじゃないんですが、その方が無駄な混乱を避けられると思います。その上で質問があれば答えますので。
@kururu_goedel: @powdergreen_tea ありません。ar=a^2を解くと(a>0という仮定のもとに)r=aとなって、普通の実数ではないa以外の解はないとわかります。超準解析と普通の解析では、一階述語論理で書ける命題に関しては真偽が変わりませんので、これで大丈夫です。