For Programmers: Free Programming Magazines  


Home > Archive > Software Engineering > March 2007 > Re: Only vaguely on the topic of mathementical/formal foundations of computing









You are viewing an archived Text-only version of the thread. To view this thread in it's original format and/or if you want to reply to this thread please [click here]

 

Author Re: Only vaguely on the topic of mathementical/formal foundations of computing
Bernd Paysan

2007-03-07, 8:25 am

Ulf Wiger wrote:
> Personally, I work in industry. While it would be nice to have
> our product designs be provably correct, this is usually only
> possible in theory, if that. We have to rely on intuition, but also
> have to tune our intuition by relating, as much as we can, to
> scientific knowledge. Comparing to some of the previous examples,
> this could then be described as "bad science" (or possibly, not
> science at all). I think that would blur the point - the point
> being that, by that criterion, it cannot possibly _be_ done
> scientifically. There is no scientific theory or method that
> fully covers what we need to do.


There are some cases in recent history where industry was quite ahead of the
scientific community, e.g. plate tectonics. Oil prospectors used plate
tectonics long before it became an accepted theory, simply because you can
find oil when you apply it (i.e. it simply works). And oil prospectors
don't publish papers, they simply find oil (and how they do is kept secret
by the company they work for as competitive advantage).

--
Bernd Paysan
"If you want it done right, you have to do it yourself"
http://www.jwdt.com/~paysan/
Sponsored Links







Also available: Server administration forum archive | Web Design forum archive | Software forum archive | Hardware reviews archive

Copyright 2010 codecomments.com