Monthly Archives: Czerwiec 2015

27. spotkanie – Teza Churcha w informatyce

18 czerwca, w gościnnych murach Akademii Ignatianum, odbyło się ostatnie w tym roku akademickim, spotkanie grupy Maquinaposzukującej implikacji filozoficznych w informatyce.

Tym razem Adam Olszewski rozważał odpowiedź na pytanie Czy teza Churcha ma jeszcze jakieś znaczenie dla informatyki? Zauważył, że algorytmiczny punkt widzenie jest doskonałym sposobem porządkowania rzeczywistości, w tym rzeczywistości informatycznej. W wyniku próby aksjomatyzacji informatyki powstała teza Churcha, będącej intuicyjnym pojęciem funkcji efektywnie obliczalnej. Niestety, tym samym został przedstawiony nierozwiązywalny, w tym ujęciu, problem stopu, którego nie jest w stanie obliczyć żadna funkcja rekurencyjna. Jednak problem nie został ostatecznie zamknięty jako nierozwiązany. Pojawiła się bowiem idea hiperobliczalności, która dzięki potencjalnej możliwości rozszerzenia pojęcia obliczalności, może przynieść rozwiązanie. W ten sposób teza Churcha została osłabiona.

W dalszej części referatu, Olszewski przedstawił wyniki teoretycznych rozważań, odnoszących się do prób implementacji hiperobliczalności w strukturze komputerowej. Przedstawił również modele obliczalności i związaną z nimi hierarchię arytmetyczną. Wskazał również kilka modeli alternatywnych.

Spotkanie zakończyło się dyskusją nad tym, czy możliwe jest by teza Churcha była fałszywa. Zastanawiano się również, jak taka możliwość zmieniłaby logikę i sposoby rozwiązywania nierozstrzygalnych dotychczas problemów.

Reklamy

26. spotkanie – Informacja, ewolucja świata i ontologia.

Kolejne spotkanie, które odbyło się w maju, zostało ponownie poświęcone informacji. Referat  pt: Informacja, ewolucja świata i ontologia wygłosił Łukasz Mścisławski.

informacja_2W referacie został omówiony związek informacji z czasem. Sposób postrzegania czasu generuje podstawowe założenia człowieka. Informacja staje się zatem wieloaspektowa, ponieważ zależy od subiektywnego postrzegania rzeczywistości. Istnieje wielość definicji informacji, wszystkie związane ze sposobem opisywania świata. Informacja zatem jest nierozerwalnie związana z kontekstem, stając się sama w sobie niejasna i niedookreślona.

Mścisławski zwrócił uwagę, że należy oderwać informację od fizykalnego podłoża. Zarówno postrzeganie jej w fizyczny lub formulatywny sposób jest niewystarczające dla zrozumienia związku informacji z rzeczywistością.

Referat wywołał ciekawą dyskusję na temat powstawania informacji i jej związków z systemami wiedzy, przekonaniami i uzasadnieniami.

W spotkaniu uczestniczyli:

P. Gumułka

R. Janusz

R. Krzanowski

K. Mamak

Ł. Mścisławski

P. Polak

A. Sarosiek