October 27: J.Casti: Limits to Scientific Knowledge

Thread View: sci.logic

1 messages

[T] Back to Threads [V] Tree View [G] Group Articles

1 total messages Started by Helmut Veith (gottlob) Mon, 17 Oct 1994 14:35

#701

Author: Helmut Veith (gottlob)
Date: Mon, 17 Oct 1994 14:35

48 lines
2215 bytes

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

Thread Navigation

This is a paginated view of messages in the thread with full content displayed inline.

Messages are displayed in chronological order, with the original post highlighted in green.

Use pagination controls to navigate through all messages in large threads.

Back to All Threads