Manuel Blum: Perbedaan antara revisi

Pada tahun 60an, Blum mengembangkan teori kompleksitas aksiomatik yang independen terhadap model mesin konkrit. 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.

 

 

== Lihat pula ==