サクサク読めて、アプリ限定の機能も多数!
日常の「論理」は、普通にゲーデルナンバリングぐらいできるだろって思ってたんだけど。「無矛盾な日常言語」ってのもワケわかんないから、そうでもないのかな?コメント欄の進展を待つ。
jrf のブックマーク 2006/12/03 20:38
ゲーデルの不完全性定理について少し補足 - kururu_goedel’s diary[コンピュータ科学][論理学][30p][ポイント済] 日常の「論理」は、普通にゲーデルナンバリングぐらいできるだろって思ってたんだけど。「無矛盾な日常言語」ってのもワケわかんないから、そうでもないのかな?コメント欄の進展を待つ。2006/12/03 20:38
このブックマークにはスターがありません。 最初のスターをつけてみよう!
kururu.hatenablog.com2006/11/30
えーと、この前のひどい言われようですが - くるるの数学ノートでid:roi_dantonさんがbewaadさんのところにつけたコメントでのゲーデルの不完全性定理の使われ方についてコメントしたわけですが(なんだこの読みに...
4 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /
日常の「論理」は、普通にゲーデルナンバリングぐらいできるだろって思ってたんだけど。「無矛盾な日常言語」ってのもワケわかんないから、そうでもないのかな?コメント欄の進展を待つ。
jrf のブックマーク 2006/12/03 20:38
このブックマークにはスターがありません。
最初のスターをつけてみよう!
ゲーデルの不完全性定理について少し補足 - kururu_goedel’s diary
kururu.hatenablog.com2006/11/30
えーと、この前のひどい言われようですが - くるるの数学ノートでid:roi_dantonさんがbewaadさんのところにつけたコメントでのゲーデルの不完全性定理の使われ方についてコメントしたわけですが(なんだこの読みに...
4 人がブックマーク・2 件のコメント
\ コメントが サクサク読める アプリです /