News for hackers. Stuff that matters.

A comment on The weird and wonderful world of constructive mathematics (2017) [pdf]. Parent comment

Re:The weird and wonderful world of constructive mathematics... by dooglius on Friday November 09, 2018 @03:41AM (#18413123)
This is likely a reference to https://en.wikipedia.org/wiki/Double-negation_translation
[ Parent | on HN ]

There are no comments on this comment yet.