アイテムタイプ |
Article |
ID |
|
プレビュー |
画像 |
|
キャプション |
|
|
本文 |
AN00150430-00000064-0001.pdf
Type |
:application/pdf |
Download
|
Size |
:725.7 KB
|
Last updated |
:Aug 19, 2010 |
Downloads |
: 2109 |
Total downloads since Aug 19, 2010 : 2109
|
|
本文公開日 |
|
タイトル |
タイトル |
選列の理論について
|
カナ |
センレツ ノ リロン ニ ツイテ
|
ローマ字 |
Senretsu no riron ni tsuite
|
|
別タイトル |
名前 |
On the theory of choice sequences
|
カナ |
|
ローマ字 |
|
|
著者 |
名前 |
服部, 裕幸
|
カナ |
ハットリ, ヒロユキ
|
ローマ字 |
Hattori, Hiroyuki
|
所属 |
慶応義塾大学三田哲学会
|
所属(翻訳) |
Mita philosophy society, Keio University
|
役割 |
|
外部リンク |
|
|
版 |
|
出版地 |
|
出版者 |
名前 |
三田哲學會
|
カナ |
ミタ テツガクカイ
|
ローマ字 |
Mita tetsugakukai
|
|
日付 |
出版年(from:yyyy) |
1976
|
出版年(to:yyyy) |
|
作成日(yyyy-mm-dd) |
|
更新日(yyyy-mm-dd) |
|
記録日(yyyy-mm-dd) |
|
|
形態 |
|
上位タイトル |
名前 |
哲學
|
翻訳 |
|
巻 |
|
号 |
64
|
年 |
1976
|
月 |
1
|
開始ページ |
1
|
終了ページ |
19
|
|
ISSN |
|
ISBN |
|
DOI |
|
URI |
|
JaLCDOI |
|
NII論文ID |
|
医中誌ID |
|
その他ID |
|
博士論文情報 |
学位授与番号 |
|
学位授与年月日 |
|
学位名 |
|
学位授与機関 |
|
|
抄録 |
The purpose of this article is to give a general idea of the theory of choice sequences (TCS) which is of great importance in the intuitionistic mathematics, and to correct some common misunderstanding on the law of the excluded middle. In § 1 the fundamental concepts of TCS are discussed informally. In §§ 2 and 3 it is shown that some laws, which are established in the classical system, can be refuted in TCS. In § 4 a formulation of some Kripke-model in TCS is given on the basis of the suggestions made by Kripke.
|
|
目次 |
1. TCSの基礎概念
2. ブローウェルの原理
3. 排中律の反証
4. Kripke modelとTCS
|
|
キーワード |
|
NDC |
|
注記 |
|
言語 |
|
資源タイプ |
|
ジャンル |
|
著者版フラグ |
|
関連DOI |
|
アクセス条件 |
|
最終更新日 |
|
作成日 |
|
所有者 |
|
更新履歴 |
|
インデックス |
|
関連アイテム |
|