-
Troelstra is a
surname of
Frisian origin.
Notable people with the
surname include:
Pieter Jelles Troelstra (1860–1930),
Dutch socialist politician Anne...
-
Pieter Jelles Troelstra (Dutch pronunciation: [ˈpitər ˈjɛləs ˈtrulstraː]; 20
April 1860 – 12 May 1930) was a
Dutch lawyer,
journalist and
politician active...
- 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...
- is also
known as "
Troelstra's mistake" (Vergissing van
Troelstra),
because it was led by the
Dutch socialist Pieter Jelles Troelstra. The call for a socialist...
-
Jelle Troelstra (17
January 1891 – 16
January 1979) was a
Dutch painter. His work was part of the
painting event in the art
competition at the 1928 Summer...
- type theory –
Alternative foundation of
mathematics Troelstra 1977a, p. 974.
Bishop 1967.
Troelstra 1977b.
Pradic &
Brown 2019.
Stanford Encyclopedia of...
-
Retrieved 5
January 2021., pp. 62–63. Kranendonk, P.; Kluiving, S. J.;
Troelstra, S. R. (December 2015). "Chrono- and
archaeostratigraphy and development...
-
Constructivism in
Mathematics (1988), the
constructive logician A. S.
Troelstra dismissed it by
saying "no
satisfactory development exists at present...
-
Sjoukje Maria Diderika Troelstra-Bokma de Boer (née Bokma de Boer; 13
February 1860 – 9
January 1939),
better known under her
pseudonym Nienke van Hichtum...
-
socialism was
really about. A
minority of
members led by
Pieter Jelles Troelstra tried to
prevent this, and
later left the
party in
order to
create a new...
