Re: pet project - 7 Millennium Prize problemss

2004-01-09 Thread Keith Wansbrough 
Christopher Milton [EMAIL PROTECTED] 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?

--KW 8-)
-- 
Keith Wansbrough [EMAIL PROTECTED]
http://www.cl.cam.ac.uk/users/kw217/
University of Cambridge Computer Laboratory.

___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: pet project - 7 Millennium Prize problemss

2004-01-09 Thread Christopher Milton 
--- Keith Wansbrough [EMAIL PROTECTED] wrote:
 Christopher Milton [EMAIL PROTECTED] 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?

I was thinking of combining one of the algebra libraries with a theorem
prover, and maybe a refactoring tool, then plugging in some of the
equations to see what happens, e.g.:

James J. Leifer: Formal logic via functional programming
http://para.inria.fr/~leifer/research.html
http://para.inria.fr/~leifer/articles/logic/LogicviaFP.300.ps.gz
http://para.inria.fr/~leifer/articles/logic/LogicviaFP.gs

Serge Mechveliani: DoCon the Algebraic Domain Constructor
http://www.haskell.org/docon/

Jeroen Fokker: Explaining algebraic theory with functional programs
http://www.cs.uu.nl/people/jeroen/article/algebra/index.html

Refactoring Functional Programs
http://www.cs.kent.ac.uk/projects/refactor-fp/

Yes, it's crazy and naive, but I need to give my brain some exercise.


=
Christopher Milton
[EMAIL PROTECTED]
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: pet project - 7 Millennium Prize problemss

2004-01-09 Thread Bjorn Lisper 
--- Keith Wansbrough [EMAIL PROTECTED] wrote:
 Christopher Milton [EMAIL PROTECTED] 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
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

pet project - 7 Millennium Prize problemss

2004-01-05 Thread Christopher Milton 
Folks,

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.

Chris


=
Christopher Milton
[EMAIL PROTECTED]
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: pet project - 7 Millennium Prize problemss

2004-01-05 Thread Ketil Malde 
Christopher Milton [EMAIL PROTECTED] writes:

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

What's this?  Is there an URL with more information?

-kzm
-- 
If I haven't seen further, it is by standing in the footprints of giants
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe

Re: pet project - 7 Millennium Prize problemss

2004-01-05 Thread Christopher Milton 
--- Ketil Malde [EMAIL PROTECTED] wrote:
 Christopher Milton [EMAIL PROTECTED] writes:
 
  I think  Haskell can be used to solve several, if not all, of
  the seven problems.
 
 What's this?  Is there an URL with more information?

Sorry, I meant to include the URL, but I got distracted.

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

=
Christopher Milton
[EMAIL PROTECTED]
___
Haskell-Cafe mailing list
[EMAIL PROTECTED]
http://www.haskell.org/mailman/listinfo/haskell-cafe