Church-Turing-tézis
Kiejtés
- IPA: [ ˈhurɦturiŋkteːziʃ]
Főnév
- (matematika, számításelmélet) minden formalizálható probléma, ami megoldható algoritmussal, az megoldható Turing-géppel is, illetve bármilyen, a Turing-gép fogalmával azonos számítási teljesítményű absztrakt modellel, pl. lambda-kalkulussal is; azaz a Turing-gép (vagy ekvivalensei) a feladatmegoldó eljárások legáltalánosabb és a fenti értelemben legerősebb példája.
Fordítások
Tartalom