Marek Kłocewiak: Granice metody informatycznej

W swoim wystąpieniu chciałbym zwrócić uwagę słuchaczy na teoretyczne ograniczenia postępującej informatyzacji. W tym celu przedstawię pojęcie obliczalności, sformalizowane za pomocą modeli matematycznych takich jak: maszyna Turinga, maszyna RAM, rachunek Lambda czy funkcje rekurencyjne; by następnie powiedzieć o problemach – w tym sensie – nieobliczalnych. Na koniec zestawię formalną definicję obliczalności z obliczalnością w sensie intuicyjnym i połączę je tezą (hipotezą) Churcha-Turinga, z której wynika nieobliczalność prezentowanych problemów w ogólności.