数学屋のメガネ - 発想法と科学

 発想法とは形式論理では何にあたるか。私は前提やパラメータを増やすことが弁証法だと思っていた。構造主義なども「発想法」だという。式や証明を想い付くのも発想法、記号を何にするかも発想法。何「から」か？