Черча теза
Матеріал з Вікіпедії — вільної енциклопедії.
Че́рча те́за — твердження, згідно з яким, поняття функція частково-рекурсивна є строгим математичним уточненням обчислюваної функції в інтуїтивному сенсі. Названа на честь американського математика Черча А.
[ред.] Джерела інформації
- Енциклопедія кібернетики, т. 2, с. 530.
[ред.] Дивіться також
 |
Це незавершена стаття з математики. Ви можете допомогти проекту, виправивши або дописавши її. |
