In the shadow of incompleteness

Hilbert and Gentzen

2012

Wilfried Sieg

in: Epistemology versus ontology, Berlin,

Beyond Hilbert's reach?

2009

Wilfried Sieg

in: Logicism, intuitionism, and formalism, Berlin,

Automated search for Gödel's proofs

2008

Wilfried Sieg, Clinton Field

in: Deduction, computation, experiment, Berlin,

Dedekind's analysis of number

systems and axioms

2005

Wilfried Sieg, Dirk Schlimm

Synthese 147 (1)

Aspects of mathematical experience

1997

Wilfried Sieg

in: Philosophy of mathematics today, Berlin,

Relative consistency and accessible domains

1990

Wilfried Sieg

Synthese 84 (2)