Monthly Archives: Styczeń 2013

6. spotkanie

W dniu 10 stycznia 2013r. miało miejsce kolejne już spotkanie grupy badawczej „Filozofia w Informatyce”. Odbyło się ono tradycyjnie już w gościnnych progach Akademii Ignatianum w Krakowie. Referentem spotkania był ks. dr hab. Adam Olszewski. Zaprezentował on referat pt. Studium przypadku: Church.

Celem referatu było zaprezentowanie związków tezy Churcha z pewną wersją platonizmu matematycznego. W części początkowej zostały omówione podstawowe pojęcia tyczące się do Tezy Churcha, tj. obliczalność, podstawowe przesłanki tezy oraz koncepcja funkcji rekurencyjnej. Podczas omawiania tej ostatniej rozwinęła się dyskusja o tzw. f-Non-Turing czyli o tym, czy funkcja f jest obliczalna przez Maszynę Turinga (MT). Pomimo tego, że trudno jest sobie wyobrazić możliwość istnienia matematycznego dowodu na obliczalność w sensie MT, z przedstawionych przykładów wynika, że istnieją funkcje, które nie są obliczalne przez MT, ale które są obliczalne efektywnie (Computable). Z filozoficznego punktu widzenia, można byłoby zadać sobie pytanie o prawdziwość/fałszywość samej tezy. Nie jest to jednak wykonalne przez wzgląd na zbyt małą liczbę przesłanek tezy oraz fakt, że ma ona według prelegenta charakter empiryczny. W referacie prowadzono również polemikę z krytycznymi uwagami Urbaniaka czy Piccininiego.

Wygłoszony przez ks. dr hab. A. Olszewskiego referat obejmuje bliską mu tematykę – stanowił rozwinięcie pewnych problemów poruszonych w jego rozprawie habilitacyjnej poświęconej Tezie Church’a.

Materiały: Studium [plik PDF]

Na spotkaniu obecni byli:

  1. K. Czarnecki
  2. M. Hohol
  3. R. Janusz
  4. A. Olszewski
  5. P. Polak
  6. P. Urbańczyk
  7. S. Wilk
  8. M. Wilkowska

Spotkanie kolejne zostało zapowiedziane na 14 lutego 2013r.

Reklamy