Отрывок: Фре- ге, Б. Рассела, программу аксиоматизации и математическую теорию доказа- тельств Д. Гильберта. Одним из основных результатов программы формализа- ции стало признание того, что она может быть применена в областях матема- тики, которые ранее базировались на интуитивных или самоочевидных идеях. Гильберт осуществляется такой проект в отношении геометрии, Уайтхед и Ра...
Полная запись метаданных
Поле DC Значение Язык
dc.contributor.authorЯстреб, Н.А.-
dc.date.accessioned2017-01-26 16:13:34-
dc.date.available2017-01-26 16:13:34-
dc.date.issued2015-
dc.identifierDspace\SGAU\20170126\61857ru
dc.identifier.citationТруды Международной научно-технической конференции. Т.2 / под ред. С.А. Прохорова. – Самара: Издательство Самарского научного центра РАН. 2015. – с. 378-381ru
dc.identifier.isbn978-5-93424-735-6-
dc.identifier.urihttp://repo.ssau.ru/handle/Perspektivnye-informacionnye-tehnologii/Vychislitelnyi-podhod-v-sovremennoi-filosofii-61857-
dc.language.isorusru
dc.publisherИздательство Самарского научного центра РАНru
dc.subjectфилософияru
dc.subjectвычислительный подходru
dc.subjectфункционализмru
dc.titleВычислительный подход в современной философииru
dc.typeArticleru
dc.textpartФре- ге, Б. Рассела, программу аксиоматизации и математическую теорию доказа- тельств Д. Гильберта. Одним из основных результатов программы формализа- ции стало признание того, что она может быть применена в областях матема- тики, которые ранее базировались на интуитивных или самоочевидных идеях. Гильберт осуществляется такой проект в отношении геометрии, Уайтхед и Ра...-
Располагается в коллекциях: Перспективные информационные технологии

Файлы этого ресурса:
Файл Описание Размер Формат  
pit_2015_p2_108.pdfОсновная статья199.92 kBAdobe PDFПросмотреть/Открыть
Показать базовое описание ресурса Просмотр статистики
Поделиться:



Все ресурсы в архиве электронных ресурсов защищены авторским правом, все права сохранены.