 |
|
| Blog results | Results 1 - 4 of 4 linking to http://in-theory.blogspot.com/2006/08/natural-proofs.html. (0.07 seconds) |
| Sorted by relevance Sort by date |
| 15 May 2007 by Suresh the 2007 godel prize goes to alexander razborov and steven rudich for their paper, "natural proofs" (jcss vol 55. no. 1, 1997). i'd like to think that godel himself would have approved of this particular award, given the mind-bending ... The Geomblog - http://geomblog.blogspot.com/ |
| 15 May 2007 by Maverick Woo http://www.eatcs.org/activities/awards/goedel2007.html. The 2007 Gödel Prize for outstanding journal articles in theoretical computer science is awarded to: Alexander A. Razborov and Steven Rudich. for their paper ... [Lowerbounds, Upperbounds] - http://magic.aladdin.cs.cmu.edu/ - References |
| 8 May 2007 by Luca Aceto the gödel prize 2007, co-sponsored by eatcs and acm sigact, is awarded to alexander a. razborov and steven rudich for their paper "natural proofs", journal of computer and system sciences, vol. 55, no. 1, 1997, pp. 24-35. ... Process Algebra Diary - http://processalgebra.blogspot.com/ - References |
| 18 Aug 2006 by Andy D the 'probabilistic method' is everywhere in combinatorics. there are plenty of good expositions, with alon and spencer's among the juiciest. i aim to describe an exquisite application due to razborov in 1988 that seems little-known ... Andy's Math/CS page - http://andysresearch.blogspot.com/ |
Stay up to date on these results:
| Google Home - About Google Blog Search Beta - Information for Blog Authors |
