🚀 go-pugleaf

Kurt Goedel Society
University of Technology, Vienna, Austria


Lecture Announcement
--------------------

JOHN L. CASTI
=============
Santa Fe Insitute

		
Limits to Scientific Knowledge
------------------------------
Thursday, October 27, 1994, 16:45


ABSTRACT:

Through the work of Goedel, Turing, Chaitin and others, it is by now
well known that there are logically undecidable questions in
mathematics. The goal of this talk is to explore whether undecidability
extends in any meaningful fashion to scientific questions {\em outside} of
mathematics. It will be shown that consideration of this matter
involves a detailed investigation of the interrelations between
observations in the physical world, completeness in mathematics
and program correctness in computation.



PLACE:


Lecture room HS 6, Technische Universitaet Wien, Hauptgebaeude, Karlsplatz 13, 1040 Vienna


------------------------
Kurt-Goedel-Gesellschaft
Technische Universitaet Wien
Institut fuer Computersprachen E185.2
Resselgasse 3/1, A-1040 Wien

Tel: (+43 1) 588 01/4088
Fax: (+43 1) 504 15 89
email: kgs@logic.tuwien.ac.at

Mit Unterstuetzung des
Bundesministeriums fuer Wissenschaft und Forschung