Jabarkan Karya dari Manuel Blum

Pada tahun 60an, Blum mengembangkan teori kompleksitas aksiomatik yang independen terhadap model mesin konkret. Teori ini dikembangkan berdasarkan penomoran Gödel dan aksioma Blum. Meskipun tidak menggunakan model mesin yang spesifik, teori ini mampu menghasilkan hasil yang konkret seperti teorema kompresi, teorema gap, teorema kejujuran dan teorema percepatan Blum yang terkenal.

Karya lainnya antaralah pembangkit bilangan protoacak Blum Blum Shub, sistem kripto Blum-Goldwasser, dan yang terakhir adalah CAPTCHA.