Sure, but then you quickly run into the issue of, "That depends what you mean by... | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		sillysaurus on Jan 6, 2013 \| parent \| context \| favorite \| on: Math even mathematicians don't understand (the seq... Sure, but then you quickly run into the issue of, "That depends what you mean by 'rule'."

tprice7 on Jan 6, 2013 [–]

Please elaborate. I find it difficult to believe that the problem you are hinting at would be a showstopper because there already exist computer systems for verifying mathematical proofs to standards of rigor acceptable by mainstream mathematicians.

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact