タグ

goedelに関するmr_konnのブックマーク (4)

  • 訳とか

    九月が逆転し、秋分が反転する 冬が秋にすべり込む 九ヶ月かそこら飛ばし飛ばしで見れば 季節は逆転する 跳ね返って春、あぶなげにつんのめって秋 しばらくぶりにきみがこの地に舞い降りたとき、季節はふたたびシャッフルされる 九月が逆転し、秋分が反転する 夏が春になる 季節がふたたびシャッフルされる 一年半のサイクルで 九月が逆転し、秋分が反転する しばらくぶりにきみがこの地に舞い降りたとき、季節はふたたびシャッフルされる 九月が逆転し、秋分が反転する 冬が秋にすべり込む 季節がシャッフルされる なぜってきみを雪だまりで見かけた日からもう二年以上経つから そのとききみが着ていたセーター そう、きみが着ていたセーター 時間をおいて季節がふたたびシャッフルされる あるいは、距離をおいて 時間をおいて季節がふたたびシャッフルされる あるいは、距離をおいて ぼくが落ちているとき、ほんとうに落ちているとき

  • 訳とか

    九月が逆転し、秋分が反転する 冬が秋にすべり込む 九ヶ月かそこら飛ばし飛ばしで見れば 季節は逆転する 跳ね返って春、あぶなげにつんのめって秋 しばらくぶりにきみがこの地に舞い降りたとき、季節はふたたびシャッフルされる 九月が逆転し、秋分が反転する 夏が春になる 季節がふたたびシャッフルされる 一年半のサイクルで 九月が逆転し、秋分が反転する しばらくぶりにきみがこの地に舞い降りたとき、季節はふたたびシャッフルされる 九月が逆転し、秋分が反転する 冬が秋にすべり込む 季節がシャッフルされる なぜってきみを雪だまりで見かけた日からもう二年以上経つから そのとききみが着ていたセーター そう、きみが着ていたセーター 時間をおいて季節がふたたびシャッフルされる あるいは、距離をおいて 時間をおいて季節がふたたびシャッフルされる あるいは、距離をおいて ぼくが落ちているとき、ほんとうに落ちているとき

    mr_konn
    mr_konn 2010/03/13
    [filetype:pdf][media:document]
  • ゲーデルの不完全性定理を代数学を使って表現してみた - とりマセ

    『代数学は得意だけど,数学基礎論とかさっぱり分からない.論理とかマジイミフ』そんなアナタを対象に,ゲーデルの不完全性定理を解説してみよう! のコーナーです.  論理学と代数学(可換環論)との対応については,檜山さんによる素晴らしい記事があります: 古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 ただ,『論理学といえばまずコレ!』とも言うべき『ゲーデルの不完全性定理』の代数学的表現については書かれていないようなので,ちょっぴり魔が差して,ここでゲーデルの不完全性定理の代数学的な表現を与えることにしました. だが,単にゲーデルの不完全性定理を代数学で表現するだけじゃあつまらない……倍プッシュだ……!というわけで,プラスアルファとして,その他色んな分野との関わりを含めて紹介します.  0. 理論は対応する代数を持つよ!: リンデンバウム代数 まず,論理学と代数学を対応させる第一の架け橋

  • 書籍『数学ガール/ゲーデルの不完全性定理』(結城浩)

    書は「数学ガール」シリーズ第3弾です。 三人の高校生と一人の中学生が、学校の枠を越えた数学に挑戦します。 今回のテーマは数理論理学。 《数学数学する》感覚をお楽しみください。 数学クイズが好きな一般の方から、理系の大学生、社会人まで楽しめます。 Amazon Kindle 書誌情報 『数学ガール/ゲーデルの不完全性定理』 結城浩 著 ソフトバンククリエイティブ(株)刊 ISBN: 9784797352962 1800円(税抜) Amazon 書の目次 あなたへ プロローグ 第1章 鏡のモノローグ 第2章 ペアノ・アリスメティック 第3章 ガリレオのためらい 第4章 限りなく近づく目標地点 第5章 ライプニッツの夢 第6章 イプシロン・デルタ 第7章 対角線論法 第8章 二つの孤独が生み出すもの 第9章 とまどいの螺旋階段 第10章 ゲーデルの不完全性定理 エピローグ あとがき 参考文

    書籍『数学ガール/ゲーデルの不完全性定理』(結城浩)
  • 1