Rosser's Theorem via Turing Machinesscottaaronson.com11 points·jgershen··0 commentsOpen articleSaveView on HN