- TalkBack 1 of 7:
- Next »
- Thread View
- Flat View
- I suppose proofs could be computer generated
- But unless there's a readable printout, it's only been proven to the computer. Likewise, I have no objections to computer checking of proofs prior to publication with the understanding that it's akin to spell checking. The important thing is to create something that a human being can examine and decide for himself whether it's correct. Without that, mathematical proofs are of little real value.
- Posted by: John L. Ries Posted on: 11/08/08 You are currently: a Guest | Members login | Terms of Use
I suppose proofs could be computer generated
John L. Ries | 11/08/08
|
 
Or if the software has a bug, accidental or otherwise.
HypnoToad | 11/08/08
|
Bugs B. Gone
DannyO_0x98 | 11/08/08
|
|
Not to mention....
John L. Ries | 11/08/08
|
|
Parallel processing?
Ross44 | 11/09/08
|
|
It's not a bug, it's a feature!
brad@... | 11/14/08
|
|
How do you interpret bits?
aeriform | 11/10/08
|
What do you think?
SponsoredWhite Papers, Webcasts, and Downloads
- Key Strategies for Federal Agencies - Safe and Cost Effective Migration for Legacy Hardware GovConnection The federal government has mandated that federal agencies reduce energy ... Download Now
- The Impact of Virtualization Software on Operating Environments VMware Today's use of virtualization technology allows IT professionals to ... Download Now
- Building the Virtualized Enterprise with VMware Iinfrastructure VMware VMware virtualization software has been adopted by over 120,000 enterprise ... Download Now
Premier Vendor Content Whitepapers, webcasts & resources from our Power Center Sponsors
- Learn more about tools to grow your business
-
The Business Essentials Guide provides you useful tools and templates to help grow your business and save you time with automated shipping solutions.
- Save time with the UPS Business Essentials Guide
- Keep Up With The Latest In Document Management with The DocuMentor.
-
Doc delivers the scoop on today's enterprise content management, printer maintenance, and all other issues related to document management. It's the DocuMentor Blog.
- Learn more >>
- The best support in the Linux business
-
If Linux is going to power your mission-critical applications, you'd better have the best support known to business. Novell was rated the top provider of Linux technical support.
- Learn more >>
SmartPlanet
- Thought-provoking progressive ideas on diverse topics that intersect with technology, business, and life, and matter to the world at large. Visit SmartPlanet
- More from IBM
-
- How to Drive Better Business Outcomes with Exceptional Web Experiences Download the eBook
- Driving Business Agility through SOA Connectivity & Integration Read the White Paper from IBM
- Linking Decisions and Information for Organizational Performance Read the Tom Davenport study
