>>188
そういう意味では　>>172 の言う非古典論理研究者の方は
「ある論理が決定可能」という数学的性質を証明すると
それに興味を持ってくれる応用指向研究者がいるはずなので、
「ロジシャンから通常の数学者への片思い」よりは幸せか？