Эпистемологический статус компьютерных теорем

Эпистемологический статус компьютерных теорем

Автор: Знатнов, Сергей Юрьевич

Шифр специальности: 09.00.01

Научная степень: Кандидатская

Год защиты: 2000

Место защиты: Москва

Количество страниц: 134 с.

Артикул: 339006

Автор: Знатнов, Сергей Юрьевич

Стоимость: 250 руб.

Эпистемологический статус компьютерных теорем  Эпистемологический статус компьютерных теорем 



Главное положение анализ различных способов обоснования правильности результата, полученного в процессе выполнения необозримых процедур, позволяет их представить как социальный способ вероятностный способ доказательство правильности программы путем ее тестирования формальный способ доказательство правильности программы на уровне формального анализа текста программы и достоверный способ доказательство правильности полученного и зафиксированного формального вывода исходного математического утверждения. Основной результат нашей работы состоит в обосновании тезиса о том, что эпистемологический статус компьютерных теорем может достигать такого же уровня, как и традиционные математические доказательства. Это возможно либо при натичии обозримого доказательства правильности программы доказательства теоремы, либо при наличии зафиксированного формального вывода исходного математического утверждения. Теоретическая и практическая значимость работы. Результаты диссертационного исследования представляют интерес как для философов, так и для представителей специальнонаучных областей знания. Основные положения и выводы диссертации могут быть полезны для дальнейшего исследования вопросов эпистемологии, прежде всего связанных с контролем за результатами информационновычислительной деятельности ЭВМ и применением вычислительной техники в точных науках. Материалы диссертации могут быть практически использованы преподавателями для чтения лекций по теории познания, философии и методологии науки, при разработке спецкурсов для слушателей матем ати ческих С1 гециал ьностей. В настоящее время материалы диссертации используются автором дня проведении лекционных и семинарских занятий на физикоматематическом и технологическом факультетах Коломенского педагогического института. Апробация работы. Основные идеи диссертации отражены в статьях и публикациях, тезисах научных конференций и других изданиях. Идеи и предварительные результаты диссертационного исследования докладывались и публиковались в материалах различных конференций, из которых отметим следующие XI международная конференция по логике, философии и методологии науки Обнинск, г. Международная конференция Развитие логики в России итоги и перспективы Москва, г. Международная конференция Применение новых компьютерных технологий в образовании Троицк , г. Используя материалы диссертации, автор выступал с докладами и сообщениями на заседаниях кафедры философии Коломенского пединститута и научных конференциях КИИ. Структура диссертации. В соответствии с целью, задачами и характером исследования структура работы была построена следующим образом введение, две главы, заключение. Глава 1. Понятие доказательства является одним из базовых в математике. Феномен появления математики как науки во многом характеризуется тем, что люди научились вырабатывать новое знание, опираясь на доказательство правильности вывода этих знаний из уже имеющихся. Исторически требования к доказательству изменялись, но, несмотря на эпоху и принадлежность к тому или иному философскому направлению, оно являлось основой для построения и развития математических теорий. Более того, развитие самого этого понятия привело к выделению в отдельную ветвь математики нового направления теории доказательств. Высказывание одного из разработчиков этой теории Г. Такеути отражает индифферентность этого понятия относительно установок математических или философских школ и его общую значимость Математика представляет совокупность доказательств. Это верно независимо от того, какой точки зрения на математику мы придерживаемся платонизма, антиплатонизма, интуиционизма, формализма, номинализма и т. С другой стороны, бурное развитие вычислительной техники и ее активное внедрение в различные сферы человеческой деятельности, в том числе и в точные науки, приводит не только к прогрессу последних, но и к пересмотру дополнению методов научного исследования. В.А. Смирнов, логические исследования проблемы поиска доказательств преследуют цель изучить не то, как человек реально изобретает доказательство, но то, как возможен поиск доказательств, каковы методы этого поиска . Все это важно, тем более что история науки и методологии свидетельствует развитие науки и культуры осуществлялось не за счет совершенствования психики и творческих способностей отдельных личностей, а путем изобретения и совершенствования научных методов . ТакеушГ. Теория доказательств. М., . Лошка и компьютер. М., . Стр.

Рекомендуемые диссертации данного раздела

28.06.2016

+ 100 бесплатных диссертаций

Дорогие друзья, в раздел "Бесплатные диссертации" добавлено 100 новых диссертаций. Желаем новых научных ...

15.02.2015

Добавлено 41611 диссертаций РГБ

В каталог сайта http://new-disser.ru добавлено новые диссертации РГБ 2013-2014 года. Желаем новых научных ...


Все новости

Время генерации: 0.201, запросов: 111