Из свойств математики как языка наиболее своеобразным является то, что, играя в формальные игры с входным математическим текстом, можно получить выходной текст, который как бы несет в себе новые знания. Основные примеры даются научными или технологическими расчетами: общие законы плюс начальные условия дают прогнозы, часто только после длительной и компьютерной работы. Можно сказать, что вход содержит неявное знание, которое тем самым становится явным.