Hacker News new | ask | show | jobs
by airesearcher 366 days ago
That is similar to the point that the paper makes - however it proves it rigorously with formal logic.