News for hackers. Stuff that matters.

A comment on Are unsound type systems wrong?. Parent comment

Re:Are unsound type systems wrong? by varjag on Saturday April 07, 2018 @09:13AM (#16780564)
Propositional calculus is sound and complete, first order predicate logic isn't.
[ Parent | on HN ]
Re:Are unsound type systems wrong? by jonnycomputer on Saturday April 07, 2018 @10:08AM (#16780758)
fol logic is sound and complete (and effective). second order logic is not.
[ Parent | on HN ]
Re:Are unsound type systems wrong? by mcguire on Saturday April 07, 2018 @01:55PM (#16781819)
For reference: https://en.wikipedia.org/wiki/G%C3%B6del%27s_completeness_th...
[ Parent | on HN ]