| анон-анон пишет: |
| В общем смысл в откровенно проблемной логике. |
Есть разные варианты конструктивной математики, есть интуиционистская логика (которая мне очень нравится, как в свое время нравился Драгалин, который на мехмате представлял интуиционистскую логику, не знаю, жив ли он сейчас, он уехал в Венгрию и ушел с кафедры математической логики довольно давно, по-моему, еще до падения Советского Союза; он был научным руководителем моей знакомой).
Немногие статьи Успенского (умер совсем недавно), которые я читал, мне тоже очень нравятся.
Но всё это, на мой вкус, не отменяет классической математики XIX – XX века, всё в равной степени интересно.
