| Шиян Т.А. О некоторых ограничениях формально-математической методологии // Вестник РГГУ. Серия "Философия". №7/08. М, 2008. С. 307-318. |
Аннотация. В статье анализируются границы применимости формальной методологии в логико-математических исследованиях. Автор выявляет неизбежность применения неформальных рассуждений в повседневной математической работе (например, при учете результатов разных авторов, относящихся к "одному и тому же" формализму). Причину этого автор видит в состоянии реального логико-математического дискурса, в рамках которого даже в массиве логико-математических символов наблюдаются явления синонимии, полисемии и омонимии.
It's analyzed in the paper limits of formal methodology. Author displays necessity of using unformal reasonings in usual mathematical researches (for example in using results referred to "the same" formal constructions). The cause of these is situated in logical-mathematical discourse, where we can see such phenomena as synonymy, ambiguity, polysemy of logical-mathematical symbols.
Статья на русском в PDF / Paper in Russian in PDF (194 kb).