Abstract
Carolyn Talcott received her PhD in Computer Science at Stanford under my nominal direction in 1985; thereby hangs a tale. A year later, largely under her tutelage and again under my nominal direction, Ian Mason received his PhD in the Special Program in Logic, Philosophy of Language and the Philosophy of Science at Stanford; thereby hangs a subsidiary tale.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Feferman, S.: A language and axioms for explicit mathematics. In: Crossley, J.N. (ed.) Algebra and Logic. Lecture Notes in Mathematics, vol. 450, pp. 87–139. Springer, Berlin (1975)
Mason, I.A.: The metatheory of the classical propositional calculus is not axiomatizable. J. Symbolic Logic 50, 451–457 (1985)
Mason, I.A.: The Semantics of Destructive Lisp. PhD Dissertation, Stanford University (1986)
Mason, I.A., Talcott, C.L.: Feferman-Landin logic. In: Sieg, W., Sommer, R., Talcott, C. (eds.) Reflections on the Foundations of Mathematics, Association for Symbolic Logic, Urbana, IL. Lecture Notes in Logic, vol. 15, pp. 293–328. A K Peters, Ltd., Natick (2002)
Talcott, C.L.: The Essence of Rum: A theory of the intensional and extensional aspects of Lisp-type computation. PhD Dissertation, Stanford University (1985)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2011 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Feferman, S. (2011). Two PhD Students for the Price of One. In: Agha, G., Danvy, O., Meseguer, J. (eds) Formal Modeling: Actors, Open Systems, Biological Systems. Lecture Notes in Computer Science, vol 7000. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-24933-4_1
Download citation
DOI: https://doi.org/10.1007/978-3-642-24933-4_1
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-24932-7
Online ISBN: 978-3-642-24933-4
eBook Packages: Computer ScienceComputer Science (R0)