12/01/04 02:28:24.73
>>54
ビショップの直観主義数学は、古典論理上の数学より弱いって聞いたけど
71:１３２人目の素数さん
12/01/04 04:21:21.24
ああ、僧正と橋々の構成的解析ね。
72:１３２人目の素数さん
12/01/04 05:08:22.74
橋々？僧正は Bishop のことだな。
73:スレタイスレ446
12/01/04 07:34:38.51
>>69
最初期はルイスやゲーデルやタルスキやマッキンゼーらが
シンタックスのみで研究していた。
ただし関係構造が必要なのは知られていて、
カルナップの意味論なんかが考案された。
既にプライアーの時相論理が開発されていて、
自然数をドメインとして＜を関係として持つモデルがあった。
50年代の終わりにようやくクリプキ構造の完全性定理が出来る。