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