Analog Computation, Continuous or Empirical: The perspective of Carnapian Explication

This submission has open access
Submission Summary
We discuss two different ways that the term “analog” (as opposed to “digital”) is used in the methodology of computer science and those engineering disciplines that are related to computer science. We show that formal models of computation on real numbers provide, indeed, an explication of what corresponds to the intuition that certain devices operating on continuous quantities perform computations. We call this “the analog continuous thesis” (“the AN-C thesis”), and we show how it is similar to other theses used to explicate computation, such as the Church-Turing thesis or the Cobham-Edmonds thesis.
Submission ID :
PSA2022255
Submission Type
Presenting Co-Author
,
Warsaw University of Technology
Presenting Co-Author
,
Warsaw University of Technology

Similar Abstracts by Type

Submission ID
Submission Title
Submission Topic
Submission Type
Primary Author
PSA2022227
Philosophy of Climate Science
Symposium
Prof. Michael Weisberg
PSA2022211
Philosophy of Physics - space and time
Symposium
Helen Meskhidze
PSA2022165
Philosophy of Physics - general / other
Symposium
Prof. Jill North
PSA2022218
Philosophy of Social Science
Symposium
Dr. Mikio Akagi
PSA2022263
Values in Science
Symposium
Dr. Kevin Elliott
PSA202234
Philosophy of Biology - general / other
Symposium
Mr. Charles Beasley
PSA20226
Philosophy of Psychology
Symposium
Ms. Sophia Crüwell
PSA2022216
Measurement
Symposium
Zee Perry
96 visits