Why Study Logic? Gödel's Lost Letter and P=NP, 25 Jan 2023 Before and after it is mechanized… Peter Andrews is a Professor of Mathematics, Emeritus at Carnegie Mellon University (CMU…