Hacker News new | ask | show | jobs
by dsheets 963 days ago
Classical logic embeds in intuitionistic logic by Gödel–Gentzen see https://en.m.wikipedia.org/wiki/Double-negation_translation