On mySimon: Michael Kors Razor Clogs
BNET Business Network:
BNET
TechRepublic
ZDNet
TalkBack 1 of 6:
Next »
Mathematical Proofs
There are 2 pieces of coding that stop mathematical proofs, they are Pointers and Array Indicies. These objects are akin to metadata - data about data, which is impossible to make into a proof.

When I was in college 20 years ago, their was a claim that any program could be written with only 3 data structures - stacks, queues, and sets. If you DID write a program like that, you could use math and "prove" your program.
Posted by: Roger Ramjet   Posted on: 05/25/05 You are currently: a Guest | Members login | Terms of Use
Reply to Story Reply to Message

Alert moderator to an offensive message

Subscribe to this discussion via Email or RSS

Mathematical Proofs  Roger Ramjet | 05/25/05
Must be something in the Redmond air  Anton Philidor | 05/25/05
Have they heard of Kurt Godel?  ron_cleaver@... | 05/25/05
There have to be jobs  WiredGuy | 05/26/05
Will there be a job when you graduate?  bsvee | 05/26/05
Perhaps an engineering/CompSci degree is seen as too narrow...  Mark Miller | 05/27/05

What do you think?

SponsoredWhite Papers, Webcasts, and Downloads

SmartPlanet

Click Here