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 fjsolwmv on Thursday September 20, 2018 @09:27PM (#18036585)
That doesn't sound right at all. Law of excluded middle is very easily computed with, It's a college homework exercise.
[ Parent | on HN ]
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 ]