Hacker News new | ask | show | jobs
by hifromwork 704 days ago
Isn't this the law of excluded middle (rejected by intuitionists and constructivists)?
1 comments
mrkeen 704 days ago
Let n equal 3 if LEM is valid & sound, or 5 if LEM isn't valid & sound. Is n prime?
link