[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [computer-go] Search = Bad!
Don Dailey wrote:
Incidently, I'm no math whiz, but isn't a computer program basically a
mathematical representation of something? And isn't a computer
function pretty much a mathematical function? Isn't a recursive
function a finite series?
It's been too long since I studied 'formal methods' so I don't quite
remember the details, but I always found the fact that a programming
language followed naturally out of a mathematical proof system was way
cool. This language of course is called Prolog. It kind of proves that
programming 'is' doing math in a certain sense.
_______________________________________________
computer-go mailing list
computer-go@xxxxxxxxxxxxxxxxx
http://www.computer-go.org/mailman/listinfo/computer-go/