Черча теза

Матеріал з Вікіпедії — вільної енциклопедії.

Че́рча те́за — твердження, згідно з яким, поняття функція частково-рекурсивна є строгим математичним уточненням обчислюваної функції в інтуїтивному сенсі. Названа на честь американського математика Черча А.

[ред.] Джерела інформації

[ред.] Дивіться також


Сигма Це незавершена стаття з математики.
Ви можете допомогти проекту, виправивши або дописавши її.