Anne Sjerp Troelstra (10 August 1939 – 7 March 2019) was a professor of pure mathematics and foundations of mathematics at the Institute for Logic, Language...
4 KB (260 words) - 02:07, 7 November 2023
Anne Sjerp (1977b). Choice Sequences : A Chapter of Intuitionistic Mathematics. Oxford University Press. ISBN 0-19-853163-X. Troelstra, Anne Sjerp; Van...
19 KB (2,577 words) - 02:49, 4 August 2024
include: Pieter Jelles Troelstra (1860–1930), Dutch socialist politician Anne Sjerp Troelstra (1939–2019), Dutch mathematician Jelle Troelstra (1891–1979),...
377 bytes (75 words) - 19:12, 18 August 2022
2002) a pioneering publisher of social critical works in South Africa Anne Sjerp Troelstra (1939 in Maartensdijk – 2019) a maths professor the Institute...
9 KB (591 words) - 10:43, 26 August 2022
Agency. Maas, Jolanda; Verheij, Robert A.; Groenewegen, Peter P.; Vries, Sjerp de; Spreeuwenberg, Peter (1 July 2006). "Green space, urbanity, and health:...
53 KB (6,767 words) - 14:52, 4 July 2024
De Heineken Ontvoering, by journalist Nick Kivits and kidnapping expert Sjerp Jaarsma. On 27 October 2011, the film De Heineken Ontvoering by Maarten...
12 KB (1,324 words) - 07:00, 15 July 2024
career Fields Mathematics Institutions University of Amsterdam Doctoral advisor L. E. J. Brouwer Doctoral students Anne Sjerp Troelstra Dirk van Dalen...
5 KB (477 words) - 00:30, 30 January 2023
Auke Sjerp van der Goot (pronounced [ˈʌukə ˈɕɛr(ə)p vɑn dɛr ɣoːt]; born 29 January 1952) is a Dutch retired civil servant and politician of the Frisian...
4 KB (303 words) - 12:28, 16 December 2023
intuitionism and topos theory and was written under the supervision of Anne Sjerp Troelstra. After that, he worked as postdoctoral researcher at the University...
9 KB (824 words) - 00:11, 10 June 2024
Numbers (Fifth Edition). Oxford University Press. ISBN 0-19-853171-0 Anne Sjerp Troelstra and Dirk van Dalen (1988) "Constructivism in Mathematics: Volume...
14 KB (2,073 words) - 11:54, 4 April 2024