Вообще-то тенденция к системному выявлению неявных предпосылок в математике была заложена изначально, вместе с основными ... - Большая Энциклопедия Нефти и Газа



Выдержка из книги Султанова Л.Б. Проблема неявного знания в науке


Вообще-то тенденция к системному выявлению неявных предпосылок в математике была заложена изначально, вместе с основными принципами аксиоматического подхода евклидовой геометрии, в античный период развития математики. В дальнейшем, хоть и без методологического обоснования, эта тенденция исторически была осознана и укрепилась, видимо, уже в девятнадцатом столетии под воздействием потока контрпримеров, обнаруженных Коши и его учениками ( Лакатос И. Методологическое освоение концепции неявного знания в математике начинается, видимо, уже после формирования такой области современной науки как эвристическое программирование, когда были сделаны попытки построения машинных программ для вывода теорем.

(cкачать страницу)

Смотреть книгу на libgen

Вообще-то тенденция к системному выявлению неявных предпосылок в математике была заложена изначально, вместе с основными принципами аксиоматического подхода евклидовой геометрии, в античный период развития математики. В дальнейшем, хоть и без методологического обоснования, эта тенденция исторически была осознана и укрепилась, видимо, уже в девятнадцатом столетии под воздействием потока контрпримеров, обнаруженных Коши и его учениками ( Лакатос И. Методологическое освоение концепции неявного знания в математике начинается, видимо, уже после формирования такой области современной науки как эвристическое программирование, когда были сделаны попытки построения машинных программ для вывода теорем.