Dmitri Pavlov - Синтаксическая математика
[Recent Entries][Archive][Friends][User Info]
10:59 pm
[Link] |
Синтаксическая математика
|
|
|
>Например, можно провести несколько параллельных прямых и сослаться на известные их свойства.
Проблема заключается в том, что свойства параллельных не являлись для меня чем-то фундаментально более простым, чем свойство средней линии треугольника.
В геометрии тоже есть очень много синтаксиса. Задачи на построение, задачи на сечения, задачи на треугольники — типичные синтаксические штуки.
Есть, конечно, в геометрии и полезные вещи — теорема Пифагора, подобие, движения, площади и объёмы.
А в каком смысле вы упоминаете линейную алгебру в связи с геометрией?
Все, что есть полезного в школьном курсе геометрии, — это линейная алгебра. Вместо списка из 20 малопонятных аксиом школьной геометрии в линейной алгебре мы имеем совершенно простое и понятное определение векторного пространства. Все содержательные результаты школьной геометрии очень быстро из него выводятся. А также из него очень быстро получаем другие полезные результаты, которые в школьной геометрии не изучаются.
Я не совсем понимаю, какое векторное пространство. R^2? |
|