3 ms·
> I suspect someone could write a book (or an HN comment at least) about the popular confusion about Godel's 1st incompleteness theorem. :-) That book has alre
by throwaway81523 5y ago
> I suspect someone could write a book (or an HN comment at least) about the popular confusion about Godel's 1st incompleteness theorem. :-)
That book has already been written: https://www.ams.org/notices/200703/rev-raatikainen.pdf https://www.ams.org/notices/200703/rev-raatikainen.pdf