Авиационно инженерство Административно право Административно право Беларус Алгебра Архитектура Безопасност на живота Въведение в професията „психолог” Въведение в икономиката на културата Висша математика Геология Геоморфология Хидрология и хидрометрия Хидросистеми и хидравлични машини Културология Медицина Психология икономика дескриптивна геометрия Основи на икономически т Oria професионална безопасност Пожарна тактика процеси и структури на мисълта, Професионална психология Психология Психология на управлението на съвременната фундаментални и приложни изследвания в апаратура социалната психология социални и философски проблеми Социология Статистика теоретичните основи на компютъра автоматично управление теория на вероятностите транспорт Закон Turoperator Наказателно право Наказателно-процесуалния управление модерна производствена Физика Физични феномени Философски хладилни инсталации и екология Икономика История на икономиката Основи на икономиката Икономика на предприятията Икономическа история Икономическа теория Икономически анализ Развитие на икономиката на ЕС Спешни ситуации ВКонтакте Однокласници Моят свят Facebook LiveJournal Instagram
border=0

Класът на алгоритмично (или машинно изчислими) частични функционални числа съвпада с класа на всички частично рекурсивни функции.

Тази дисертация дава алгоритмично тълкуване на понятието за частично рекурсивна функция. Тя не може да бъде доказана, защото свързва не-строго математическо понятие за интуитивно изчислима функция с строгото математическо понятие за частично рекурсивна функция. Въпреки това, изследванията, проведени от няколко математици в продължение на няколко десетилетия, разкриха пълната целесъобразност да се разгледа концепцията за частично рекурсивна функция като научен еквивалент на интуитивна концепция за изчислима частична функция.

Тезата на Църквата беше достатъчна, за да придаде необходимата точност на формулировките на алгоритмичните проблеми и в някои случаи да позволи да се докаже тяхната неразрешимост. Причината е, че обикновено в алгоритмичните проблеми на математиката не става дума за алгоритми, а за изчислимост на някои специално конструирани функции. По силата на тезата на Църквата въпросът за изчислимостта на дадена функция е еквивалентен на въпроса за неговата рекурсивност. Концепцията за рекурсивна функция е строга. Следователно, обичайната математическа техника понякога ни позволява директно да докажем, че една функция, която решава даден проблем, не може да бъде рекурсивна. Именно по този начин самият Черч успява да докаже неразрешимостта на основния алгоритмичен проблем на логиката на предикатите - проблемът с идентичната истина на формулите за смятане от първа степен.

Вижте също:

Структурни и функционални модели

Формална граматика

Пример 5.4

Формализиране на стойността

Тестови въпроси и задачи

Връщане към съдържанието: Теоретични основи на компютърните науки

2019 @ ailback.ru