News for hackers. Stuff that matters.

A comment on Where do type systems come from? (2017). Parent comment

Re:Where do type systems come from? (2017) by coldacid on Friday October 01, 2021 @11:00PM (#28725547)
This is essentially Gödel's first incompleteness theorem.
[ Parent | on HN ]

There are no comments on this comment yet.