#### Filter Results:

- Full text PDF available (9)

#### Publication Year

2000

2017

- This year (2)
- Last 5 years (4)
- Last 10 years (6)

#### Publication Type

#### Co-author

#### Journals and Conferences

#### Key Phrases

Learn More

- Mark van Atten, Dirk van Dalen
- Bulletin of Symbolic Logic
- 2002

§1. The continuity principle. There are two principles that lend Brouwer’s mathematics the extra power beyond arithmetic. Both are presented in Brouwer’s writings with little or no argument. One, the principle of bar induction, will not concern us here. The other, the continuity principle for numbers, occurs for the first time in print in [4]. It is… (More)

- Mark van Atten, Juliette Kennedy
- Bulletin of Symbolic Logic
- 2003

Contents 1. Introduction 426 2. G ¨ odel's position in the 1950's—a stalemate 428 2.1. Inconclusive arguments 428 2.2. Realism and rationalism 430 2.3. Epistemological parity 434 2.4. A way out? 437 3. G ¨ odel's turn to Husserl's transcendental idealism 439 3.1. Varieties of idealism 439 3.2. G ¨ odel and German Idealism 440 3.3. The turn to Husserl's… (More)

- Peter Aczel, Mark van Atten, +19 authors Jouko Väänänen
- 2009

Peter Aczel: Predicate logic over a type setup There are a variety of closely related notions aimed at capturing the abstract structure of type dependency in the syntax and semantics of dependent type theories. Examples of such notions are category with attributes, category with families, category with display maps, contextual category, comprehension… (More)

- Petrus Theodorus Maria Rood, Mark van Atten, +4 authors Göran Sundholm
- 2005

- Gerhard Heinzmann, Philippe Nabonnand, Mark van Atten, Pascal Boldini, Michel Bourdeau
- 2017

Kripke recently suggested viewing the intuitionistic continuum as an expansion in time of a definite classical continuum. We prove the classical consistency of a three-sorted intuitionistic formal system IC, simultaneously extending Kleene’s intuitionistic analysis I and a negative copy C◦ of the classically correct part of I, with an “end of time” axiom ET… (More)

- Mark van Atten, Juliette Kennedy
- Logic from Russell to Church
- 2009

- Mark van Atten, Robert Tragesser, Juliette Kennedy, Rudy Rucker, Steven Tainer
- 2003

David Hilbert opened ‘Axiomatic Thought’ [15] with the observation that ‘the most important bearers of mathematical thought,’ for ‘the benefit of mathematics itself have always [. . . ] cultivated the relations to the domains of physics and the [philosophical] theory of knowledge.’ We have in L.E.J. Brouwer and Kurt Gödel two of those ‘most important… (More)

- Mark van Atten
- Epistemology versus Ontology
- 2012

- Jack Douglas Stecher, Mark van Atten
- Annals OR
- 2015

This article shows that an apparent puzzle in finance and accounting is resolved by changing from classical to constructive (more specifically, intuitionistic) mathematics. Our position is that it is unproblematic if real-world actors behave inconsistently with nonconstructive mathematical results. Thus the solution to our puzzle lies in a deeper challenge… (More)