Re: pet project - 7 Millennium Prize problemss

--- Keith Wansbrough wrote:

Christopher Milton writes:

...

I think Haskell can be used to solve several, if not all, of the seven problems.

Now I have to decide which problem to tackle first.

(a joke, I assume...)

http://www.claymath.org/Millennium_Prize_Problems/

1. Birch and Swinnerton-Dyer Conjecture 2. Hodge Conjecture 3. Navier-Stokes Equations 4. P vs NP 5. Poincare Conjecture 6. Riemann Hypothesis 7. Yang-Mills Theory

Any ideas how to solve any of these, with Haskell or otherwise?

module P where import Complexity_class(np) p = np :-) Björn Lisper