Email Gateway (Aug 22 2022 at 11:15): Email Gateway (Aug 22 2022 at 11:15):From: Peter Koepke <koepke@math.uni-bonn.de>
Dear all,
It is Larry Paulson's 60th birthday today. Let us thank him for his
broundbreaking ideas and work and wish him many more fruitful and happy
years.
To the creator of Isabelle!
Peter Koepke
(University of Bonn)
Email Gateway (Aug 22 2022 at 11:15):From: Tobias Nipkow <nipkow@in.tum.de>
Dear Larry,
I missed this one but luckily Peter Koepke did not. Indeed, thank you for
creating Isabelle, it changed my career.
Tobias
smime.p7s
Email Gateway (Aug 22 2022 at 11:15):From: "\"Mark Adams\"" <mark@proof-technologies.com>
Not to mention Cambridge LCF, conversions and their combinators, rewriting
via discrimination nets, the subgoal package, ...
Mark.
on 21/9/15 11:15 AM, Tobias Nipkow <nipkow@in.tum.de> wrote:
Email Gateway (Aug 22 2022 at 11:15):From: Freek Wiedijk <freek@cs.ru.nl>
Dear Larry,
Also from me many congratulations on your birthday! And my
thanks for creating Isabelle as well.
(When I started being interested in formalizing classical
mathematics, Randy Pollack told me that Isabelle was _the_
system I should have a look at. He was absolutely right.)
Freek
Email Gateway (Aug 22 2022 at 11:15):From: Andrei Popescu <A.Popescu@mdx.ac.uk>
Dear Larry,
Happy Birthday! Let me add just one more "not to mention" to the growing (lazy) list: the first mechanical verification of possibly the most influential result in modern logic, Godel's second.
Andrei
Sent from my HTC
Email Gateway (Aug 22 2022 at 11:16):From: Josef Urban <josef.urban@gmail.com>
Sledgehammer beats (hammers) all your subgoals ;-). Thanks &
congratulations,
Josef
Email Gateway (Aug 22 2022 at 11:16):From: "C. Diekmann" <diekmann@in.tum.de>
To the author of "ML for the working programmer"!
Happy birthday.
Email Gateway (Aug 22 2022 at 11:16):From: Manuel Eberl <eberlm@in.tum.de>
To the person who is porting an absurd amount of much-needed Complex
Analysis from cryptic HOL Light proofs, to which I am looking forward
very much: happy birthday!
Email Gateway (Aug 22 2022 at 11:16):From: Gerwin Klein <Gerwin.Klein@nicta.com.au>
And not only Tobias’ career!
Happy birthday, Larry!
Gerwin
The information in this e-mail may be confidential and subject to legal professional privilege and/or copyright. National ICT Australia Limited accepts no liability for any damage caused by this email or its attachments.
Email Gateway (Aug 22 2022 at 11:16):From: Burkhart Wolff <Burkhart.Wolff@lri.fr>
Dear Larry,
I wanted yo start this letter with a list of your contributions
not yet mentioned - but I gave up due to fear of lengthiness.
Happy Birthday, Larry !
bu
Last updated: Apr 26 2024 at 12:28 UTC