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

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

		nyssos 6 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 6 months ago [–]

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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact