pet project - 7 Millennium Prize problemss

Keith Wansbrough Keith.Wansbrough at
Fri Jan 9 10:19:18 EST 2004

Christopher Milton <cmiltonperl at> 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...)

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?

--KW 8-)
Keith Wansbrough <kw217 at>
University of Cambridge Computer Laboratory.

More information about the Haskell-Cafe mailing list