演繹定理 - Wikipedia
演繹定理（えんえきていり、英: Deduction theorem）とは、数理論理学において、論理式 E から 論理式 F が演繹可能ならば、含意 E → F が証明可能である（すなわち、空集合から演繹可能）、というもの。記号的に表すと、 ならば、 である。 演繹定理は、以下のように任意個の有限な前提論理式群に一般化できる。 から が推論でき、最終的に となる。 演繹定理はメタ定理である。つまり、理論自身の定理ではないが、その理論における演繹的証明に使われる。 演繹メタ定理は、メタ定理の中でも最も重要である。論理体系のなかには、これを推論規則（"→" の導入規則）として採用したもの（自然演繹）もある。そうでない体系でも、公理群から演繹定理を証明することでその論理体系が完全であることを示すのが一般的である。ヒルベルト流の体系（英語版）で何かを証明する場合、演繹メタ定理なしでは証明が困難となる
様相論理 - Wikipedia
様相論理（ようそうろんり、英: modal logic）は、いわゆる古典論理の対象でない、様相（modal）と呼ばれる「〜は必然的に真」や「〜は可能である」といった必然性や可能性などを扱う論理である（様相論理は、部分の真理値からは全体の真理値が決定されない内包論理の一種と見ることができる）。 その歴史は古くアリストテレスまで遡ることができる[1]:138が、形式的な扱いは数理論理学以降、非古典論理としてである。 様相論理では一般に、標準的な論理体系に「～は必然的である」ことを意味する必然性演算子と、「～は可能である」ことを意味する可能性演算子のふたつの演算子が追加される。 様相論理は真理論的（形而上学的、論理的）様相の文脈で語られることが最も多い。この様相においては「～は必然的である」、「～は可能である」といった言明が扱われるが、これは認識論的様相と混同されやすい。 例えば「雪男は存在して
論理学は思考の「高地」トレーニング」である／ロジック・アズ・ブロックバスター
論理学の良いところは、トレーニングの効果が絶大なところだ。 たとえれば、論理学は一種の「高地」トレーニングなので苦しいが、これによって思考の「心肺機能」がアップする。 思考が「息切れ」しにくくなる。そして「登坂力」が増す。 微細な違いに気付く力や、筋が混み入った話への感受性も高まる。 学術書の類や、日本語とは思えない悪文を読むのに、きつい坂道を上るような苦しさを感じている人は、最もその効果を実感できるだろう。 しかし論理学を学ぶ人はあまり多くない。 独習は不可能ではない。 というより、自分で問題を解かないことにはどうにもならないので、習うにしろ、自分一人で取り組まなくてはならない時間が多い。 科学哲学者の内井惣七氏は、論理学の学習について、次のように言っている。 ・問題を山のように解かないと、論理学が身に付くはずがない。ぼーっと、本を眺めてマスターできるのは、フォン・ノイマンみたいな悪魔だ
「内容」と「形式」 - hiroyukikojima’s blog
パラモアがグラミーの映画音楽部門を逃したのは残念だった。Decodeはとてもいい曲だったんだけどな。嬉しいのは、新曲のプロモが最近公開された（“The Only Exception”ミュージックビデオ | PARAMOREオフィシャルブログ「PARAMORE official blog in Japan」Powered by Ameba）こと。これがまったまた、意味深な、良い映像作品に仕上がってて感激してしまった。ヘイリーちゃん七変化という感じですばらしい。 とかいって、今日書こうと思うのは、ぜんぜん別の話。はい、懲りもせず、ゲーデルです、ゲーデル。最近、実は次の本をほぼ読破したのだ。 数学基礎論入門 (基礎数学シリーズ) 作者: 前原昭二出版社/メーカー: 朝倉書店発売日: 2006/04/01メディア: 単行本（ソフトカバー）購入: 10人 クリック: 278回この商品を含むブログ (
計算モデルと論理とゲーデルの不完全性定理 - Gemmaの日記
ゲーデルの不完全性定理は、数学を扱う数学、つまりメタ数学を考えるが、それだと理解が難しい。しかし、証明(数学)＝プログラムという悟りを開くと、プログラムを扱うプログラム、つまりメタプログラムを考えればよくなり、それならコンパイラ等でなじみがあるので理解が優しくなる。 話の流れは以下。 1. プログラムとは何か 2. 証明とは何か 3. 証明＝プログラム , （ {、 { ヽ.ｰ､､ ＼､__ぃ._ゝ⌒ヾ iヾ）}､_ ﾝ_ｰ-_二ｰ-, 〉 {厶 _､ヽ _ ヽ._＞'´ ／ /,ィ／ / ハYﾍい ,. -- 〃⌒ r−-､ ィ´ 〃 ,ｲ/7' ,ｲイ/ 小ヽ 丶、 ,. ‐ '´ﾊ i ″｀ヽ、 、ヽ、 ／幺ィ {从{小込v' jｩ仏厶川ﾘ} YV, 小 Vj. |丶 ヽ ｀ ｰ-ミー--'_,辷三彡
Alonzo Church - Wikipedia
C. Anthony Anderson, 1977 Peter Andrews, 1964 George Alfred Barnard, 1936 William W. Boone, 1952 Martin Davis, 1950 William Easton, 1964 Alfred Foster, 1930 Leon Henkin, 1947 John George Kemeny, 1949 Stephen Cole Kleene, 1934 Simon B. Kochen, 1959 Maurice L'Abbé, 1951 Isaac Malitz, 1976 Gary R. Mar, 1985 Michael O. Rabin, 1957 Nicholas Rescher, 1951 Hartley Rogers, Jr, 1952 J. Barkley Rosser, 1934
古典論理は可換環論なんだよ - 檜山正幸のキマイラ飼育記 (はてなBlog)
酒井さんのコメントに対して、 {true, false}と{0, 1}の対応でも、ほとんどの場合trueを1にしますが、trueを0にしたほうが計算がスムーズな状況もあります。 なんて応えたわけですが、これでフト思い出したことがあります。 以前、「イデアルと論理」つうネタでいくつかのエントリーを書いたことがあるのですが（「はてなブックマーク - ideal+logicに関するm-hiyama-taxonのブックマーク」参照）、中途半端にうっちゃってあるなー、ダハハハ。 未完（永久にか? ^^;）の「イデアルと論理」シリーズの最初のほうでは、普通の（つまり、可換環の）イデアルを紹介してますが、最終的には論理の（つまり、ブール代数の）イデアルに結びつけようと思っていたわけです。で、「どうやって結びつけるのか」という筋書きは今日説明しようかな、っと。（とはいえ、基本的に自分の備忘用ですけど。）
Return 0
return0.infoに移転。昔の日記はまんま残してるので読みたい人はどうぞ。 世界樹の迷宮関係のコンテンツは移行が面倒なのでこっちに残すことにした。 世界樹の迷宮プレイ記録 世界樹の迷宮IIプレイ記録 世界樹の迷宮IIIプレイ記録
d.y.d. 文字コード＆ベイズ推定
12:21 06/05/28 うたひめ 先日の記事に書いたように KOKIA にハマりまして、 とりあえず片っ端から聴いてみることにしました。まずは 1st アルバムの 『songbird』 から … …４曲目の "白い雪" ヤバい。超ヤバい。なんだこれ。ツボすぎる。 ベスト盤を聴いたとき感じた揺らぎなく落ち着いた歌唱力的な曲を期待して聴きはじめたら、 予想外の声質の歌が飛び込んできてびっくりしました。もちろん抜群に巧いのに かわりはないんですが、ずっと儚げな、ガラス細工みたいなイメージの、ああ、その、 つまり白い雪みたいな雰囲気の綺麗な声で。その声と奇跡的にマッチしたメロディ。 すごいなあ。９曲目の "ありがとう…" もベスト盤でのリテイクと比べて同じ印象で、 Amazonのreview で TenderBerry さんという方が近いことを書いておられました。 しかし書いてて自分の語彙の
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Curry–Howard correspondence - Wikipedia