News for hackers. Stuff that matters.

A comment on Answer to a 150-Year-Old Math Conundrum Brings More Mystery. Parent comment

Re:Answer to a 150-Year-Old Math Conundrum Brings More Mystery by darkmighty on Sunday June 21, 2015 @01:10AM (#9752280)
Might one say it's a constructive proof of the non-existence of a finite group of primes?
[ Parent | on HN ]
Re:Answer to a 150-Year-Old Math Conundrum Brings More Mystery by thaumasiotes on Sunday June 21, 2015 @01:41AM (#9752339)
You can't have a constructive non-existence proof. What would it mean to construct something that doesn't exist?
[ Parent | on HN ]