Dutch logician who was the leading expert on intuitionistic logic and constructive mathematics — writing the definitive metamathematical studies of intuitionistic systems.
Principles of Intuitionism: systematic metamathematical study of Brouwer's intuitionism. Constructivism in Mathematics (with van Dalen): the definitive two-volume reference work for constructive mathematics. Basic Proof Theory (with Schwichtenberg): formal proof theory.
Discussing
Ask anything about Anne Troelstra — their ideas, influences, contradictions, legacy.
Sign in to start a conversation.