Skip to content

Sections

Maps Timeline Graph Cosmos Life Culture Innovation People Climate Trends Art

Browse Dictionary Search

© 2026 Vinony · Knowledge from Wikipedia, Wikidata, and 27 public APIs.

Anne Sjerp Troelstra · Vinony

🌐English

English Deutsch Español Français Italiano Nederlands Português Svenska Русский

EntityQ565846· pop 5· linked from 49 articles

Anne Sjerp Troelstra

Dutch mathematician (1939–2019)

Connections

Categories

1939 births 2019 deaths 20th-century Dutch people Academic staff of the University of Amsterdam Dutch mathematicians Mathematical logicians Members of the Royal Netherlands Academy of Arts and Sciences No local image but image on Wikidata People from De Bilt Proof theorists University of Amsterdam alumni

Sources

wikipedia.externallinksexternallink

International Standard Book Number

Entity

Wayback Machine

digital object identifier

University of Amsterdam

pure mathematics

Mathematics Genealogy Project

foundations of mathematics

Royal Netherlands Academy of Arts and Sciences

intuitionistic logic

Sign in to save

What links here49 pages

Markov's principle

constructive proof

Heyting arithmetic

Brooke Dolan II

Deaths in March 2019

mathematical logic

axiom of choice

Brouwer–Heyting–Kolmogorov interpretation

foundations of mathematics

Kripke semantics

mathematical object

Similar entities

Discovered by embedding cosine similarity (sentence-transformers MiniLM, 384-dim).

M. H. J. Schoenmaekers

Entitydist 0.18

Frans van Schooten

Entitydist 0.19

Pieter Hendrik Schoute

Entitydist 0.20

Jan Arnoldus Schouten

Entitydist 0.21

Dirk Jan Struik

Entitydist 0.21

Johannes Haantjes

Entitydist 0.22

Entitydist 0.22

Tatyana Pavlovna Ehrenfest

Entitydist 0.22

Willem van der Woude

Entitydist 0.22

Yvonne Dold-Samplonius

Entitydist 0.22

Entitydist 0.23

Johannes van der Corput

Entitydist 0.23