logoalt Hacker News

andoandoyesterday at 3:24 PM1 replyview on HN

Think about what math is trying to formalize


Replies

adamzwassermanyesterday at 4:06 PM

Math formalizes regularities by abstracting away irregularities - that's precisely my point. Any formal system achieves its regularity by limiting its scope. Math can describe aspects of reality with precision, but it cannot capture reality's full complexity. A 'universal language' that can only express what fits into formal systems isn't universal at all: it's a specialized tool that works within constrained domains.