シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。 シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
シークエント計算 - Wikipedia
シークエント計算（シークエントけいさん、英: Sequent calculus）は、一階述語論理や特殊な命題論理で広く用いられる演繹手法である。類似の手法もシークエント計算と呼ぶことがあるので、LK と呼んで区別することがある。また類似の手法も含め、総称してゲンツェン・システムとも呼ばれる。 シークエント計算とその概念全般は証明論や数理論理学において重要な意味を持つ。以下では LK について解説する。
ラムダ計算 - Wikipedia
この記事には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2020年5月） ラムダ計算（ラムダけいさん、英語: lambda calculus）は、計算という行為を「関数」の定義と適用だけで表現する計算模型（数理モデル）である。ラムダ算法とも言う。 1930年代に数学者のアロンゾ・チャーチとスティーヴン・コール・クリーネによって、「計算できるとはどういうことか」を厳密に定義するために考案された。当時はまだ電子計算機は実用化されておらず、ラムダ計算は純粋に理論的な数学的体系として発展した。関数を定義する際にギリシャ文字のラムダ（λ）を使う慣習からその名がある。 ラムダ計算は、変数と関数の抽象化、および関数の適用という基本的な操作のみから構成されるが、全ての計算可能関数を
モンティ・ホール問題 - Wikipedia
モンティ・ホール問題 閉まった3つのドアのうち、当たりは1つ。プレイヤーが1つのドアを選択したあと、例示のように外れのドアが1つ開放される。残り2枚の当たりの確率は直感的にはそれぞれ 1/2（50%）になるように思えるが、はたしてそれは正しいだろうか。 モンティ・ホール問題（モンティ・ホールもんだい、英: Monty Hall problem）とは、確率論の問題で、ベイズの定理における事後確率、あるいは主観確率の例題の一つとなっている。一種の心理トリックになっており、確率論から導かれる結果を説明されても、なお納得しない者が少なくないことから、モンティ・ホール・ジレンマ、モンティ・ホール・パラドックスとも称される。「直感で正しいと思える解答と、論理的に正しい解答が異なる問題」の適例とされる。 1975年、統計学者スティーブ・セルビン（英語版）によって提起され、解かれた。名前の由来となったのは
ゲーデルの不完全性定理とはなんだったのか - As a Futurist...
ここ数日，ゲーデルの不完全性定理についての本を 2 冊読んだ． 僕は，数理論理学とかさっぱりやったことないので，読んだもののその証明についてはほとんど 意味不明だった．だが，この 2 冊の本は証明そのものの解説よりも，不完全性定理がなぜ生まれてきたのかという 「歴史」について語ってくれていたので，逆によく理解できたと思う，純粋に定理の説明だけされたって 素人にわかるわけがない．それを，歴史という文脈から説明してくれたので，僕の中の理論とも 比較参照しながら読み進めることができた． 以下で，僕が得られたエッセンスをまとめていこう，間違っているかいないかは気にせず，自重せずにに 書いて行く．どうにもまずい点があればぜひ指摘して欲しいけど，そこまで関心がない方はどうぞ 無視してくださいませ． カントール → ヒルベルト → ゲーデルという流れ 現代数学やってる人にはあたりまえなんだろうけど，この
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 | WIRED VISION
「ウルフラム氏のチューリングマシン」を20歳の学生が証明 2007年10月26日 サイエンス・テクノロジー コメント： トラックバック (0) Brandon Keim 2007年10月26日 複雑系理論の権威であるStephen Wolfram氏が、あるチューリングマシンを提案し、これが考えられるありとあらゆる計算問題を解く能力を持つ、考え得る限りで最も単純なコンピューターであることを証明するよう呼びかけた。 それからわずか47日後、イギリスのバーミンガム大学コンピューター科学部の学生Alex Smithさん(20歳)が、見事にこれを証明して見せた。 チューリングマシンは、コンピューターの世界に偉大な貢献をした数学者、アラン・チューリングが1936年に提案したものだ。 今ではハードウェアをソフトウェアと切り離すことは当たり前になっているが、チューリングはこれを理論として考え出した最初の1
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ゲーデルの第一・第二不完全性定理の証明でコーディングの仕方に煩わされないやり方で出来る煩瑣でないものはないかと色々探していて、なんとか目的に沿うようなJohn L. BellのIncompleteness
