This entire thread is making clear that constructivists want to speak on behalf ... | Hacker News

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

Revanche1367 61 days ago | parent | context | favorite | on: “Why not just use Lean?”

This entire thread is making clear that constructivists want to speak on behalf of everyone while in the real word the vast majority of mathematicians or logicians don’t belong to their niche school of mathematics/philosophy.

ux266478 61 days ago [–]

Do you understand the irony in posting this on a comment chain ostensibly rejecting foundational objectivism?

Revanche1367 61 days ago | [–]

Not everyone has to subscribe to your philosophy, weird I know.

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