диагональный аргумент в nLab

Пропустить навигационные ссылки | Домашняя страница | Все страницы | Последние версии | Обсудить эту страницу |

Содержание

• Идея
• Ссылка
• Ссылки

Идея

Диагональные аргументы обычно представляют собой аргументы, накладывающие ограничения на степень, в которой набор TT может «говорить» об атрибутах элементов TT. Они связаны со старыми парадоксами (например, парадоксом лжеца, парадоксом Рассела), которые обычно включают некоторую степень самореференции.

Традиционные «диагональные аргументы» вводятся в доказательства, например,

• Теорема Кантора

• Теорема Гёделя о неполноте

• теорема остановки

, но и традиционная конструкция

• комбинатора с фиксированной точкой

из-за Хаскелла Карри.

Как объяснил Янофски (вслед за Ловером), каждый из этих диагональных аргументов можно рассматривать как примеры 9Х| впервые здесь:

• Георг Кантор, Über eine elementare Frage der Mannigfaltigskeitslehre , Jahresbericht DMV 1 (1891) стр. 75-78. (гдз)

Но его предвосхитил

• Поль Дюбуа-Реймонд, Über asymptotische Werthe, infinitäre Approximationen und infinitäre Auflösung von Gleichungen , Math. Анна. 8 (1874) стр. 363-414. (гдз)

Основополагающие идеи Лоувер появились в

• Ф. Уильям Лоувер, Диагональные аргументы и декартовы закрытые категории , стр. 134-145 в Теория категорий, теория гомологии и их приложения II (Конференция Института Баттель, Сиэтл, Вашингтон, 1968, т. 2) , Springer LNM 92 Berlin 1969. (Перепечатано с комментарием автора как TAC reprint 15 (2006): ссылка)

Неторопливый отчет см. в обсуждении по телефону

• Ф. Уильям Лоувер, Стивен Шануэль,
  Концептуальная математика , Cambridge University Press, 1997.

Обсуждение логики и строгости с использованием идей Ловера о диагональном аргументе и теоремы Гёделя

• Миша Громов. Эргоструктуры, эргологика и универсальная проблема обучения: главы 1, 2. , стр.14-18. 2013.

Хороший обзор

• Носон Янофски, Универсальный подход к самореференциальным парадоксам, неполноте и неподвижным точкам , 2003 (arXiv:0305282)

Необходимые допущения для описания Ловера сведены различными способами в

• Дэвид Майкл Робертс, Субструктурные теоремы о неподвижной точке и диагональный аргумент: тема и вариации (2021) (arXiv:2110.00239)

Последняя редакция: 6 октября 2021 г., 21:04:44. См. историю этой страницы для получения списка всех вкладов в нее.

РедактироватьОбсудитьПредыдущая редакцияИзменения по сравнению с предыдущей редакциейИстория (9 ревизий) Цитировать Распечатать Источник

Форма заказа товаров — UCLA Mathematics

Все наши футболки разработаны нашими собственными студентами-математиками и докторантами. Перейти UCLA Математика!

Пожалуйста, выберите размер, дизайн и количество предметов, которые вы хотели бы видеть, в раскрывающемся меню ниже. Запросы выполняются при наличии на складе.

Примечание. Все размеры унисекс.

ОТДЕЛ. МАСКА ДЛЯ ЛИЦА

3-слойные тканевые маски с карманом для фильтра – 5,00 $

Доступен один размер для взрослых.

Спереди:  

Логотип слева:

Официальный логотип UCLA Math

ОТДЕЛ. HAT

Неструктурированная кепка X-tra Value – 20,00 долларов США

Только один размер для взрослых.

Спереди:  

Логотип спереди:

Официальный логотип UCLA Math

ОТДЕЛ. Толстовка с капюшоном на молнии

Флисовая худи с молнией во всю длину District® V.I.T.™ (унисекс) – 30,00 $

Доступны модели для взрослых Small, Medium, Large, X-Large и 2X-Large.

Спереди:  

Логотип слева на груди:

Официальный логотип UCLA Math

ОТДЕЛ.

ТОЛСТОВКА

Толстовка Gildan Hammer™ для взрослых с круглым вырезом (унисекс) – 30,00 $

Доступна в размерах Small, Medium, Large, X-Large и 2X-Large для взрослых.

Спереди:  

Логотип слева на груди:

Официальный логотип UCLA Math

Футболка HOM Equation

Fruit of the Loom Adult 5 oz. Футболка HD Cotton™ для взрослых — $15,00 

Доступны модели для взрослых Small, Medium, Large, X-Large и 2X-Large.

Описание спереди:

Уравнение Хома

Описание сзади:

Официальный логотип UCLA Math

Футболка Math Word с облаками

Джерси унисекс Bella+Canvas       Футболка для взрослых – $15,00 

Доступны размеры: маленький, средний, большой, X-Large и 2X-Large.

Описание на лицевой стороне: Облако слов из области математических исследований Калифорнийского университета в Лос-Анджелесе (например, топология, алгебра и т. д.)

Описание на оборотной стороне:

Официальный логотип UCLA Math

Футболка Breakthrough

Футболка унисекс для взрослых Fruit of the Loom – 15,00 $

Доступны модели для взрослых Small, Medium, Large, X-Large и 2X-Large.

Передняя часть Описание: Дизайн в честь премии профессора Теренса Тао за прорыв 2015 года в области математики.

Назад Описание:

UCLA Mathematics

постоянно работает

футболка

ВОЛС, взрослый 4,7 унции. Футболка для взрослых Sofspun Jersey Crew, цвет
Athletic Heather – $15,00

Доступен в размерах Adult Small, X-Large и 2X-Large.

 

В НАСТОЯЩЕЕ ВРЕМЯ ПРОДАНЫ СРЕДНИЕ И БОЛЬШИЕ.

Описание на лицевой стороне: Математика Калифорнийского университета в Лос-Анджелесе, написанная греческим алфавитом

Описание на оборотной стороне: Функционирует непрерывно с *ответ указан в математическом уравнении*

Футболка Infinity

Fruit of the Loom® Adult 5 унций. Хлопковая футболка HD для взрослых цвета Aquatic Blue — 15,00 $

Доступны модели для взрослых Small, Medium, Large, X-Large и 2X-Large.

Спереди Описание:  Уравнение, которое гласит: «Ограничения человека, поступающего в Калифорнийский университет в Лос-Анджелесе + Математика, равны бесконечности».

Назад Описание: Официальный логотип UCLA Math

футболка друзей-математиков

FOTL, хлопковая молодежная футболка с коротким рукавом (только молодежные размеры) – $10,00

ПРОДАНО.

Передняя часть Описание: Животные со скрытыми математическими символами и названием UCLA Math.

Задняя часть Описание: Пусто

Товары UCLA Mathematics Форма заказа

Платежная информация: Только наличные или чек (оплачивается в пользу UC Regents). Оплата только после подтверждения заказа по электронной почте. Если у вас есть дополнительные вопросы, обращайтесь по адресу [email protected].

Имя

Фамилия

Ваш адрес электронной почты

Размер (унисекс)

Молодежный большой Молодежный X-большой Взрослый маленький Взрослый средний Взрослый большой Взрослый X-большой 2X-большой

Дизайн футболки

Hom EquationMath Word CloudПрорывНепрерывное функционированиеБесконечность

Толстовка Dept.

Толстовка с капюшоном и круглым вырезом на молнии

Аксессуары

Маски для лицаШляпы

Если вы покупаете несколько товаров, пожалуйста, укажите ваш заказ здесь (размер и дизайн).

Метод оплаты?

Кассовый чек (подлежит оплате регентам Калифорнийского университета)

Способ доставки?

Получение в MS 6363, с понедельника по пятницу с 8:00 до 17:00 Отправка через USPS (дополнительная плата в размере 5 долларов США)

Если вы выбрали доставку, установите флажок ниже:

Я согласен на оплату доставки моего заказа в размере 5 долларов США.