rmp3sの家の前

1年くらいで消えていく言葉の鉢植えたち

Structure and Interpretation of Classical Mechanics SICPのSussmanによる古典力学からカオスまで。 Structure and Interpretation of Classical Mechanics (MIT Press) 作者: Gerald Jay Sussman,Jack Wisdom 出版社/メーカー: The MIT Press 発売日: 201…

津田一郎

私は、心というものは普遍的な心というものがあって、それが個々の脳を通して各人の個別的な心が表現されるという構造を持っていると考えている。そして、この普遍的な心は数学が最もよく表現しえたものだと考えている。数学という学問は人類が普遍的に持つ…

ゲーデル

incompleteness theoremを証明した彼が、無矛盾性の証明にいちばん関心をもっている。構成的という興味のある概念を提出して、すべての集合が構成的であるという公理がいろいろすばらしい結果を生むことを証明した彼が構成的でない集合の存在を信じている (…

AGI 人工意識

AGIとか人工意識って単語を昨日初めて知ったんだけどAI全般と話がごっちゃにならなくていい単語ですね このあたり読んだりしてます 人工意識 - Wikipedia 汎用人工知能(Artificial General Intelligence, AGI) を作るための理論と技術 http://qiita.com/adve…

高校数学受験用の書籍

定理証明支援系

定理証明支援系というものがあるらしい 証明プログラミング超入門 from Kyoko Kadowaki www.slideshare.net 定理証明支援系Coqについて from Yoshihiro Mizoguchi www.slideshare.net あとCoq を始めようとか