Czym jest obliczalność? 22 kwietnia w ramach MiNI Akademii w Warszawie

W sobotę 22 kwietnia o godzinie 14.00 zapraszamy na kolejne zajęcia MINI Akademii Matematyki.
W programie wykład prof Anny Zamojskiej Dzienio Czym jest obliczalność?
Teoria obliczalności zajmuje się badaniem, jakie problemy są rozstrzygalne, czyli co można obliczyć w sposób efektywny, a jeszcze inaczej: co można rozwiązać za pomocą komputera. Dzięki wynikom uzyskanym m.in. przez Gödla, Churcha, Turinga już w latach 30-tych XX wieku (a więc przed erą komputerów!) wiadomo, że istnieją problemy w matematyce, które nie są rozstrzygalne. W czasie zajęć spróbujemy zrozumieć to zjawisko. Dowiemy się także, dlaczego matematycy zainteresowali się tą tematyką na początku XX wieku.

Po wykładzie, o godz. 15.15- 16.45 warsztaty, podczas których pogłębimy rozumienie pojęcia funkcji obliczalnej, konstruując maszyny Shoenfielda dla wybranych funkcji. Będziemy więc programować za pomocą kartki i ołówka (lub tablicy i kredy).

Zapraszamy wszystkich miłośników matematyki i informatyki.

Na warsztaty obowiązuje zapisy.

Czekamy na Was 22 kwietnia o godzinie 14.00 w sali 103 Gmachu Wydziału Matematyki i Nauk Informacyjnych, ul. Koszykowa 75 (Teren Centralny Politechniki Warszawskiej)