There's more than one way to do things PerlMonks

Re^3: OT: Mathematics for programming (again)

by casiano (Pilgrim)
 on Sep 17, 2008 at 08:51 UTC ( #711929=note: print w/replies, xml ) Need Help??

The only good way to ensure a program is correct is to run it on a computer.

and viceversa (s/program/proof/g):

The only good way to ensure a proof is correct is to run it on a computer.

If not, what was the reason for all Turing/Godel/Church efforts to fix David Hilbert's problem question on the completeness and consistency of mathematical systems? (Hilbert's program)

That's one of the meanings of Knuth's famous quote

"Beware of bugs in the above code; I have only proved it correct, not tried"

A constructive proof that uses only finite procedures (algorithms) and runs in a Turing-equivalent machine has more value than an ordinary mathematical demonstration.

Create A New User
Node Status?
node history
Node Type: note [id://711929]
help
Chatterbox?
 [Corion]: Michael_W: \$Variables[0] = \$Map_Request_Date; \$Variables[1] = \$Map_Due_Date; ... [choroba]: ( \$Map_Request_Date, \$Map_Due_Date,\$Map _Cutover_Date,\$Map _Complete_Date,\$Ma p_Approved_Date) = @Variables;? [thezip]: something like: \$Map_Request = ; etc. should work [Corion]: Duh - I read it backwards. I shouldn't code today I guess ;) [thezip]: G'day all, BTW!

How do I use this? | Other CB clients
Other Users?
Others imbibing at the Monastery: (15)
As of 2017-04-27 15:38 GMT
Sections?
Information?
Find Nodes?
Leftovers?
Voting Booth?
I'm a fool:

Results (509 votes). Check out past polls.