entscheidungsproblem
-
hilbert'in ortaya attığı soru, kabaca şöyle bişey "tüm matematik problemlerini çözümlemek için sonlu sayıda adım içeren algoritmik bir yöntem var mıdır?". birbirine eşdeğer iki farklı çözümü vardır. (bkz: alan turing), (bkz: alonzo church)
ekşi sözlük kullanıcılarıyla mesajlaşmak ve yazdıkları entry'leri
takip etmek için giriş yapmalısın.
hesabın var mı? giriş yap