Hacker News Reader

I started teaching myself Racket recently and eventually ended up looking into the innards of lambda calculus formalism. It got me thinking about what the ramifications of embracing constructivism would be towards computability in general. Can you recommend any good introductory literature on constructivism ? I'm familiar with the foundational crisis and the whole formalism vs logicism vs constructivism debate but never really dug deeper. Thanks.

View on HN

I would recommend starting with linear logic to be honest. Logic is very simple to understand, mathematics is hard. Analogously, linear logic is simpler than constructive mathematics.

https://johnwickerson.github.io/talks/linearlogic.pdf

I know this might not be what you were looking for but to be honest Linear logic is the simplest to understand of all of these.

I’m still struggling with these ideas, but all the signs are pointing towards this being the case.

Reply on news.ycombinator.com