As a follow-up, what is your position on intuitionist/constructivist logic? | Hacker News

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

		phs on June 29, 2018 \| parent \| context \| favorite \| on: I'm Scott Aaronson, quantum computing/computationa... As a follow-up, what is your position on intuitionist/constructivist logic?

ScottAaronson on June 29, 2018 [–]

I don't begrudge others their sincerely held faiths! But I confess that I haven't yet seen the need for nonstandard logics for anything I've personally been interested in.

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