4
Teorema Gereja dan Teorema Ketidaklengkapan Gödel
Saya baru-baru ini membaca beberapa ide dan sejarah dari pekerjaan inovatif yang dilakukan oleh berbagai ahli logika dan ahli matematika mengenai kemampuan komputasi. Sementara konsep-konsep individual cukup jelas bagi saya, saya sedang mencoba untuk memahami dengan kuat hubungan antar-hubungan di sana dan tingkat abstrak di mana mereka semua terkait. Kita …