Full threadptarjan·Posted to mathoverflow: http://mathoverflow.net/questions/29070/is-defining-a-consta...View on HN