News for hackers. Stuff that matters.

A comment on Titans of Mathematics Clash Over Epic Proof of ABC Conjecture. Parent comment

Re:Titans of Mathematics Clash Over Epic Proof of ABC Conjec... by kiriakasis on Friday September 21, 2018 @03:44AM (#18037905)
Well, yes because you can embed classical logic in constructive logic in many ways but then you lose a lot of convenience.

The if you had exensionality things get really weird

[ Parent | on HN ]

There are no comments on this comment yet.