The first-order theories of Gödel's results necessarily leave mathematical objects ill-defined.
Carl Hewitt From BLOG@CACM | December 26, 2018 at 11:02 AM
Our profession has the credibility and resources to create an Encyclopedia that will serve as the professional standard.
Carl Hewitt From BLOG@CACM | September 5, 2018 at 01:14 PM