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 ASipos on Friday November 09, 2018 @03:35AM (#18413103)
The double negation translation:

https://en.wikipedia.org/wiki/Double-negation_translation

[ Parent | on HN ]
Re:The weird and wonderful world of constructive mathematics... by claudiawerner on Friday November 09, 2018 @10:54AM (#18415304)
The negation of the negation not being equal to what you started with always reminds me of the Hegelian dialectic, or dialectic (in the philosophical sense) in general.
[ Parent | on HN ]