Comment by dsheets

2 years ago

Classical logic embeds in intuitionistic logic by Gödel–Gentzen see https://en.m.wikipedia.org/wiki/Double-negation_translation

0 comments

dsheets

Reply

No comments yet

Contribute on Hacker News ↗