logoalt Hacker News

TimPCyesterday at 2:04 PM0 repliesview on HN

If it's actually in the service of rigor then it's not unnecessaryily unwelcoming. If it's only nominally in the service of rigor than maybe, but Mathematics absolutely needs extreme rigor.