Daftar isi: 1. EPIMENIDES,GODEL,RUSSEL,DAN CANTOR 1.1 Epimenides 1.2 Godel 1.3 Russel 1.4 Cantor 2. TEORI INFORMAL PADA PUNGSI KOMPUTABEL 2.1 Fungsi fungsi 2.2 String 2.3 Fungsi komputabel,himpunan listabel dan himpunan decidabel 2.4 Fungsi universal dan himpinan tak decidabel 2.5 Teorema rice 3. FUNGSI FUNGSI REKURSIF PRIMITIF 3.1 Rekursi primitif 3.2 Minimasi dan kuantifay…