現代思想, 第 35 巻、第 16 号青土社, 2007 |
この書籍内から
検索結果1-3 / 29
157 ページ
... モデルを提供することだと見なす考え方、いわゆる意味論的アプローチと呼ばれる立場である(たとえば van Fraassen 1980 参照)。物理理論の場合、数学的記述が不可欠であるから、そのモデルとは数学的なモデルだと言い換えてもよい。テクニカルな詳細に ...
... モデルを提供することだと見なす考え方、いわゆる意味論的アプローチと呼ばれる立場である(たとえば van Fraassen 1980 参照)。物理理論の場合、数学的記述が不可欠であるから、そのモデルとは数学的なモデルだと言い換えてもよい。テクニカルな詳細に ...
221 ページ
... モデルが提案されるが、いずれの体系の意味での計算可能な関数のクラスも互いに同等であることが示され、またそれ以外の意味 ... モデルは、いわば計算機ハードウェアの数学的抽象化であり、現在のデジタルコンピュタの工学的基礎をなしているのに対して ...
... モデルが提案されるが、いずれの体系の意味での計算可能な関数のクラスも互いに同等であることが示され、またそれ以外の意味 ... モデルは、いわば計算機ハードウェアの数学的抽象化であり、現在のデジタルコンピュタの工学的基礎をなしているのに対して ...
226 ページ
... モデルが提案されたが、どのモデルもチャーチ/チューリングのテーゼに従っていることが示されきたからである。この点に関しては、量子チュリング機械と古典チューリング機械の計算可能な関数のクラスが一致することが知られており、その意味では、量子 ...
... モデルが提案されたが、どのモデルもチャーチ/チューリングのテーゼに従っていることが示されきたからである。この点に関しては、量子チュリング機械と古典チューリング機械の計算可能な関数のクラスが一致することが知られており、その意味では、量子 ...
他の版 - すべて表示
多く使われている語句
アインシュタイン あっ あり あるいは いく エネルギー ここ スピン そう それは ダークエネルギー だけ たち チューリング つの つまり てき できない できる でも という とき ところ なっ など なら なり なる において における によって による のか べき ペンローズ また まで モデル よい ラムダ計算 られ られる ろう わけ われわれ 暗号 意識 意味 宇宙 運動 横山 科学 解釈 概念 確率 観測 関係 関数 幾何学 機械 記述 局所性 空間 経験 計算 研究 現在 現象 現代思想 古典 構成 構造 考え 考える 三人称 持つ 時間 次元 実験 実現 実在 社会 主義 重力 小野 松浦俊輔 場合 情報 状態 人間原理 数学 世界 測定 存在 対し 対象 代数 竹内 哲学 統計集団 統計力学 日本 必要 表現 物質 物理学 物理量 文学 変数 問題 理論 立岩真也 粒子 量子コンピュータ 量子ビット 量子もつれ 量子力学 量子論 歴史 魯迅 論理