22/07/01 08:12:16.71 zMB3BcWd.net
ってゆーか、buzzardにバカにされて終わりだろ
「アイディアの成否については知らんけど（一応言っておく）
証明はみんな納得してないよねwww」とか言われそう
納得してもらうにはformalismを尊重しないとねー
Plenary Speaker: Kevin Buzzard (United Kingdom)
The rise of formalism in mathematics
Lecture on proof formalisation for ordinary mathematicians
Abstract:
Formalism is the art of writing down what you actually mean. 以下略