計算複雑性理論におけるブラムの公理(ブラムのこうり、英: Blum axioms)またはブラムの複雑性公理とは、計算可能関数の集合上の複雑性測度の満たすべき性質を述べた公理である。この公理はマヌエル・ブラムによって1967年に導入された。 重要な結果として、公理を満たす任意の複雑性測度でブラムの...
5 KB (930 words) - 13:05, 27 September 2018
も同大学で計算機科学の教授を務めている。 1960年代、ブラムは具体的なハードウェアからは独立した公理的な複雑性理論を生み出した。この理論はゲーデル数とブラムの公理に基づいている。具体的な機械モデルに基づいていないが、この理論から圧縮定理、ギャップ定理、honesty theorem、ブラムの加速定理などが生み出された。...
5 KB (425 words) - 00:34, 6 March 2021
数理論理学 (category 日本語版記事がリダイレクトの仮リンクを含む記事)
の包括的な手引書となった。 数学が正確な基礎の上に築かれていなかったことへの不安が、算術、解析、幾何のような数学の基礎的な領域に対する公理系の開発をもたらした。 論理学において、算術とは自然数の理論を意味する。ジュゼッペ・ペアノ(1889)は後に彼の名前が付けられた算術の公理系(ペアノの公理...
72 KB (7,671 words) - 07:50, 13 April 2024
論理学 (category 英語版ウィキペディアからの翻訳を必要とする選り抜き記事)
公理がどのような事態を表現しているかを考えてメタ証明を行なうモデル理論的方法を使用している。これはポーランドで進められていた研究成果が1930年代にアルフレト・タルスキによって紹介された。また集合論の研究が進んだことで、素朴な定義の諸問題が明らかにされており、いくつかの公理の...
13 KB (2,000 words) - 17:03, 18 March 2024
マヌエル・ブラム: ブラムの公理に基づいた公理的複雑性理論を構築した スティーブン・クック ユリス・ハルトマニス リチャード・カープ アディ・シャミア リチャード・スターンズ アンドリュー・チーチー・ヤオ レスリー・ヴァリアント Leonid Levin(英語版) [脚注の使い方] ^ a b c...
23 KB (3,619 words) - 16:32, 28 April 2023
複雑性 (category 哲学の概念)
アルゴリズム情報理論において、文字列の「コルモゴロフ複雑性」とは出力がその文字列に一致するプログラムの長さの最小値である。ブラムの公理に基づいたコルモゴロフ複雑性の公理的アプローチは、Mark Burgin が論文で提唱した。公理的アプローチは他の手法も包含している。そして、公理的に定義された一般化されたコルモゴロフ複雑性の...
21 KB (2,977 words) - 06:14, 12 September 2023
複雑性クラス (section 複雑性クラス間の関係)
の集合である。ここで、領域とは、実世界ではメモリ空間、チューリングマシンではテープの長さと考えればよい。一部の複雑性クラスは函数問題の集合である(例えばFP)。 数理論理学では表現の必要に応じて多数の複雑性クラスが定義される(記述計算量)。 ブラムの公理...
13 KB (1,049 words) - 00:42, 23 November 2022
ポワンカレの上半平面モデル ポントリャーギン双対 マーティンの公理 マクドナルド恒等式 マクローリン展開 マシュケの定理 マチンの公式 マンデルブロ集合 ミンコフスキーの定理 メネラウスの定理 メビウスの帯 メリン変換 メルセンヌ数 モース関数 森田同値 ヤコビ行列式 ヤング図形 ヤングの定理 ヤン・バクスター方程式...
9 KB (922 words) - 13:50, 30 June 2023
の完全な公理系を提供することによって行った。ヒルベルトの公理系(英: Hilbert's axioms)の「間にある」(英: betweenness)という概念を使って座標を付けることなく空間を特徴づけることをはじめ、それまではベクトル場によって行われていたことをするために点の間の...
124 KB (11,458 words) - 19:09, 8 April 2024
変数が多数の場合:自由競争 2.5 「ローザンヌ」学説 3. 効用の概念 3.1 選好と効用 3.2 測定の原則:前置き 3.3 確率と数量化された効用 3.4 測定の原則:詳論 3.5 数量化された効用の公理的扱いの概念的構造 3.6 公理とその解釈 3.7 公理に関する一般的な注意 3;8 限界効用の概念と役割...
344 KB (45,038 words) - 01:11, 30 March 2024
の整式で構成される。すなわち全ての公理は定理とみなされる。公理や既に存在する定理に推論規則を適用して得られる整式も定理に含まれる。整式の文法とは異なり、ある整式が定理であるか否かを決定する手順は必ずしも存在しない。ここでいう定理は「形式体系についての...
7 KB (986 words) - 10:01, 1 June 2024