References to Gödel's
Theorems for Minds and
Computers:
- Bojadziev,
D., Sloman's view
of Gödel's sentence,
Artificial Intelligence 74 (1995) pp.389-93
[abstract,
paper (PS)]
- ----, Specular Self-Reference,
in E. Gal, M. Marcelli,
P. Michalovic (ed.),
Science and Philosophy in
Shaping Modern European Culture III, Bratislava 1995
[some of it also here]
- ----, Reconstructing Diagonalization(s), Yearbook of
the Kurt
Gödel Society 1989, Vienna 1990
- Boolos, G., The Unprovability of
Consistency - An Essay in
Modal Logic, Cambridge Univ. Press 1979
- Bratko, I.,
Prolog programming for AI, Addison-Wesley 1990
- Casti, J., Paradigms Lost,
William Morrow 1989
- Dennett,
D.C., On Alleged Refutations of Mechanism Using
Gödel's Incompleteness Results, J. Phil. Vol. LXIX, No.
17, Sept. 1972
- Feferman, S., Kurt Gödel: Conviction
and Caution (1983), in S.G. Shanker (ed.),
Gödel's Theorem in Focus, Croom Helm 1988
- Giunchiglia,
F., Smaill,
A., Reflection in constructive and
non-constructive automated reasoning, in H.
Abramson, M.H.
Rogers (ed), Meta-Programming in
logic programming, MIT Press 1989
- Gregory, R. (ed.),
The Oxford Companion to the Mind, Oxford
Univ. Press, 1987
- Haugeland, J. (1981),
Mind Design, Bradford Books
- Hofstadter,
D. (1979), Gödel,
Escher,
Bach:
An Eternal Golden Braid, Basic Books
- ----, Dennett,
D. (1981),
The Mind's I - Fantasies and Reflections on Self and
Soul, Penguin Books
- Kirk, R.,
Mental Machinery and Gödel, Synthese 66, 1986
- Laing,
R.D.,
Knots,
Tavistock Publ. 1970
- Lucas,
J.R., Minds, Machines and Gödel, Philosophy 36,
1961
- Maes,
P., Nardi, D. (ed.),
Meta-level Architectures and
Reflection, North-Holland 1988
- Mendelson, E., Introduction to
MATHEMATICAL
LOGIC, Van Nostrand Reinhold 1964
- Nagel, E., Newman,
J. (1958),
Gödel's Proof, New York Univ. Press
- Penrose,
R., The Emperor's New Mind, Oxford Univ. Press 1989
- ----, Shadows of the Mind, Oxford Univ. Press 1994
- Perry,
J. (1985),
Self-knowledge and
Self-representation, in Proceedings of the 9.th Int. Joint
Conf. on AI, Vol.2, Los Angeles
- Polanyi, M.,
Personal Knowledge, Routledge & Kegan Paul 1958
- Quine,
W.v.Orman,
The Ways of Paradox, in Ways of Paradox and
Other Essays, Harvard Univ. Press 1966, 1977
- Robbin, J.W.,
Mathematical Logic - A First Course, W.A.
Benjamin 1969
- Smith, B.,
Reflection and semantics in a procedural language,
MIT TR-272, 1982
- ----, Varieties of Self-reference, in
J.Y. Halpern (ed.),
Theoretical Aspects of Reasoning about Knowledge,
Proceedings
of the 1986 Conference, Morgan Kaufmann 1986
- Smullyan, R.M.,
Chameleonic Languages, Synthese 60 (1984), pp.201-224
- Turquette, A.R.,
Gödel and the Synthetic A Priori, J.
Phil. No. 57, 1950
- Viliesid, A., El
Teorema de Gödel
- Wandschneider, D. (1975), Zur
Eliminierung des Gödelschen Unvollständigkeitsproblems
im Zusammenhang mit dem Antinomienproblem, Zeitschrift f.
allgemeine Wissenschaftsth. 6:1
- Wang, H.,
Mind, Brain, Machine, Yearbook of the Kurt
Gödel Society 1989, Wien 1990
- Watzlawick,
P., Beavin,
J.H., Jackson, D.J., The Pragmatics
of Human Communication, W.W. Norton & Co., 1967
- Webb,
J. (1980), Mechanism,
Mentalism and Metamathematics - An Essay on Finitism, D.
Reidel Publ. Co.
- Weibel, P., Schimanovich,
W.,
Kurt Gödel: Ein
Mathematischer Mythos, screenplay, ORF TV film, 1986
- Yonezawa,
A., Smith, B. (ed)., Reflection
and Meta-level Architectures,
Proc. Int. Worskhop on New Models for Software
Architecture, Tokyo 1992