История математики
Древнейшие египетские математические тексты относятся к началу II тысячелетия до н. э. Математика тогда использовалась в астрономии, мореплавании, землемерии, при строительстве домов, плотин, каналов и военных укреплений. Денежных расчётов, как и самих денег, в Египте не было. Египтяне писали на папирусе, который сохраняется плохо, и поэтому в настоящее время знаний о математике Египта существенно меньше, чем о математике Вавилона или Греции. Вероятно, она была развита лучше, чем можно представить, исходя из дошедших до нас документов, что подтверждается тем, что греческие математики учились у египтян[C 1].
История логики
Логика была возрождена в середине XIX века и успешно трансформировалась в строгую и формальную дисциплину, идеальным вариантом которой были точные методы доказательства, используемые в математике. Появление современной математической логики является наиболее значительным событием в истории логики за последние две тысячи лет и, возможно, одним из наиболее важных и примечательных событий в интеллектуальной истории человечества.