2014-05-08から1日間の記事一覧

めんどくさい証明を計算機に投げたい

大量の場合分けや長くて複雑な計算をやるような泥臭い証明が好きではない。そういう人は自分以外にもたくさんいるような気がする。別にはっきりした根拠はないけど,数学に対して「美しい」とか,それに近い形容をする人には,そういう傾向があるのではない…