-
43Midwest Workshop PhiloSTEM (Conference Report)The Reasoner 6 (6). 2012.brief conference report.
-
23Slides for the second tutorial on Gödel's incompleteness theorems, held at UniLog 5 Summer School, Istanbul, June 24, 2015.
-
28While Gödel’s first theorem remains valid under substitution of various provability predicates, Gödel’s second theorem does not. This is one reason to label G1 as “extensional” but to call G2 “intensional.” Although this asymmetry between G1 and G2 is known for long, no satisfying account of G2’s intensionality has been put forward. After briefly reviewing the discussion so far, the paper presents a new analysis based on two observations. First, the underestimated role of provable closure under …Read more
-
111The Scope of Gödel’s First Incompleteness TheoremLogica Universalis 8 (3-4): 499-552. 2014.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
-
1Brief review article.
-
11Brief review article.
-
20We clarify the respective roles fixed points, diagonalization, and self- reference play in proofs of Gödel’s first incompleteness theorem.
-
103Towards a new epistemology of mathematicsErkenntnis 68 (3). 2008.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.
-
21ZeitschriftenschauJournal for General Philosophy of Science / Zeitschrift für Allgemeine Wissenschaftstheorie 23 (2): 363-402. 1992.
-
Brief review article.
-
Brief review article.
-
26Slides for the first tutorial on Gödel's incompleteness theorems, held at UniLog 5 Summer School, Istanbul, June 24, 2015.
Bernd Buldt
Purdue University Fort Wayne
-
Purdue University Fort WayneMathematicsProfessor
Areas of Specialization
Science, Logic, and Mathematics |
History of Western Philosophy |