When will the arguments be formally-verified from sets of axioms rather than jus... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

graphql-tlc on Oct 17, 2015 | parent | context | favorite | on: Show HN: Arguman – Argument Analysis Platform

When will the arguments be formally-verified from sets of axioms rather than just human-verified (which is prone to error, politics and groupthink).

leni536 on Oct 18, 2015 [–]

We will never agree on the set of axioms.

qznc on Oct 18, 2015 | [–]

You can still verify deductions, even if you disagree with the axioms.

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