Предложения в которых упоминается "конструктивная математика"
Гейтинг построил формальнологическую систему, которая может применяться в конструктивной математике.
Логический аппарат, допустимый для данной математической теории, зависит от исходных понятий и включает вид математической абстракции, положенной в основу понятий математической теории: классическая, интуиционистская и конструктивная математика.
Объектами исследования конструктивной математики являются конструктивные процессы и возникающие в результате их выполнения конструктивные объекты.
Конструктивная математика отличается от традиционной, интуитивно-аксиоматической математики не только основополагающими понятиями.
В конструктивной математике могут быть определены и представлены не только операции, функции и отношения.
Нематематической голове этого не понять, да и не всяким математикам доступно, но на кафедральной предзащите профессор N, блестящий представитель самоновейшей, не всеми принятой «конструктивной математики», но очень почитаемой как раз на кафедре математической логики, выступил с резкой критикой, упрекая диссертанта, что он не следует принципам этой самой «конструктивной математики».
Впоследствии именно аксиоматический метод определения понятий придал не только математике, но и концептуальному мышлению конструктивную силу.
К примеру, если мы перейдём от некоммуникабельного конструктивного монстра — нормальной анатомии — к топологической анатомии, как к предмету измерения и познания, то, как математики, сконструировав две процедуры, введём цельность представления в разрозненные нагромождения фактов и моделей.
В нашей литературе уже высказывалась мысль, что выводы интуиционизма и конструктивизма имеют значение не только для математики, но и для конструктивных процессов любого рода: технического творчества, искусства, экономической и правовой деятельности и т.
I. Объектами исследования интуиционистской математики являются, прежде всего, конструктивные объекты: натуральные объекты, рациональные числа, конечные множества конструктивных объектов.
Влияние этого французского философа и математика на философию, на гносеологию, на конструктивные формы мышления огромно.