2011-12-17から1日間の記事一覧

 Frege Once Said, 'Calculation would be Deduction.' What Does This Remark Mean?

個人的に興味深い Frege の発言を見かけたので、ここに記しておきます。なお、今回のこの日記項目には、おちや結論はございません。おちや結論をあえて付け加えてもよいのですが、その場合、かなり個人的な結論となりそうで、いいかげんにすぎるから、やめて…

Michel Parigot ''λμ-Calculus: An Algorithmic Interpretation of Classical Natural Deduction,'' in A. Voronkov ed., Logic Programming and Automated Reasoning: International Conference LPAR '92, St. Petersburg, Russia, July 15-20, 1992, Proce…

Frege Once Said, ’Calculation would be Deduction.’ …

一週間ほど前、部屋の天井の照明がつかなくなった。 照明器具内の蛍光灯が寿命を迎えたものと思い、蛍光灯を買いに出かけ、取り替えてみた。 しかし、全然光は戻らない。 どうやら照明器具本体の電子的装置が壊れたらしい。 なぜだかはわからない。説明書の…