Cavaillès and intuitionism: Contacts, criticisms, and correspondence

Mark van Atten; Ties van Gemert

Cavaillès and intuitionism: Contacts, criticisms, and correspondence

Mark van Atten
, Ties van Gemert

Medical and Clinical Psychology

Research output: Working paper › Scientific

Abstract

We investigate and contextualise the personal contacts between Cavaillès on the one hand and Brouwer and Heyting on the other; suggest replies that Brouwer could have given to Cavaillès’ criticisms of intuitionism; and present the correspondence between Cavaillès and Heyting.

Original language	English
Number of pages	40
Publication status	Submitted - 15 Sept 2026

Keywords

Cavaillès
intuitionism
Brouwer
Heyting

Cite this

@techreport{161558be26be4d2eb425d63a46debd2c,

title = "Cavaill{\`e}s and intuitionism: Contacts, criticisms, and correspondence",

abstract = "We investigate and contextualise the personal contacts between Cavaill{\`e}s on the one hand and Brouwer and Heyting on the other; suggest replies that Brouwer could have given to Cavaill{\`e}s{\textquoteright} criticisms of intuitionism; and present the correspondence between Cavaill{\`e}s and Heyting.",

keywords = "Cavaill{\`e}s, intuitionism, Brouwer, Heyting",

author = "\{van Atten\}, Mark and \{van Gemert\}, Ties",

year = "2026",

month = sep,

day = "15",

language = "English",

type = "WorkingPaper",

}

TY - UNPB

T1 - Cavaillès and intuitionism

T2 - Contacts, criticisms, and correspondence

AU - van Atten, Mark

AU - van Gemert, Ties

PY - 2026/9/15

Y1 - 2026/9/15

N2 - We investigate and contextualise the personal contacts between Cavaillès on the one hand and Brouwer and Heyting on the other; suggest replies that Brouwer could have given to Cavaillès’ criticisms of intuitionism; and present the correspondence between Cavaillès and Heyting.

AB - We investigate and contextualise the personal contacts between Cavaillès on the one hand and Brouwer and Heyting on the other; suggest replies that Brouwer could have given to Cavaillès’ criticisms of intuitionism; and present the correspondence between Cavaillès and Heyting.

KW - Cavaillès

KW - intuitionism

KW - Brouwer

KW - Heyting

M3 - Working paper

BT - Cavaillès and intuitionism

ER -

Cavaillès and intuitionism: Contacts, criticisms, and correspondence

Abstract

Keywords

Fingerprint

Cite this