-
1 брауэровский
adj. BrouwerianРусско-английский словарь математических терминов > брауэровский
-
2 брауэровский
1) brouwer
2) Brouwerian
3) pertaining to Brouwer -
3 брауэровский
Mathematics: Brouwerian -
4 брауэровский
brouwer, Brouwerian, pertaining to Brouwer -
5 брауэровский
-
6 брауэровский
-
7 брауэровский
adj.
См. также в других словарях:
ИНТУИЦИОНИЗМ — (от позднелат. intuitio, от лат. intueor пристально смотрю) направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно содержательная интуиция. Вся математика … Философская энциклопедия
ЛОГИКА В РОССИИ — эволюция современной (математической) логики в России. Кон. 19 в. и нач. 20 в. знаменуют выход логики за рамки силлогистики и появление логиков новаторов, таких как П.С. Порецкий, М.В. Каринский, Л.В. Рутковский, СИ. Поварнин, и др. Казанский… … Философская энциклопедия
ГЕЙТИНГА ФОРМАЛЬНАЯ СИСТЕМА — Гейтипга исчисление, название трех формальных систем конструктивной логики, предложенных А. Рейтингом [1]. Первая из них гейтинговское, или интуиционистское, исчисление высказываний формализация принципов конструктивной логики высказываний;… … Математическая энциклопедия