Guided by questions of scope, this paper provides an overview of what is known about both the scope and, consequently, the limits of Gödel's famous first incompleteness theorem.
In this introduction we discuss the motivation behind the workshop ''Towards a New Epistemology of Mathematics'' of which this special issue constitutes the proceedings. We elaborate on historical and empirical aspects of the desired new epistemology, connect it to the public image of mathematics, and give a summary and an introduction to the contributions to this issue.
scite is a Brooklyn-based organization that helps researchers better discover and understand research articles through Smart Citations–citations that display the context of the citation and describe whether the article provides supporting or contrasting evidence. scite is used by students and researchers from around the world and is funded in part by the National Science Foundation and the National Institute on Drug Abuse of the National Institutes of Health.