Результаты поиска
Перейти к навигации
Перейти к поиску
- ...ческой теории игр]], [[Логика знаний|эпистемической модальной логики]] и [[Эпистемология|эпистемологии]]. [[Случайное событие|Событие]] является взаимным знанием, е [[Категория:Формальная эпистемология]] ...3 КБ (103 слова) - 03:01, 15 июня 2022
- [[Категория:Формальная эпистемология]] ...4 КБ (123 слова) - 13:39, 8 мая 2021
- [[Категория:Формальная эпистемология]] ...8 КБ (272 слова) - 13:38, 8 мая 2021
- * В [[Эпистемология|эпистемологии]] [[Мартин-Лёф, Пер|Пер Мартин-Лоф]] (1996) анализирует симво ...ования]] (то есть [[Синтаксис (логика)|синтаксисом]]) некоторой заданной [[Формальная система|формальной системы]].<ref>{{Cite web |url=http://dingo.sbs.arizona. ...15 КБ (870 слов) - 07:42, 22 ноября 2023
- ...[[Формальная арифметика|формальной арифметики]] и, как следствие, всякой [[Формальная система|формальной системы]], в которой можно определить основные арифметич Первая теорема утверждает, что если формальная арифметика непротиворечива, то в ней существует невыводимая и неопровержима ...39 КБ (1089 слов) - 22:01, 10 октября 2024
- [[Категория:Формальная эпистемология]] ...15 КБ (369 слов) - 20:52, 12 декабря 2024
- |интересы = [[эпистемология]], [[логика]], [[этика]], [[эстетика]] ...7, p. 28.</ref>. Сначала был известным [[Логика|логиком]], затем занялся [[Эпистемология|эпистемологией]], а в последние 20 лет своей жизни много писал об [[Этика|э ...43 КБ (1131 слово) - 09:20, 20 февраля 2025
- '''Паранепротиворечивая логика''' — стремление [[Формальная система|формальной системы]] к решению проблемы [[Противоречие|противоречий * [[Эпистемология]] и {{iw|Пересмотр убеждений|пересмотр убеждений|en|Belief_revision}}: в ка ...59 КБ (2079 слов) - 12:47, 13 марта 2025
- ...145438/%D0%A4%D0%BE%D1%80%D0%BC%D0%B0%D0%BB%D1%8C%D0%BD%D0%B0%D1%8F |title=Формальная арифметика |publisher=[[Большая советская энциклопедия]] |accessdate=2013-0 ...ютере. Практическая потребность в этом возникла в связи с необходимостью [[Формальная верификация|формальной верификации]] корректности компьютерных алгоритмов и ...118 КБ (2471 слово) - 00:35, 18 февраля 2025
- ..., S. 15.</ref>. Лейбниц многократно возвращался к задаче «математизации» [[Формальная логика|формальной логики]], пробуя применять при этом [[арифметика|арифмети В [[Эпистемология|теории познания]]<ref group="К">[[Эпистемология|Гносеологические]] идеи Лейбница изложены в его работе «Новые опыты о челов ...254 КБ (4297 слов) - 17:08, 15 февраля 2025