今更、論考探究のまとめ本なんて1920-40年代の歴史読本でしかないよなあ。80年前の考古学w
平文論理学と記号数理論理学の間の隙間はさほど大きくないが、ウィトの教え子でもある
チューリングが先鞭を付けた論理計算とノイマン型コンピュータ、旧型人工知能との隙間は大きい。
さらに最近シフトが始まった量子コンピューティングは非ノイマン型隙間はもはやクレバス。大穴開いてる。
「量子論理」学は微積の計算力が必須。論理を面とか立体空間とかで。その萌芽はウィトと考えの違いで
決別したワイスマンが意味概念をコアと周辺とでドーナツ状で構成される開かれた構造というアイデアの
延長であるのかもしれない。HLAハートは著作、法の概念でこの開かれた構造という概念を採用している。
ウィトは概念嫌いだからワイスマンと決別したわけだが。

今どきの人工知能の基本アイデアが意味は使用である。というウィトのテーゼの発展系でGoogle翻訳の
開発コンセプトとして採用されているという。これはノイマン範疇。量子論理・学ではもっと上昇発展するんだろうね。
チューリングはノイマン型人工知能の父とか言われる。ウィトは差し詰めせんだいの祖父かな。