astronomy

Henk Barendregt

Henk Barendregt is a astronomy topic covered in the lgStudy science library. This page brings together a partial reference excerpt, illustrations, worked examples, real-world applications and a short study plan, so you can understand Henk Barendregt rather than just read about it. In short: Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory. Life and work Barendregt studied mathematical logic at Utrecht University, obtaining his master's degree in 1968 and his PhD in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel.

Key takeaways

Henk Barendregt belongs to astronomy; place it in that map before memorising details.
Learn the definition first, then one example that makes the definition concrete.
Connect Henk Barendregt to a quantity you can measure, compute or draw — that is where exam questions come from.
Reproduce the core statement of Henk Barendregt from memory before moving on to harder problems.

Reference excerpt

Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory.

Life and work Barendregt studied mathematical logic at Utrecht University, obtaining his master's degree in 1968 and his PhD in 1971, both cum laude, under Dirk van Dalen and Georg Kreisel. After a postdoctoral position at Stanford University, he taught at Utrecht University. Since 1986, Barendregt has taught at Radboud University Nijmegen, where he now holds the Chair of Foundations of Mathematics and Computer Science. His research group works on Constructive Interactive Mathematics. He is also adjunct professor at Carnegie Mellon University, Pittsburgh, US. He has been a visiting scholar at Darmstadt, ETH Zürich, Siena, and Kyoto. Barendregt was elected a member of Academia Europaea in 1992. In 1997 Barendregt was elected member of the Royal Netherlands Academy of Arts and Sciences. On 6 February 2003 Barendregt was awarded the Spinozapremie for 2002, the highest scientific award in the Netherlands. In 2002 he was knighted in the Orde van de Nederlandse Leeuw. Barendregt received an honorary doctorate from Heriot-Watt University in 2015.

Selected publications H.P. Barendregt (1984). The Lambda Calculus — Its Syntax and Semantics. Studies in Logic and the Foundations of Mathematics. Vol. 103. Amsterdam: North-Holland. ISBN 0-444-87508-5. — See Errata Y. Toyama; J.W. Klop; H.P. Barendregt (1989). "Termination for the Direct Sum of left-Linear Term Rewriting Systems (Preliminary Draft)". In Nachum Dershowitz (ed.). Rewriting Techniques and Applications, 3rd Int. Conf., RTA-89. LNCS. Vol. 355. Springer. pp. 477–491. H.P. Barendregt (2001). "Computing and Proving (invited lecture)". In Middeldorp, A. (ed.). Rewriting Techniques and Applications, 12th Int. Conf., RTA-01. LNCS. Vol. 2051. Springer. H.P. Barendregt, W. Dekkers and R. Statman (2013). Lambda Calculus with Types. Perspectives in Logic. Cambridge University Press. ISBN 978-052-176-614-2. H.P. Barendregt and G. Manzonetto (2022). A Lambda Calculus Satellite. Mathematical Logic and Foundations. College Publications. ISBN 978-1-84890-415-6.

References

External links Barendregt's homepage Author profile in the database zbMATH

Illustrations

Worked examples

Example 1 — a first encounter with Henk Barendregt

Start with the simplest possible case. Write down what Henk Barendregt claims or describes in one sentence, then invent the smallest concrete situation in which that sentence is true. In astronomy, the smallest case is usually a single object, a single equation or a single measurement. Check that every symbol or term in your sentence has a meaning in that case.

Example 2 — changing one variable

Take the situation from Example 1 and change exactly one quantity: double it, halve it, or set it to zero. Predict what should happen to Henk Barendregt before you calculate. Comparing your prediction with the result is the fastest way to find out whether you understand the idea or only the words.

Example 3 — an exam-style question

Typical questions about Henk Barendregt ask you to (a) state it precisely, (b) apply it to given data, and (c) explain a limitation. Practise writing all three answers in under five minutes; the third part is what separates a full-mark answer from an average one.

Applications of Henk Barendregt

In research: Henk Barendregt appears in astronomy research whenever the underlying quantities have to be modelled precisely. Papers usually cite it as a starting assumption and then explore where it breaks down.
In technology and industry: Engineering practice reuses Henk Barendregt in design rules, simulations and safety margins. Knowing the idea lets you read a specification sheet and understand why the numbers look the way they do.
In the classroom: Henk Barendregt is common in secondary-school and first-year university syllabi. It links to neighbouring topics 1947 births, Academic staff of Radboud University Nijmegen, Academic staff of Technische Universität Darmstadt, so understanding it makes those chapters shorter.
In everyday life: Look for Henk Barendregt outside the textbook — in sport, cooking, traffic, electronics or the sky above you. An example you found yourself is remembered far longer than one you were given.

Ask Teacher Smith questions about this articleOpens your AI tutor with a question about “Henk Barendregt” →

Affiliate

Preply — study more efficiently by working with a personal tutor. 50% off.

How to study Henk Barendregt in 20 minutes

Read the reference excerpt below once, without taking notes.
Close the page and write down what Henk Barendregt means in your own words.
Compare your version with the excerpt and mark what you missed.
Work through the three examples above with pen and paper.
Explain Henk Barendregt out loud to somebody else — or to Teacher Smith in the lgStudy chat.

Frequently asked questions

What is Henk Barendregt in simple terms?

Hendrik Pieter (Henk) Barendregt (born 18 December 1947, Amsterdam) is a Dutch logician, known for his work in lambda calculus and type theory. Life and work Barendregt studied mathematical logic at Utrecht University, obtaining his master's degree in 1968 and his PhD in 1971, both cum laude, under…

Why does Henk Barendregt matter?

Because it connects several astronomy ideas at once: it gives you a definition you can apply, a quantity you can calculate, and a way to check whether a result is plausible.

How should I study Henk Barendregt?

Read the excerpt, restate it from memory, then work through the examples and applications listed on this page. The five-step study plan above takes about twenty minutes.

What does this page cover?

It gives you a compact reference excerpt plus original lgStudy explanations, examples, applications and study material on Henk Barendregt.