КОНСТРУКТИВИЗМ В ЛОГИКЕ И МАТЕМАТИКЕ

металогическое и метаматематическое направление, значительный вклад в развитие которого внесли отечественные ученые А.А. Марков и Н.А. Шанин. По своему концептуальному содержанию конструктивизм близок к интуиционизму, но по поводу степени этой близости высказываются различные точки зрения. В 1964 г. А.А. Марков отметил наличие «точек соприкосновения» конструктивизма и интуиционизма, но указал также и на их методологические расхождения. Во-первых, интуиционисты исходят из интуиции, в то время как источником формирования математических понятий следует считать человеческую практику. Во-вторых, считают интуитивно ясной идею «свободно становящейся последовательности», которая для других математиков совсем не ясна [1. С. 51 ]. Что касается сугубо философской литературы, то в ней обычно интуиционизм и конструктивизм считаются принадлежащими к одному и тому же метанаучному направлению. См. интуционизм как логическое и математическое направление.