Kurzus kódja: FLN-300.14, BMA-FILD-401.14	
Kurzus megnevezése: A kiszámíthatóság elmélete (Theory of Computability)	
Kurzus előadója: Inotai Balázs	
Kurzus előfeltétele(i): -	
A jegyszerzés módja(i): Referátum vagy szemináriumi dolgozat.	
Követelmények: Aktív részvétel, referátum, szemináriumi dolgozat.	

A kurzus leírása:
A kiszámíthatóság a logika olyan egyetemes része, amely a filozófia számára is rendkívül fontos. Vannak ugyanis jól meghatározható problémák, amelyek nem oldhatók meg. A miértekre keressük a választ, és azt is látjuk majd, hogy a végtelenre tett szinte triviális kikötések a megoldhatatlan problémák szerkezetéről gazdag információkat adnak. A kiszámíthatóságban (és határterületeiben, mint a Gödel-tételek, Church-tézis problémaköre, számítógépek) végső soron a világ metafizikai szerkezete tükröződik, mégpedig igencsak objektív módon. A kurzus célja nem utolsó sorban a logika metafizikai fontosságának bemutatása. Érintünk elmefilozófiai kapcsolódási pontokat is. 	

Kurzushoz tartozó kötelező irodalom:
Elegendő az előadások hallgatása, de aki többet akar: Hartley Rogers: Theory of Recursive Functions and Effective Computability, 1987. 	

További irodalom: S. Barry Cooper: Computability