1 2011.5.21 Ph.D Okayama-7 Résumé; Tani R. Fra: I∴L∴P∴ 真理と証明 ＊小論・「正しさ」の≪身躰性≫について ここにある部族が存在して、その部族の人々は、「証明」という概念にわれわれとは少�
1 2011.5.21 Ph.D Okayama-7 Résumé; Tani R. Fra: I∴L∴P∴ 真理と証明 ＊小論・「正しさ」の≪身躰性≫について ここにある部族が存在して、その部族の人々は、「証明」という概念にわれわれとは少し違った意味合いを与えて いる、と仮定してみよう。すなわち、その部族の人々は、ある対象 o と o から連続する 99 個の対象との、どれもが 述語 φ を充たすことを『証明』可能なとき、o から連続するすべての対象 x に関して φ(x).が成立することを『証明』 できる（というか、前者それ自体が後者の『証明』である）、と考えるのである。通常の推論法則に加え、こうした ルールをも許容する場合、例えば、1 と 1 から連続する 99 個の自然数とのそれぞれ（要するに 1～100）に関して、 約数の個数が 13 以下となるのは『証明』可能である。それは、
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
処理を実行中です
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
データシート
CiNii Research
CiNii Research
http://portal.dl.saga-u.ac.jp/bitstream/123456789/81615/1/kihara_200801.pdf
つくばリポジトリ
Toshihiko Ise / Papers and Talks
https://www.kurims.kyoto-u.ac.jp/~kyodo/kokyuroku/contents/pdf/0927-12.pdf
18 世紀ドイツにおける庭園文化と文学言語 Garden Culture and Literature in 18 -Century Germany
