Математик о "точной религии", доказательствах бытия Бога, играх и образовании