
В прошлом посте я писал о попытках вывести математику из принципов формальной логикиЧитать полностью »

В прошлом посте я писал о попытках вывести математику из принципов формальной логикиЧитать полностью »
[Прим. пер.: на Хабре уже был перевод этой статьи, но незавершённый примерно на четверть.]
Неправда.
Калькулятор должен показывать результат введённого математического выражения. А это намно-о-ого сложнее, чем кажется.
В этом посте я расскажу величайшую историю о разработке приложения-калькулятора.



Миньон Ким
В математике полно странных числовых систем, о которых большинство людей никогда не слышало. Некоторые из них даже сложно будет представить. Но рациональные числа знакомы всем. Это числа для счёта предметов и дроби — все числа, известные нам с начальной школы. Но в математике иногда сложнее всего понять самые простые вещи. Они простые, как гладкая стена, без трещин и выступов, или других очевидных свойств, за которые можно было бы ухватиться.
Миньон Ким, [Minhyong Kim] математик из Оксфордского университета, особенно интересуется вопросом того, какие рациональные числа подходят для решения уравнений определённого рода. Эта проблема стимулировала специалистов по теории чисел тысячелетиями. И они едва продвинулись по пути к её решению. Когда вопрос изучается так долго и без ответа, можно заключить, что единственным способом продвинуться в нём будет выдвинуть радикально новую идею. Именно это и проделал Ким.
Читать полностью »