https://billwadge.com/2026/03/15/in-memoriam-john-w-addison-jr-my-phd-advisor/ Bill Wadge's Blog Just another WordPress.com site [cropped-sail41] Skip to content * Home * A short academic biography [6800 views] * About * Contact * Lucid Language [670 views] * Wadge Degrees [360 views] - A Functional Approach to Dictionaries In Memoriam: John W. Addison Jr, my Phd Advisor. Posted on March 15, 2026 by Bill Wadge John Addison (1930-2025) died last summer, 2025, at the age of 96. He was my PhD advisor at UC Berkeley, and I count myself extraordinarily lucky to have worked under his guidance. My condolences go out to his family. When I arrived in Berkeley in 1966, I had no clear idea what I wanted to study. Some fellow Canadian newcomers strongly recommended a logic course taught by a professor named Addison. I went, was immediately captivated, and to this day I regard him as the best instructor I ever had--and my professors at he University of British Columbia (UBC) had already set a very high bar. I especially loved how precise he was and I try to be equally so. His notational conventions were elegant and economical and I follow them religiously in my own work. As an undergraduate at UBC I had taken no logic, so I needed special permission to enroll. I went to see Addison, and he agreed to let me in when I told him I had been the top science graduate at UBC. He didn't have to: I had missed the first-year logic course and knew no proof theory. Nevertheless, his course, which focused mainly on model theory, provided an outstanding introduction to logic. I have always preferred model theory in logic and, correspondingly, semantics in computer science. Addison's exams were tough but brilliant, and they always contained a touch of humor. I vividly recall one true/false question: "This statement is false." It was not an easy choice, because he deducted marks for wrong answers. The optimal strategy was to skip the question altogether--which is what I did--or lose a mark. I loved the course and ended up tying for the top mark. The following year I eagerly enrolled in his seminar on definability, and it did not disappoint. Early in the seminar I was assigned an unsolved problem involving intricate proofs about the difficulty of defining certain point subsets (of the Baire Space, the set of all infinite sequences of natural numbers). I was completely stuck until Addison suggested I read a paper by Hartley Rogers. That paper solved a parallel problem in number theory, and by using analogical reasoning I eventually found, at the last moment, a similarly simple solution to my original problem. My analogical solution relied on Addison's description of continuous functions as continuously operating Turing machines. Given two sets of sequences, I showed that one could determine their relative complexity by means of an infinite game. Looking back, this episode illustrates how much I had already absorbed from Addison: the Turing-machine characterization of continuity, the central role of analogies, and the use of infinite games--the list goes on. In particular, it shows his uncanny ability to identify the technology needed at each crucial stage of a project, even before it was clear exactly how that technology would be applied. At first I thought my infinite game was just a clever trick for cracking a difficult problem. Addison, however, encouraged me to study the game systematically, and that encouragement launched my PhD research. With his steady support and his crucial technical suggestions, I was eventually able to extract more and more structure until I arrived at a description of the order type of the Borel sets. By the time I finished, my dissertation ran to 350 typed pages. Throughout this period Addison was remarkably generous with his time. Our meetings were not the standard one hour per week; I remember long discussions that went on for hours, covering not just my research but logic more broadly, including his recollections of conversations with Kurt Godel. I was extraordinarily fortunate. He was generous with his connections as well. He made sure I was introduced to the logic luminaries at Berkeley. I even took a seminar from the legendary Alfred Tarski. I will never forget an evening at Addison's home where I met Kleene (of regular-expression fame) and Church (the inventor of the lambda calculus). Kleene had been Addison's PhD advisor and Church's student--and Addison himself was Church's son-in-law. In some ways Addison spoiled me: I became accustomed to being treated with respect and patience. He could tease, but he never disparaged me. I would later learn that this attitude is far from universal in academia. When I left Berkeley, I moved into computer science and did not pursue my work on what are now called "Wadge degrees." I suspect Addison was somewhat disappointed. Yet in my new career I drew constantly on what I had learned from him. For example, Edward Ashcroft and I designed the dataflow language Lucid. In dataflow programming, the central idea is a filter that transforms an input stream into an output stream. Streams are elements of the Baire space, and filters are precisely Addison's continuously operating Turing machines. To this day there is hardly a day when I am not reminded of something Addison taught me. Sometimes it is something small, like "never begin a sentence with a mathematical expression." Sometimes it is something profound, such as "domains of infinite objects are simpler than domains of finite objects." I have supervised many PhD students of my own, and I have tried to emulate Addison's methods. I have tried to be generous with my time and knowledge, to have high standaards but to never disparage my students, and always to remind them of their distinguished academic ancestry and their remarkable "grand supervisor." John W. Addison Jr. is no longer with us, but his spirit lives on in his academic descendants; certainly in me. Share this: * Share on Facebook (Opens in new window) Facebook * Share on X (Opens in new window) X * Like Loading... Related Unknown's avatar About Bill Wadge I am a retired Professor in Computer Science at UVic. View all posts by Bill Wadge - This entry was posted in Uncategorized and tagged philosophy, science , writing. Bookmark the permalink. - A Functional Approach to Dictionaries Leave a comment Cancel reply [ ] [ ] [ ] [ ] [ ] [ ] [ ] D[ ] This site uses Akismet to reduce spam. Learn how your comment data is processed. * Search for: [ ] [Search] * Email Subscription Enter your email address to subscribe to this blog and receive notifications of new posts by email. Email Address: [ ] Sign me up! Join 82 other subscribers * Recent Posts + In Memoriam: John W. Addison Jr, my Phd Advisor. + A Functional Approach to Dictionaries + Functional OO in PyFL [130 views] + PyFL and its While Clauses [130 views] + The Yin and Yang of Programming [3000 views] * Archives + March 2026 + September 2025 + May 2025 + February 2025 + July 2024 + June 2024 + April 2024 + March 2024 + February 2024 + April 2023 + March 2023 + February 2023 + December 2022 + November 2022 + July 2022 + June 2022 + May 2022 + March 2022 + February 2022 + January 2022 + December 2021 + August 2021 + July 2021 + June 2021 + May 2021 + March 2021 + February 2021 + January 2021 + September 2020 + August 2020 + July 2020 + June 2020 + April 2020 + March 2020 + February 2020 + January 2020 + December 2019 + October 2019 + June 2019 + April 2019 + March 2019 + October 2018 + September 2018 + November 2017 + June 2017 + May 2017 + April 2017 + March 2017 + March 2016 + January 2016 + December 2015 + November 2015 + October 2015 + September 2015 + July 2012 + April 2012 + March 2012 + December 2011 + May 2011 + April 2011 + March 2011 + February 2011 + July 2010 * Meta + Create account + Log in + Entries feed + Comments feed + WordPress.com Bill Wadge's Blog Blog at WordPress.com. * Comment * Reblog * Subscribe Subscribed + [wpcom-] Bill Wadge's Blog Join 82 other subscribers [ ] Sign me up + Already have a WordPress.com account? Log in now. * + [wpcom-] Bill Wadge's Blog + Subscribe Subscribed + Sign up + Log in + Copy shortlink + Report this content + View post in Reader + Manage subscriptions + Collapse this bar %d [b]