Tag Archives: computer checking

Finite simple groups

The blog Gödel’s Last Letter and P=NP is always worth reading. The two bloggers, RJ Lipton and KW Regan, are computer scientists, but they have interesting things to say about developments in mathematics, and other areas too. For example, last year they … Continue reading

Posted in exposition | Tagged , , , , , | 2 Comments