Английская Википедия:Dialectica interpretation: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

27 февраля 2024

  • текущ.пред. 01:4001:40, 27 февраля 2024EducationBot обсуждение вклад 8632 байта +8632 Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Arithmetical concept}} In proof theory, the '''Dialectica interpretation'''<ref>{{cite book | title = Über eine bisher noch nicht benützte Erweiterung des finiten Standpunktes | author = Kurt Gödel | publisher = Dialectica | year = 1958 | pages = 280–287 }}</ref> is a proof interpretation of intuitionistic logic (Heyting arithmetic) into a finite type e...»