1
И 258


    Ившин, В. В.
    Проблема соотношения абстрактных структур математики и физической формы материи / В. В. Ившин // Новые идеи в философии: межвуз. сб. науч. тр. / Перм. ун-т. - Пермь, 1999. - Вып. 8. - С. 235-250
УДК
ББК 87.25
Рубрики: Философия
   Философия математики

Кл.слова (ненормированные):
материя -- физическая форма материи -- философия математики



1:51
И 258


    Ившин, В. В.
    Бесконечность в философии и математике / В. В. Ившин // Новые идеи в философии: межвуз. сб. науч. тр. / Перм. ун-т. - Пермь, 1999. - Вып. 8. - С. 299-302
УДК
ББК 87.25
Рубрики: Философия математики
Кл.слова (ненормированные):
Бесконечность -- Философия математики





    Панов, В. Ф.
    Природа и вселенная в отражении и огтображении математики и физики / В. Ф. Панов, К. Л. Рожкова // Социальные и гуманитарные науки: теория и практика . - 2017. - Вып. 1. - С. 98-104
Кл.слова (ненормированные):
природа -- Вселенная -- философия математики -- философия физики


Доп.точки доступа:
Рожкова, К. Л. (студент)




    Ламберов, Л. Д.
    Математические объекты, структуры и доказательства (введение к тематическому выпуску) / Л. Д. Ламберов // Вестник Пермского университета. Сер.: Философия. Психология. Социология. - 2022. - № 3. - С. 361-367 . - ISSN 2078-7898
УДК
ББК 87.25 + 22.1
Рубрики: Философия
   Философия науки

   Математика

   Общие вопросы математики

   
Кл.слова (ненормированные):
доказательства -- математические объекты -- структуры -- философия математики
Аннотация: Статья служит введением к проблематике, обсуждаемой в следующих статьях. Рассматривается гипотеза интеграции, предполагающая, что адекватное решение философской проблемы должно одновременно давать ответ и на онтологические, и на эпистемологические вопросы. Указанная проблема описывается спекулятивно, а также путем обращения к дилемме П. Бенацеррафа, кроме того, иллюстрируется на примере сравнения классической и интуиционистской математик и интерпретации понятия компьютерного доказательства. Демонстрируется, что адекватная философия математики должна одновременно учитывать онтологические и эпистемологические аспекты математики и математической практики.