pet project - 7 Millennium Prize problemss

[Bjorn Lisper]

--- Keith Wansbrough <Keith.Wansbrough at cl.cam.ac.uk> wrote:
> Christopher Milton <cmiltonperl at yahoo.com> 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