2006-10-19から1日間の記事一覧
たまたま、"What is a logic, and what is a proof?" (April 8, 2005) by Lutz Strassburgerという論文を見つけて、読んでみました。比較的短い(印刷して12P)解説的な論文です。表題のとおり、 論理とはなにか? 証明とはなにか? という2つのテーマを扱っ…
Yokoさんてすごいな。 13日: はてなブックマーク - Error 14日: はてなブックマーク - http://www.geocities.jp/lucy_tinycafe/mannerup/hatenauser.html 15日: はてなブックマーク - Yoko's Blog はてな事務局にメールした 15日: はてなブックマーク - FC2…