История математики
Древнейшие египетские математические тексты относятся к началу II тысячелетия до н. э. Математика тогда использовалась в астрономии, мореплавании, землемерии, при строительстве домов, плотин, каналов и военных укреплений. Денежных расчётов, как и самих денег, в Египте не было. Египтяне писали на папирусе, который сохраняется плохо, и поэтому в настоящее время знаний о математике Египта существенно меньше, чем о математике Вавилона или Греции. Вероятно, она была развита лучше, чем можно представить, исходя из дошедших до нас документов, что подтверждается тем, что греческие математики учились у египтян[C 1].
Основания математики
Исторически первой (по крайней мере, из дошедших до нас трудов) версией оснований математики были «Начала» Евклида (III век ), где в качестве первичных объектов выступали натуральные числа и геометрические величины. Позднее система Евклида подверглась критическому пересмотру, который затронул все её компоненты — первичные объекты, аксиомы и логические правила доказательств. Были предложены новые, строго формализованные системы, различающиеся своим философским подходом и пониманием сущности математического знания. Все эти системы были предназначены для обеспечения надёжности математических утверждений, однако оказалось, что вопрос о надёжности и непротиворечивости самих оснований вызвал немало проблем и даже логических противоречий. В ходе логического анализа были обнаружены принципиальные ограничения возможностей формальных систем; среди математиков возникли также разногласия по поводу того, какие аксиомы и какие логические средства вывода допустимы (или недопустимы) в аксиоматике оснований.