ended3월 15일· 1 sources
In Memoriam: John W. Addison, my PhD advisor
추모: 나의 박사 지도교수 John W. Addison을 기리며
Why it matters
John W. Addison (1930–2026), a logic professor at UC Berkeley, is remembered by his former PhD student as an exceptional instructor whose precision, elegant notation, and ability to identify key techniques profoundly shaped the author's career. The author recounts how Addison's guidance—from a captivating logic course to a seminar on definability—led to a breakthrough using infinite games and analogical reasoning to solve an open problem about the complexity of point subsets in Baire Space.
1
Sources
+0
24h
—
Growth
183d
Active
John AddisonUC Berkeleymodel theoryinfinite gamesTuring machinesdefinability