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

Фильтровать правкипоказатьскрыть

По дату:

Скрыть выбранное

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

Внешние инструменты:

Условные обозначения патрулирования: патрулированная версия, непроверенная версия. Имена авторов изменений могут быть недоступны на части страниц из-за рисков политического преследования в России и Беларуси.

текущ.пред. 05:0605:06, 6 мая 2024‎ 43K1C7 обсуждение вклад‎ 17 324 байта +30‎ оформление отменить [отпатрулирована участником 43K1C7]

текущ.пред. 01:3201:32, 22 декабря 2023‎ InternetArchiveBot обсуждение вклад‎ 17 294 байта +86‎ Спасено источников — 2, отмечено мёртвыми — 0. Сообщить об ошибке. См. FAQ.) #IABot (v2.0.9.5 отменить

текущ.пред. 11:5311:53, 20 ноября 2023‎ 195.70.222.95 обсуждение‎ 17 208 байт +59‎ →‎Независимость аксиом: ссылка отменить Метка: через визуальный редактор

текущ.пред. 15:5415:54, 22 июля 2023‎ Valmin обсуждение вклад‎ м 17 149 байт +1‎ откат правок AnoshkoAlexey (обс.) к версии InternetArchiveBot отменить Метка: откат [отпатрулирована автоматически]

текущ.пред. 22:4022:40, 29 июня 2023‎ AnoshkoAlexey обсуждение вклад‎ м 17 148 байт −47‎ Удаление шаблона {{Математическая логика}} отменить Метки: отменено через визуальный редактор

текущ.пред. 21:4621:46, 26 июня 2023‎ AnoshkoAlexey обсуждение вклад‎ м 17 195 байт +46‎ Добавляет шаблон {{Математическая логика}} отменить Метки: отменено редактор вики-текста 2017 ссылка на неоднозначность

текущ.пред. 00:4100:41, 4 октября 2022‎ InternetArchiveBot обсуждение вклад‎ 17 149 байт +192‎ Спасено источников — 2, отмечено мёртвыми — 0. Сообщить об ошибке. См. FAQ.) #IABot (v2.0.9.2 отменить [отпатрулирована участником РоманСузи]

текущ.пред. 15:2415:24, 5 января 2022‎ 5.18.91.226 обсуждение‎ 16 957 байт −1‎ →‎Важнейшие результаты: исправление опечатки отменить Метка: через визуальный редактор
текущ.пред. 15:2315:23, 5 января 2022‎ 5.18.91.226 обсуждение‎ 16 958 байт +151‎ внутренние ссылки отменить Метка: через визуальный редактор

текущ.пред. 10:5910:59, 26 декабря 2020‎ Amk1925 обсуждение вклад‎ 16 807 байт +40‎ →‎Важнейшие результаты: Ссылка на страницу Алонзо Чёрча. отменить Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим [отпатрулирована участницей Icannotyet]
текущ.пред. 10:5510:55, 26 декабря 2020‎ Amk1925 обсуждение вклад‎ 16 767 байт +138‎ →‎См. также: Ссылки на страницы Логика первого порядка Логика высшего порядка. отменить Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

текущ.пред. 06:2206:22, 23 декабря 2020‎ Alexei Kopylov обсуждение вклад‎ 16 629 байт −229‎ →‎Непротиворечивость: отмена правки Blue signal flare, было правильно отменить [отпатрулирована участником Alexei Kopylov]

текущ.пред. 21:2621:26, 22 декабря 2020‎ Amk1925 обсуждение вклад‎ 16 858 байт +23‎ →‎Важнейшие результаты: Совсем коротко не получается. отменить Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим
текущ.пред. 20:4120:41, 22 декабря 2020‎ Amk1925 обсуждение вклад‎ 16 835 байт +63‎ →‎Важнейшие результаты: Ссылка на страницу Алгоритмически неразрешимая задача для информации о доказательстве Чёрча, что таковой является задача определения общезначимости произвольной формулы логики предикатов. отменить Метки: с мобильного устройства из мобильной версии через расширенный мобильный режим

текущ.пред. 19:2719:27, 22 июля 2020‎ Ailbeve обсуждение вклад‎ 16 772 байта +16‎ →‎Литература: +{{Логика}} отменить Метка: редактор вики-текста 2017

текущ.пред. 09:5009:50, 30 июня 2020‎ Leganto Esploristo обсуждение вклад‎ 16 756 байт +22‎ Нет описания правки отменить

текущ.пред. 06:0906:09, 11 апреля 2020‎ 78.36.180.2 обсуждение‎ 16 734 байта 0‎ Нет описания правки отменить

текущ.пред. 18:1818:18, 3 апреля 2020‎ Blue signal flare обсуждение вклад‎ м 16 734 байта +2‎ Путаница в понятиях противоречивости и непротиворечивости. отменить Метка: через визуальный редактор

текущ.пред. 09:5509:55, 20 февраля 2020‎ Vs64vs обсуждение вклад‎ м 16 732 байта −55‎ откат правок 78.29.32.32 (обс.) к версии Рейму Хакурей отменить Метка: откат [отпатрулирована автоматически]
текущ.пред. 09:5409:54, 20 февраля 2020‎ 78.29.32.32 обсуждение‎ 16 787 байт +55‎ НЕ понятно сложна отменить Метка: через визуальный редактор
текущ.пред. 09:5109:51, 20 февраля 2020‎ Рейму Хакурей обсуждение вклад‎ м 16 732 байта +16 364‎ автоматическая отмена правки участника 78.29.32.32 (0.95/0.026) отменить Метка: откат [отпатрулирована автоматически]
текущ.пред. 09:5109:51, 20 февраля 2020‎ 78.29.32.32 обсуждение‎ 368 байт −16 364‎ Очень сложно отменить Метки: замена через визуальный редактор

текущ.пред. 13:1113:11, 11 января 2020‎ Mayyskiyysergeyy обсуждение вклад‎ 16 732 байта +56‎ →‎См. также: добавлена «Аксиоматика термодинамики» отменить [отпатрулирована автоматически]

текущ.пред. 13:2813:28, 9 апреля 2019‎ Zijer обсуждение вклад‎ м 16 676 байт +28‎ →‎Основные положения: добавил ссылку на статью Правило вывода отменить [отпатрулирована участником Alexei Kopylov]

текущ.пред. 11:1811:18, 19 ноября 2017‎ LGB обсуждение вклад‎ 16 648 байт +30‎ →‎Полнота отменить [отпатрулирована автоматически]

текущ.пред. 11:5311:53, 16 октября 2017‎ BASant обсуждение вклад‎ 16 618 байт +30‎ Нет описания правки отменить Метка: через визуальный редактор [отпатрулирована автоматически]

текущ.пред. 12:3612:36, 14 апреля 2017‎ 31.173.240.240 обсуждение‎ 16 588 байт −13‎ оформление отменить [отпатрулирована участником Wikifido]

текущ.пред. 12:0612:06, 18 марта 2017‎ 188.208.192.153 обсуждение‎ 16 601 байт +33‎ Нет никаких свидетельств существования такой работы, есть только "Основания математики". В любом случае изобретение формальных систем в со отменить [отпатрулирована участником Alexei Kopylov]