[Date Prev][Date Next]
[Chronological]
[Thread]
[Top]
[mizar] formal math propaganda
- To: mizar-forum@mizar.uwb.edu.pl
- Subject: [mizar] formal math propaganda
- From: Josef Urban <josef.urban@gmail.com>
- Date: Wed, 11 Aug 2010 11:10:29 +0200
- Domainkey-signature: a=rsa-sha1; c=nofws; d=gmail.com; s=gamma; h=mime-version:date:message-id:subject:from:to:content-type; b=n6kkjr3h2xy/YvQ+3ptOnRkQJl68dl8g39q6bKxh9IXbP310f/tUowjyCXVf/3+6n7 nCjIiVHZUoA5zGsVBWMXXlW3uMMjSmmT4hcc3decqbIpYvV35eeTPwlfjYamI1PkHjP8 bp8uyH7Bqt336Ukfi3LWLqXtUBWq18zrk6Q3g=
For people writing grant proposals for doing formal math, some fresh
propaganda can be derived from (the very interesting discussion at):
http://scottaaronson.com/blog/?p=456#comments
Josef