Computer proof, apriori knowledge, and other minds

Nous

Volumn 32, Issue SUPPL. 12, 1998, Pages 1-37

  Burge, Tyler ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 34547853197     PISSN: 00294624     EISSN: 14680068     Source Type: Journal    
DOI: 10.1111/0029-4624.32.s12.1     Document Type: Review

References (4)

1. Goldwasser, Micali, and Rackoff, "The Knowledge Complexity of Interactive proof Systems" in SIAM Journal of Computing 18 (1989), pp.186-208;
2. Goldreich, Micali, and Wigderson, "Proofs that Yield Nothing But Their Validity or All Languages in NP Have Zero- Knowledge Proof Systems" Journal of the Association for Computing Machinery 38 (1991), pp. 691-729;
3. Blum, Santis, Micali, and Persiano, "Non-Interactive Zero Knowledge" (1990)
4. Immanuel Kant, Critique of Pure Reason A361-5. The notion of quasi-memory was later introduced by Sydney Shoemaker, "Persons and Their Pasts" American Philosophical Quarterly 7 (1970), pp. 269-85