Math being less precise than code does not make it automatically "hand wavy". | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		dwaltrip on Jan 1, 2018 \| parent \| context \| favorite \| on: Why is writing mathematical proofs more fault-proo... Math being less precise than code does not make it automatically "hand wavy".

vidarh on Jan 1, 2018 [–]

It doesn't have to be, but the way it's used in CS papers often is hand wavy, in that important details are often glossed over or left entirely out.

Consider applying for YC's Summer 2026 batch! Applications are open till May 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact