<Melvy> のアンテナ
id:melvy
1/5ページ
▽ほぼ日刊イトイ新聞●11/14 11:26 友人経由で知ったんですけど,いいですね!おもしろい!・ぼくは本来は、人の不幸をよろこぶ人間ではないと思うが、先日、いっしょに行動していることの多いクラモチさんが「風邪を引いたようでお休みさせていただきます」という連絡があったとき、「そうだろうそうだろう、休みなさい休みなさい」と、ややほがらかに言った。クラモチさんも人の子、休まなきゃ無理だよと思った。よろこんだというわけではないが、休もうぜ、と。最近、古賀史健さんが日記的な文章に、「風邪をひいた」と書いているのを読んで、「おれもおれもです」と弾んだ反応をしてしまった。その前の数日、そうとうに忙しそうだなと思っていたので、あんたもちょっと休みなさいという気持ちがあったし、ぼく自身も風邪を引いたらしく日曜日に安静にしていたので「風邪ともだち」ができたような気になった。ぼくのは、熱はないけど、咳がちょっと、だるさがちょっと、鼻水がちょっとという風邪で、いつも誕生日の
▽hiroyukikojimaの日記●11/04 14:48 「命題論理の完全性定理」というのは、「トートロジーは必ず証明できる」という定理である。もう少し詳しく説明しよう。与えられた命題について、それを構成する命題変数にどんな真偽を割り当ててもその命題が真であるとき、その命題をトートロジー(恒真命題)と呼ぶ。与えられた命題がトートロジーであるなら、その命題は必ず、通常の(公理から出発する形式的な)推論規則によって証明できる、というものだ。例えば、命題変数から生成される命題を考えてみる。にどんな真偽の組み合わせ(4通り)を当てはめても、この命題は必ず真であるからトートロジーである。このとき、この論理式は推論規則で導出することができる。(どのように導出されるかは、拙著『証明と論理に強くなる』で読んでくださいな)。「命題論理の完全性定理」は、このようなことが一般的に成り立つことを主張している。すなわち、「形式的に証明できる命題は常に正しい」だけではなく、
▽大西科学●04/07 05:43 ジャッキー大西さんの雑文サイト. 600 を超える雑文が,あなたを待ってます.最近の研究から24.4.6最終更新日 2024年4月6日
▽San Jose 3.●03/28 10:09 理系の元大学院生,taky さん (真魚さんのアンテナで知った) の日記.taky blog 931 edition読者になる
6.次5>
0.はてなアンテナトップ
8.このページを友達に紹介
9.このページの先頭へ
□ヘルプ/お知らせ
□ログイン
□無料ユーザー登録
□はてなトップ
(c) Hatena