| |||
|
|
Теоретически это всё так. Практически же мы, по-моему, разговариваем о разных вещах. Для меня матфизика и теорвер - прикладные науки. А теория типов - нет. Потому что теория типов решает вопросы образного мышления, а матфизика и теорвер - прикладные вопросы. А так-то с Халмошем я как бы тоже скорее соглашусь. Но эпоха противопоставления Пикассо и полицейской фотографии давно миновала. Псоя же я слабо переношу. Добавить комментарий: |
||||