Re:The Inconsistency of Arithmetic (2011)
by nocturnial on Tuesday August 17, 2021 @06:59AM
(#28208493)
Thank you for your explanation and pointing me to the double negation translation.
I know this is off-topic but if you have a book recommendation which teaches about intuitionistic logic/constructive math and also mentions the double negation translation, I'm interested. Most books I've read seem to either concentrate on only constructive or classical math.
Re:The Inconsistency of Arithmetic (2011)
by Sniffnoy on Tuesday August 17, 2021 @05:33PM
(#28215131)
I don't, sorry. I'm not really a logician, just a mathematician who thinks the foundations are worth understanding. :) I don't know what proper references on this material would be.
I know this is off-topic but if you have a book recommendation which teaches about intuitionistic logic/constructive math and also mentions the double negation translation, I'm interested. Most books I've read seem to either concentrate on only constructive or classical math.