konstruktivist

Ты больно впечатлительный. Расскажу тебе про кладезь "годноты", это референсы в английской википедии:
https://en.wikipedia.org/wiki/Constructivism_(mathematics)#References
https://en.wikipedia.org/wiki/Intuitionism#Further_reading

Сразу запоминаешь имена сектантов:
Брауэр, Гейтинг (ученик брауэра), Трульстра (ученик гейтинга), Мартин-Леф (ученик колмогорова), Марков, Колмогоров, Кушнер (ученик Маркова). Отсюда можно проследить пандемию конструктивизма. Изначально первые симптомы конструктивизма в виде легкого интуиционизма проявил Кронекер, но люди не придали этому значения, ну вот, поехал очередной математик. Однако, в Голландии, известной своими распущенными нравами, под влиянием Шопенгауэра и неудавшейся личной жизни сформировался вирус конструктивизма, выразившийся в личности Брауэра. Вполне очевидно, что он зашкварил многих в голландской математике, хотя порядочные люди типа Ван дер Вардена оказались имунны к сектантским речам. Однако, загадка, как конструктивизм попал в советский союз, но все становится ясно, если изучить историю поездок Колмогорова, который очевидно и занёс эту дрянь в советский союз. После этого будучи созвучным с направлением в советском искусстве (хрущёвки это тоже типа конструктивизм), конструктивизм распространился и по советскому союзу, учитывая количество контактов такого человека как Колмогорова. Даже юный шведский студент Мартин-Лёф поддался его очарованию и тоже подхватил конструктивизм. Далее конструктивизм ждал ожидаемый спад: нулевые пациенты померли, некому стало активно распространять заразу. Однако очаги вируса ждали и дождались: пришло новое поколение "как бы ученых" с "как бы наукой", называемой в простонародье "computer science". Они вдруг выяснили причину, почему им не дается математика, причина в том, что надо добровольно заразиться конструктивизмом, и тогда дело пойдет. За счет этих новых сторонников конструктивизм получил распространение и поэтому имеет большое количество представителей в "унивалентных основаниях математики".