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 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 ]

There are no comments on this comment yet.