Talk : Search engines change access to knowledge : FindingOutAbout : Deeper issues :

Not found?


What do you believe when your search returns nothing?

Theorem proving:

S: axioms

t : a theorem to prove (or disprove)

S S

---- or ----

t ~ t

Eg, if you wonder if gene X promotes gene Y,

and search and search, and find nothing that

says it does, can you believe gene X does NOT promote Y ?


Previous: Tell/Ask duality [FOA¤8.3.4] Up:Deeper issues


Created by rik@cogsci.ucsd.edu 4/12/08