Talk : Search engines change access to knowledge : FindingOutAbout : Deeper issues : |
What do you believe when your search returns nothing?
Theorem proving:
S: axioms
t : a theorem to prove (or disprove)
S S
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