Пикник на обочине
Feb. 22nd, 2016 10:09 pmCertainly, the success of mathematical methods in the 20th century shows that modern mathematics is applicable, but its philosophical foundation fails to explain why. -- J.G.Granstrom. Treatise on Intuitionist Logic.