Otomata Church Turing oleh Nadin Nabil Hafizh Ayyasy
Church Turing Oleh : Nadin Nabil Hafizh Ayyasy (5025231061) Dosen: Ilham Gurat Adillion, S.Kom., M.Eng. INSTITUT TEKNOLOGI SEPULUH NOPEMBER SURABAYA 2025/2026 BAB I Pendahuluan 1.1 Latar Belakang Dimulai dengan pertanyaan ambisius dari matematikawan David Hilbert yang dikenal sebagai Entscheidungsproblem (Masalah Keputusan). Hilbert mempertanyakan apakah ada sebuah "prosedur mekanis" atau algoritma universal yang mampu menentukan kebenaran atau kesalahan dari setiap pernyataan matematika. Masalah utama untuk menjawab pertanyaan ini adalah tidak adanya definisi matematis yang formal untuk "prosedur mekanis" itu sendiri; konsep tersebut masih bersifat intuitif. Untuk mengatasi kekosongan definisi ini, pada pertengahan tahun 1930-an, dua pemikir brilian secara independen mengembangkan model komputasi formal mereka. Di Amerika Serikat, ahli logika Alonzo Church menciptakan Kalkulus Lambda (λ-calculus), sebuah sistem berbasis fungsi untuk merepresentasikan komputasi. S...