3 ms·
I haven’t heard this. What do you mean by “a similar theorem that is classically equivalent”?
by monochromatic 8y ago
I haven’t heard this. What do you mean by “a similar theorem that is classically equivalent”?
- danharaj 8y agohttps://en.wikipedia.org/wiki/Double-negation_translation https://en.wikipedia.org/wiki/Double-negation_translation