CALCULEMUS
This Directory Index LogBank Main Menu


Konferencja współfinansowana przez Komitet Badań Naukowych

II Warsztaty Logiki, Informatyki i Filozofii Nauki

Maszyna Turinga i Mechanizacja Rozumowań
Zakopane, 27.IX - 1.X, 1998

w pół wieku po raporcie Alana M. Turinga
Intelligent Machinery - 1948



Komunikat nr 1: Temat, warunki etc. Komunikat nr 2: Lista uczestników etc.
Spis treści materiałów przygotowawczych do Warsztatów.
Nowość - nr 7 Mathesis Universalis z odczytami z poprzednich Warsztatów LIiFN: Post 1997.

Komunikat nr 3

P R O G R A M


P O N I E D Z I A Ł E K
10-13   Prof. Marek Zaionc
1. Formalizmy potwierdzajace teze Churcha-Turinga

  1. Maszyny Turinga z typowymi wariacjami jak maszyny wielotasmowe, wieloglowicowe, niedeterministyczne itp. Dla kazdej klasy maszyn - szkic dowodu rownowaznosci z klasycznymi maszynami Turinga.
  2. Maszyny Posta - z podobnym szkicem dowodu.
  3. Formalizm while-programow (standardowe imperatywne jezyki programowania)
  4. Formalizm rachunku lambda (funkcjonalne jezyki programowania)
  5. Szkic dowodu zawierania sie funkcji obliczanych przez maszyny Turinga w klasie funkcji rekurencyjnych. Szkic dowod inkluzji w strone przeciwna (Twierdzenie o formie normalnej rekursji).
P r z e r w a

16-18   Prof. Marek Zaionc
2. Przykladowe problemy nierozstrzygalne

  1. Problem przekatniowy, problem uniwersalny, problem stopu, problem Posta, problem rownowaznosci programow, itp.
  2. Technika redukcji jednego problemu do innego.
P r z e r w a

19-21.30
Relacje z ośrodków reprezentowanych przez uczestników

Prof. Jerzy Pogonowski - UAM, Inst.Lingwistyki, Zakład Logiki Stosowanej.

Dr Grzegorz Bancerek - UwB, Inst.Matematyki, Zakład Informatyki -- projekt "Mizar": reprezentacja wiedzy matematycznej w bazie danych z automatycznym sprawdzaniem dowodów twierdzeń.


W T O R E K

10-13   Prof. R.Murawski
Wprowadzenie do funkcji rekurencyjnych

P r z e r w a

16-18   Prof. Marek Zaionc
Twierdzenia limitujace, twierdzenia Ricea o nierozstrzygalnosci i czesciowej nierozstrzygalnosci dla dowolnego "zachowania sie maszyn".

P r z e r w a 19-21.30
Relacje z ośrodków reprezentowanych przez uczestników.

Prof. Jan Zygmunt, Katedra Logiki i Metodologii Nauk Uniwersytetu Wrocławskiego.

Prof. Witold Marciszewski, Katedra Logiki, Informatyki i Filozofii Nauki UwB: Projekt badań nad ewolucją poglądów Turinga na SI.

Relacje z innych ośrodków (wg zgłoszeń podanych na początku konferencji).


Ś R O D A

11-13   Prof. Marek Zaionc
Twierdzenie Gödla.

P r z e r w a

16-17   Prof. Marek Zaionc
Twierdzenie Gödla (ciąg dalszy).

17-17.45   Prof. Roman Murawski
Zagajenie dyskusji nt. filozoficznych aspektów wyników Gödla.

P r z e r w a

20-21
Dyskusja nad projektem III Warsztatów Logiki, Informatyki i Filozofii Nauki, 1999.
Wstępny projekt pod rozwagę: kontynuacja tematu maszyny Turinga, ze szczególnym uwzględnieniem jego pracy Systems of Logics Based on Ordinals, 1939 (praca w formalizmie Churcha, rozwijająca 1sze twierdzenie Gödla).


Do początku strony