Большой энциклопедический словарь - интуиционистская логика
Интуиционистская логика
интуиционистская логика
логика, удовлетворяющая интуиционистским требованиям к математическим рассуждениям.
Рейтинг статьи:
Комментарии:
См. в других словарях
1.
Интуиционистская логика, форма логики предикатов, отражающая взгляд интуиционизма на характер логических законов, считающихся, с его точки зрения, допустимыми в применении к доказательствам суждений из тех частей дедуктивных наук (особенно математики), которые существенно связаны с понятием математической бесконечности. В соответствии с концепцией интуиционизма, в И. л. нет исключенного третьего принципа и закона снятия двойного отрицания. В качестве И. л. обычно рассматривается формальная логическая система, построенная нидерландским математиком А. Гейтингом в 1930 (охватывает логику предикатов; еще ранее — на основании соображений, отличных от интуиционистских, — систему И. л. в применении к логике высказываний, составляющей часть логики предикатов, построил советский ученый В. И. Гливенко). Интуиционистская логика Гейтинга отличается тем, что выразимые в ней содержательные рассуждения являются приемлемыми с точки зрения интуиционизма нидерландского математика Л. Э. Я. Брауэра. С развитием конструктивных направлений в математике и логике И. л. нашла в них применение и поэтому стала часто называться...Большая советская энциклопедия
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 5346 | |
2 | 2840 | |
3 | 2704 | |
4 | 2694 | |
5 | 2206 | |
6 | 2193 | |
7 | 1950 | |
8 | 1805 | |
9 | 1796 | |
10 | 1767 | |
11 | 1521 | |
12 | 1512 | |
13 | 1422 | |
14 | 1359 | |
15 | 1320 | |
16 | 1285 | |
17 | 1267 | |
18 | 1190 | |
19 | 1171 | |
20 | 1079 |