現代思想, 第 35 巻、第 3 号青土社, 2007 |
この書籍内から
検索結果1-3 / 25
181 ページ
... 変数と呼ばれる。現代論理学に翻訳する際に自由変数とるか束縛変数となるかは重要な点である。この定数は図形を記述する場面では束縛変数にはならないが、最終的には束縛変数に翻訳されることもある。「直線 ax + by = 1 と原点との距離は( 1 / a ) + ( 1 ...
... 変数と呼ばれる。現代論理学に翻訳する際に自由変数とるか束縛変数となるかは重要な点である。この定数は図形を記述する場面では束縛変数にはならないが、最終的には束縛変数に翻訳されることもある。「直線 ax + by = 1 と原点との距離は( 1 / a ) + ( 1 ...
182 ページ
... 変数と呼ばれ、函数の引数となるが独立変数と呼ばれる。即ち式( * )に於いて独立変数とはラムダ束縛される変数として働関数型プログラミング言語で云うならば仮引数である。独立変数 x は、単にラムダ束縛される変数であるだけなのではない。「 y = 2x + ...
... 変数と呼ばれ、函数の引数となるが独立変数と呼ばれる。即ち式( * )に於いて独立変数とはラムダ束縛される変数として働関数型プログラミング言語で云うならば仮引数である。独立変数 x は、単にラムダ束縛される変数であるだけなのではない。「 y = 2x + ...
184 ページ
... 変数であり、現代論理学には無い変数の用法である。本稿では数学に登場する様々な変数の様態を考察した。その考察の手段として現代論理学との比較を行なった。そして、数学での変数の用法は現代論理学とは全く異なることを示した。これを、現代論理学が ...
... 変数であり、現代論理学には無い変数の用法である。本稿では数学に登場する様々な変数の様態を考察した。その考察の手段として現代論理学との比較を行なった。そして、数学での変数の用法は現代論理学とは全く異なることを示した。これを、現代論理学が ...
他の版 - すべて表示
多く使われている語句
Gödel あっ あり あるいは カントール ゲーデル ここ これら さらに しまう スコーレム すなわち そう それは だけ たち つの つまり できない できる でも という とき なけれ なっ なら ならない なる において における によって による のか ヒルベルト ます また まで より られ られる れる ろう わけ 意味 一般 宇宙 解決 解釈 回路 概念 完全性定理 関係 関数 基礎 機械 帰結 帰納 規則 記号 記述 議論 形式 経験 計算 決定 結果 研究 言語 公理 公理系 構成 構文論 考え 参照 事実 持つ 時間 自然数 実際 主張 集合論 述べ 述語 順序 証明 場合 人間 推論 数学 世界 性質 正当化 全体 存在 体系 対し 対象 直観主義 直観主義論理 定義 哲学 同じ 独立 必要 表現 部分 物理 変数 無限 無矛盾性 矛盾 命題 問題 有限 与え 用い 理論 立場 連続体 論文 論理学