Can Mathematics Be Proved Consistent? Gödel's Shorthand Notes & Lectures on Incompleteness

“The present volume, an early fruit of a long-term project to publish all of the material in Gödel’s mathematical workbooks, gives a foretaste of the riches that … should whet the appetites of scholars interested in the history of modern logic … . The reviewer deems this book to be a significant addition to the literature on Gödel and his life and work. It should have broad appeal to historians of logic, and its low price should encourage its purchase.” (John W. Dawson, Philosophia Mathematica, July 9, 2022)

“This is an interesting book showing how Gödel came to his famous result on incompleteness. It will be appreciated by logicians and historians of logic and the foundations of mathematics.” (Roman Murawski, Mathematical Reviews, December, 2021)