Аннотация

В этой небольшой книге доступно и точно рассказывается о сути математики. Математика рассматривается как язык, а любой язык (а) выполняет описательную функцию, (б) имеет свою грамматику, (в) выполняет познавательную функцию. В книге будет заострено внимание на первых двух пунктах, т. е. на том, что можно описать математически, и том, как формализовать соответствующую запись. Книга будет полезна тем, кто планирует углублённое изучение предмета, например, старшеклассникам, интересующимся наукой. Также она должна понравиться программистам, поскольку речь в ней отчасти идёт о формальном языке (логики предикатов).