Anne Sjerp Troelstra (born August 10, 1939 at Maartensdijk (Utrecht), The Netherlands) is Emeritus professor of pure mathematics and foundations of mathematics at the Institute of Logic, Language and Information (ILLC) of the University of Amsterdam. He is a constructivist logician. August 10 is the 222nd day of the year (223rd in leap years) in the Gregorian Calendar. ... 1939 was a common year starting on Sunday (link will take you to calendar). ... Utrecht is the smallest province of the Netherlands, and is located in the center of the country. ... The Netherlands (Dutch: Nederland) is the European part of the Kingdom of the Netherlands (Dutch: Koninkrijk der Nederlanden). ... A professor is a senior teacher and researcher, usually in a college or university. ... Broadly speaking, pure mathematics is mathematics motivated entirely for reasons other than application. ... The term foundations of mathematics is sometimes used for certain fields of mathematics itself, namely for mathematical logic, axiomatic set theory, proof theory, model theory, and recursion theory. ... Logic (from ancient Greek λόγος (logos), originally meaning the word, or what is spoken, but coming to mean thought or reason) is the study of arguments. ... Information is a term with many meanings depending on context, but is as a rule closely related to such concepts as meaning, knowledge, instruction, communication, representation, and mental stimulus. ... From Athenaeum Illustre to University In January 1632 two internationally acclaimed scientists, Caspar Barlaeus and Gerardus Vossius, held their inaugural speech in the Athenaeum Illustre - the illustrious school - which had its seat in the 14th-century Agnietenkapel. ... In education, constructivism is a learning theory which holds that knowledge is not transmitted unchanged from teacher to student, but instead that learning is an active process of learning. ... The article titled Logicians treats the ancient Chinese philosophers known by that name (with a capital L). List of logicians (with a lower-case l) treats philosophers, mathematicians, and others whose topic of scholarly study is logic. ...

External links

• Home page of A. S. Troelstra (http://staff.science.uva.nl/~anne/).