Groklaw - Digging for Truth

	When you want to know more...

Home
Archives
Site Map
Search
About Groklaw
Awards
Legal Research
Timelines

ApplevSamsung
ApplevSamsung p.2
ArchiveExplorer
Autozone
Bilski
Cases
Cast: Lawyers
Comes v. MS
Contracts/Documents
Courts
DRM
Gordon v MS
GPL
Grokdoc
HTML How To
IPI v RH
IV v. Google
Legal Docs
Lodsys
MS Litigations
MSvB&N
News Picks
Novell v. MS
Novell-MS Deal
ODF/OOXML
OOXML Appeals
OraclevGoogle
Patents
ProjectMonterey
Psystar
Quote Database
Red Hat v SCO
Salus Book
SCEA v Hotz
SCO Appeals
SCO Bankruptcy
SCO Financials
SCO Overview
SCO v IBM
SCO v Novell
SCO:Soup2Nuts
SCOsource
Sean Daly
Software Patents
Switch to Linux
Transcripts
Unix Books

Gear

Groklaw Gear

You won't find me on Facebook

Donate

No Legal Advice

The information on Groklaw is not intended to constitute legal advice. While Mark is a lawyer and he has asked other lawyers and law students to contribute articles, all of these articles are offered to help educate, not to provide specific legal advice. They are not your lawyers.

Here's Groklaw's comments policy.

What's New

STORIES
No new stories

COMMENTS last 48 hrs
No new comments

Sponsors

Hosting:

On servers donated to ibiblio by AMD.

Webmaster

they want to be confident that the algorithm produces the correct answer for all inputs | 335 comments | Create New Account

Comments belong to whoever posts them. Please notify us of inappropriate comments.

they want to be confident that the algorithm produces the correct answer for all inputs

Authored by: BJ on Sunday, March 10 2013 @ 11:35 PM EDT

"[Mathematicians] they want to be confident that the algorithm produces the
correct answer for all inputs".

Correct as in terms of the program/software code and algorithms?
Or 'correct' as in terms of the output?

bjd

[ Reply to This | Parent | # ]

they want to be confident that the algorithm produces the correct answer for all inputs - Authored by: PolR on Monday, March 11 2013 @ 12:08 AM EDT

The capability of bits

Authored by: BJ on Sunday, March 10 2013 @ 11:52 PM EDT

Okay -- Since I'm submerged into Dan Dennett these days -- let me respond to my
own post with another question.

I said "That capability lies wholly outside of the computer, I'd
venture."

When does my assessment become fuzzy? When does said capability not become
exclusively 'human' anymore, and what implications does that have?

And does this very question (one 'computer' taking its input from another
'computer') bear in any way on what the patent(ability)-wars of the near future
will be like?

I recall from GEB that some programs came up with novel ways to prove theorems.
Did the algorithm 'foresee' this? Were we wrong to be astounded by it?

bjd

[ Reply to This | Parent | # ]

The capability of bits - Authored by: PolR on Monday, March 11 2013 @ 12:14 AM EDT

Groklaw © Copyright 2003-2013 Pamela Jones.
All trademarks and copyrights on this page are owned by their respective owners.
Comments are owned by the individual posters.

PJ's articles are licensed under a Creative Commons License. ( Details )