nach oben

Minds and Machines

Erschienen in:

01.05.2011

Some Philosophical Issues in Computer Science

verfasst von: Amnon H. Eden

Erschienen in: Minds and Machines | Ausgabe 2/2011

Einloggen

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config

KI-gestützte Suche

Aus

Abstract

The essays included in the special issue dedicated to the philosophy of computer science examine new philosophical questions that arise from reflection upon conceptual issues in computer science and the insights such an enquiry provides into ongoing philosophical debates.

Nächster Artikel Specification

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

über 102.000 Bücher
über 537 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Finance + Banking
Management + Führung
Marketing + Vertrieb
Maschinenbau + Werkstoffe
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 390 Zeitschriften

aus folgenden Fachgebieten:

Automobil + Motoren
Bauwesen + Immobilien
Business IT + Informatik
Elektrotechnik + Elektronik
Energie + Nachhaltigkeit
Maschinenbau + Werkstoffe

Jetzt Wissensvorsprung sichern!

Jetzt informieren

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

über 67.000 Bücher
über 340 Zeitschriften

aus folgenden Fachgebieten:

Bauwesen + Immobilien
Business IT + Informatik
Finance + Banking
Management + Führung
Marketing + Vertrieb
Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Jetzt informieren

http://pcs.essex.ac.uk/minds-machines10/cfp.html.

Vol. 21, Issue no. 2.

E.g., Google’s PageRank.

(Lehman 1996).

Abelson, H. H., Sussman, G. J., & Sussman, J. (1986). Structure and interpretation of computer programs. The MIT electrical engineering and computer science series. Cambridge, MA: MIT Press.

Abramson, D. (2011). Philosophy of mind is (in part) philosophy of computer science. Minds and Machines, 21(2).

Angius, N., Tamburrini, G. (2011). Scientific theories of computational systems in model checking. Minds and Machines, 21(2).

Clark, A., & Chalmers, D. J. (1998). The extended mind. Analysis, 58, 10–23.CrossRef

Colburn, T., Shute, G. (2011). Decoupling as a fundamental value of computer science. Minds and Machines, 21(2).

Copeland, B. J., Shagrir, O. (2011). Do accelerating Turing machines compute the uncomputable? Minds and Machines, 21(2).

DeMillo, R. A., Lipton, R. J., & Perlis, A. J. (1979). Social processes and proofs of theorems and programs. Communications of the ACM, 22(5), 271–280.CrossRef

Dodig-Crnkovic, G. (2011). Significance of models of computation, from Turing model to natural computation. Minds and Machines, 21(2).

Eden, A. H. (2007). Three paradigms of computer science. Minds and Machines, 17(2), 135–167.CrossRef

Fetzer, J. H. (1988). Program verification: The very idea. Communications of the ACM, 31(9), 1048–1063.CrossRef

Gibbs, W. W. (1994). Software’s Chronic Crisis. Scientific American, 271(3), 72–81.

Gruner, S. (2011). Problems for a philosophy of software engineering. Minds and Machines, 21(2).

Halpin, H. (2011). Sense and reference on the web. Minds and Machines, 21(2).

Hoare, C. A. R. (1981, February). The emperor’s old clothes (ACM Turing award lecture). Communications of the ACM, 24(2), 75–83.

Lehman, M. M. (1996). Laws of software evolution revisited. In Proceedings of 5th European Workshop Software Process Technology—EWSPT’96. Nancy, France, October 9.

Lockhorst, G. -J. (2011). Computational meta-ethics. Minds and Machines, 21(2).

Naur, P., Randell, B. (Eds.). (1968). Software engineering, Report of a conference sponsored by the NATO Science Committee. Garmisch, Germany, October 7.

NYTimes. (2011). On ‘Jeopardy!’ Watson win is all but trivial. The New York Times, February 16.

Pincas, U. (2011). Program verification and functioning of operative computing revisited: How about mathematics engineering? Minds and Machines, 21(2).

Suppe, F. (1989). The semantic conception of theories and scientific realism. Urbana: University of Illinois Press.

Suppes, P. (1960). A comparison of the meaning and uses of models in mathematics and the empirical sciences. Synthese, 12, 287–301.MathSciNetMATHCrossRef

Turner, R. (2011). Specification. Minds and Machines, 21(2).

Van Fraassen, B. C. (1980). The scientific image. Oxford: Oxford University Press.

White, G. (2011). Descartes among the robots: Computer science and the inner/outer distinction. Minds and Machines, 21(2).

Titel: Some Philosophical Issues in Computer Science
verfasst von: Amnon H. Eden
Publikationsdatum: 01.05.2011
Verlag: Springer Netherlands
Erschienen in: Minds and Machines / Ausgabe 2/2011
Print ISSN: 0924-6495
Elektronische ISSN: 1572-8641
DOI: https://doi.org/10.1007/s11023-011-9248-9

Springer Professional

Abstract

Bitte loggen Sie sich ein, um Zugang zu Ihrer Lizenz zu erhalten.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Springer Professional "Technik"

Springer Professional "Wirtschaft"

Weitere Artikel der Ausgabe 2/2011

Specification

Descartes Among the Robots

Significance of Models of Computation, from Turing Model to Natural Computation

Computational Meta-Ethics

Do Accelerating Turing Machines Compute the Uncomputable?

Philosophy of Mind Is (in Part) Philosophy of Computer Science

Premium Partner