Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/init.php on line 69 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 48 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 49 Warning: strtotime(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 51 Warning: date(): Invalid date.timezone value 'Europe/Kyiv', we selected the timezone 'UTC' for now. in /var/www/h77455/data/www/psyoffice.ru/engine/modules/news/nes/nes_news.php on line 52
|
psyoffice.ru » Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г.
КОНСТРУКТИВНАЯ ЛОГИКА(лат. constructio — построение) — направление в математической логике. Начало развитию К. л. положено работами Л. Брауэра, Г. Вейля, А. Рейтинга. Осн. идея К. л. состоит в запрещении переносить на бесконечные множества принципы, верные для конечных множеств (напр., положение о том, что целое больше части, исключенного третьего закон и др.). Различны т. зр. классической и К. л. на понятие бесконечности: первая рассматривает бесконечность как актуальную, завершенную, вторая — как потенциальную, становящуюся. Для К. л. характерно также индуктивное построение (конструирование) объектов и логико-математических теорий в целом. Исходя из принципов К. л., делаются попытки пересмотреть осн. результаты совр. математической логики и математики. Большой вклад в развитие К. л. внесли Гёдель, С. Клини, Тьюринг, советские ученые А. Н. Колмогоров. А. А. Марков, Н. А. Шанин. Категория: Словари и энциклопедии » Философия » Философский энциклопедический словарь.- М.: Советская энциклопедия, 1989 г. Другие новости по теме: --- Код для вставки на сайт или в блог: Код для вставки в форум (BBCode): Прямая ссылка на эту публикацию:
|
|