Computer proof, A Priori knowledge, and other minds
Philosophical Perspectives 12:1-37 (1998)
| Abstract | This article has no associated abstract. (fix it) | |||||||||
| Keywords | Computer Knowledge Minds Proof | |||||||||
| Categories | ||||||||||
| Options |
|
|||||||||
Download options| PhilPapers Archive |
Upload a copy of this paper Check publisher's policy on self-archival Papers currently archived: 5,672 |
| External links |
 |
| Through your library | Configure |
Similar books and articlesGarth Hallett (2003). A Middle Way to God. Oxford University Press.
Markus F. Peschl & Chris Stary (1998). The Role of Cognitive Modeling for User Interface Design Representations: An Epistemological Analysis of Knowledge Engineering in the Context of Human-Computer Interaction. Minds and Machines 8 (2):203-236.
Anil Gomes (2009). Other Minds and Perceived Identity. Dialectica 63 (2):219-230.
Peter Aczel, Harold Simmons & S. S. Wainer (eds.) (1992). Proof Theory: A Selection of Papers From the Leeds Proof Theory Programme, 1990. Cambridge University Press.
Timothy Colburn & Gary Shute (2011). Decoupling as a Fundamental Value of Computer Science. Minds and Machines 21 (2):241-259.
Dov M. Gabbay (2000). Goal-Directed Proof Theory. Kluwer Academic.
Analytics
Monthly downloads |
Added to index2009-01-28Total downloads191 ( #1,448 of 549,065 )Recent downloads (6 months)12 ( #5,415 of 549,065 )How can I increase my downloads? |
My notes
Discussion
