Соответствие Карри — Ховарда: различия между версиями
| [непроверенная версия] | [непроверенная версия] |
Содержимое удалено Содержимое добавлено
Deniok (обсуждение | вклад) орфография, пунктуация |
Deniok (обсуждение | вклад) Нет описания правки |
||
Строка 1:
В [[теоретическая информатика|теоретической информатике]] и [[теория доказательств|теории доказательств]] '''соответствие Карри
В конструктивных логиках доказательство некоторого высказывания представляет собой предоставление конкретного свидетельства в пользу этого высказывания. [[Хаскелл Карри]]<ref name="CurryFeys58" /> и [[:en:William Alvin Howard|Вильям Говард]]<ref name="Howard69" /> заметили, что построение таких свидетельств похоже на описание вычислений.
| |||