Last Update: 21 April 2010
Note: or material is highlighted |
In doing these readings, remember that our ultimate
question is whether computer science is an engineering
discipline.
In doing these readings, remember that our ultimate
question is whether computer science is a science.
Topic: Computer Ethics (Part II)
Topic: Philosophy of Artificial Intelligence
Topic: Computer Ethics (Part I)
esp. the section "Delegating
Decision Making to Computational Systems",
pp. 306–307.
Topic: Can programs be verified?
Vardi, Moshe Y. (2010),
"More Debate, Please!",
Communications of the ACM
53(1) (January): 5.
Topic: What is the program-world relationship?
Topic: What is
a computer program: Are computer programs scientific theories?
So read it now; it's never too late :-)
Has a useful, if sometimes confusing,
overview of the many meanings of "theory" and "model".
Topic: What is a
computer program: What is implementation?
or the (longer) online version
(click on the title of the paper)
Topic: What is a computer program:
Can programs be copyrighted or patented?
requires downloadable DivX Plus plugin.
Topic: What is a
computer program: What is software?
we'll return to §§3–4 later (just skim
them now)
Topic: What is hypercomputation?
Topic: What is a procedure?
Bratman will be speaking at UB on April 15.
Topic: What is a
computer? (Part II: Philosophy)
Topic: What is an algorithm?
good background for Turing 1936.
the technical parts are, of course,
of interest, but are rather difficult to follow,
incorrect in many parts, and can be skimmed.
(study the simple examples of
Turing machines carefully; skim the complex ones)
(which elaborates on what it
is that a human computer does).
§8 describes the Halting Problem.
You can skim these sections (that's "skim", not "skip" :-)
Topic:
What is a computer? (Part I: History)
written by one of
the leading mathematicians in the field of theory
of computation.
used in automated
theorem proving and knowledge
representation & reasoning
Topic: What is engineering?
Ch. 1 (pp. 3–17);
pp. 25–28;
pp. 31–37
(especially the items in
boldface)
Topic: What is science?
A science
is any study that follows the scientific
method.
If you can get ahold of it in time,
you may read it instead of any of the above.
at the
Critical Thinking Web of the
Department of Philosophy of the University of Hong Kong.
and
actively (i.e., think about each sentence; make notes in your
Reading Journal).
and which parts you can just
skim (i.e., read quickly).
you can split these readings up into 2
groups so that it doesn't become too overwhelming.
Group 1
Group 2
Group 1
Group 2
helped develop
Algol (if you know what that is:-).
Topics: What is philosophy?
What is
philosophy of computer science?
a good intro to the
skeptical, questioning nature of philosophy.