News for hackers. Stuff that matters.

A comment on Curry–Howard correspondence. Parent comment

Re:Curry–Howard correspondence by galaxyLogic on Wednesday August 15, 2018 @05:29PM (#17769934)
Thanks for the very informative but thankfully informal answer. I especially like "PRA proves that if (PRA is able to prove that any of the standard systems is consistent), then (PRA is inconsistent)." :-)
[ Parent | on HN ]

There are no comments on this comment yet.