Classical logic is the presumed default for mathematics, if someone is working i... | Hacker News

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

		nyssos 10 months ago \| parent \| context \| favorite \| on: BusyBeaver(6) Is Quite Large Classical logic is the presumed default for mathematics, if someone is working in a different system they will say so explicitly.

gylterud 10 months ago [–]

Pondering mathematical objects such as BB(n) is exactly the kind of stuff which rooks one’s faith in classical logic.

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