エントリーの編集
エントリーの編集は全ユーザーに共通の機能です。
必ずガイドラインを一読の上ご利用ください。
神は存在しないことを証明したプログラミング言語 - 一分一秒真剣勝負!
記事へのコメント0件
- 注目コメント
- 新着コメント
このエントリーにコメントしてみましょう。
注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています
- バナー広告なし
- ミュート機能あり
- ダークモード搭載
関連記事
神は存在しないことを証明したプログラミング言語 - 一分一秒真剣勝負!
ミランカで配信中の「博士も知らないニッポンのウラ」という番組が好きなんだけど、第30回の中で関数脳... ミランカで配信中の「博士も知らないニッポンのウラ」という番組が好きなんだけど、第30回の中で関数脳科学の話から「グレゴリー・チャイティンが不完全性定理を数学全般で証明するのに使った言語はLISP」という流れがあって、不完全性定理に興味をもった。 苫米地「神は完全じゃないと神って言わないでしょ?定義上」 あらゆる事象にランダム性が内包されるわけで、故に完全なる存在はありえないと。「全知全能」な神は存在し得ないってことかな・・・・・とか書いてるけど、不完全性定理なんて全く分ってません。うーむ、弾さんが野崎昭弘氏の本を紹介していたけど、難しそうだからってことでスルーしてたんだよな。ちゃんと読んで理解したら、もっと楽しくこの番組を見られるんだろうな。頑張るか・・。 不完全性定理―数学的体系のあゆみ (ちくま学芸文庫)posted with amazlet at 08.07.10野崎 昭弘 筑摩書房