Ab absurdo
(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.
направление логики, которое в интуиции усматривает основание математики и формальной логики.
конструктивная логики
В начале XX века возникла интуиционистская логика, опирающаяся на математический интуиционизм...
Основная идея математического интуиционизма – существование первоначальной интуиции, благодаря которой...
Конструктивная логика признает идеи интуиционизма продуктивными.
Вещественные числа, как они стали пониматься с времен Дедекинда, неотъемлемая часть математики, используемой при формализации экономических структур. По современным представлениям вещественные числа образуют линейно упорядоченное архимедово поле. Попробуем внимательно проанализировать, насколько адекватно аксиомы, определяющие поле вещественных чисел, отражают ситуации, имеющие место в экономике.
формальной логики психологизм не был полностью забыт – он сохранялся в тонких и гибких концепциях: интуиционизме
Анализ формалистских и интуиционистских элементов в теории А. Бадью показывает, что она распадается на две независимые части, одна из которых относится к формализму (онтология), а другая к интуиционизму (теория субъекта). При этом формалистские элементы служат для концептуализации этических ограничений, накладываемых на интуиционистского субъекта Брауэра.
(от лат.) - от нелепого; искодить от нелепого при доказательстве чего-либо.
одинаковый, вполне соответствующий чему-либо, равный, тождественный.
определение, в котором понятие вводится на основе некоторых исходных положений (аксиом).
Возможность создать свои термины в разработке
Еще чуть-чуть и ты сможешь писать определения на платформе Автор24. Укажи почту и мы пришлем уведомление с обновлением ☺️
Включи камеру на своем телефоне и наведи на Qr-код.
Кампус Хаб бот откроется на устройстве