Symposium Participants

Chair:

**Hans Halvorson****, **Department of Philosophy, Princeton University, United States

hhalvors@princeton.edu

http://www.princeton.edu/~hhalvors/cv.pdf http://web.princeton.edu/sites/philosph/bios/halvorson.htm

Hans Halvorson is Associate Professor in the Department of Philosophy at Princeton University. Professor Halvorson graduated from Calvin College with a Bachelor's Degree in Philosophy. This was followed by Master's Degrees in Philosophy and Mathematics from the University of Pittsburgh and a Ph.D. in Philosophy from the University of Pittsburgh. He became Assistant Professor of Philosophy at Princeton in 2001 and received tenure in 2005. At Princeton, Professor Halvorson teaches primarily in philosophical logic and philosophy of science; he also advises independent work in metaphysics, philosophy of science, and philosophy of religion. His research focuses on the conceptual and mathematical foundations of contemporary physics, especially quantum field theory and quantum information theory. Professor Halvorson has been a short-term Fellow with the Perimeter Institute for Theoretical Physics (2006), a Behrman Fellow with the Princeton Council of the Humanities, and Associate Fellow with the Center for the Philosophy of Science at the University of Pittsburgh. He has been the recipient of such awards as the Mellon New Directions Fellowship (2007), the Cushing Memorial Prize in the History and Philosophy of Physics (2004), Best Article of the Year by a Recent Ph.D. (Philosophy of Science Association, 2001), and Ten Best Philosophy Articles of the Year (*The Philosopher's Annual*, 2001 and 2002).

**Keynote Speaker:**

**John Baez**, Department of Mathematics, University of California,

Riverside, United States

baez@math.ucr.edu

http://math.ucr.edu/home/baez/

John Baez is Professor of Mathematics at the University of California, Riverside. He obtained his B.A. in Mathematics from Princeton University (1982) and his Ph.D. in Mathematics from the Massachusetts Institute of
Technology (1986). Known
for his work on spin foams in loop quantum gravity, Professor Baez's recent
research has focused on applications of higher categories to physics. His
books include *An Introduction to Algebraic and Constructive Quantum Field
Theory *(1992), authored with Irving Segal and Zhengfang Zhou, and *Gauge
Fields, Knots, and Gravity *(1994), authored with Javier Muniain. He
edited *Knots and Quantum Gravity *(1994), writes an online column entitled "This Week's Finds in
Mathematical Physics," and helps run The n-Category Cafe, which is a blog on
mathematics, physics, and philosophy. Professor Baez was elected Fellow of the American Association for the
Advancement of Science (1999).

**Speakers:**

**Časlav Brukner**, Faculty of Physics, University of Vienna, Austria; Institute of Quantum Optics and Quantum Information, Austrian Academy of Sciences, Vienna

caslav.brukner@univie.ac.at

http://homepage.univie.ac.at/Caslav.Brukner/cv.htm

Časlav Brukner is Associate Professor at the Faculty of Physics of the University of Vienna. He obtained his M.S. in Physics from the University of Vienna (1995) and earned a Doctor of Technical Sciences from the Vienna University of Technology (1999). Professor Brukner was awarded the Habilitation in Quantum Physics by the University of Vienna. He was a Marie Curie Fellow at the Imperial College London (2004) and Senior Researcher at the Institute for Quantum Optics and Quantum Information, Austrian Academy of Sciences (2005–2006). In addition, he has been Chair Professor at Tsinghua University in Beijing, China (since 2005). His primary research interests are foundations of quantum physics and quantum information theory. Together with Anton Zeilinger, he worked on an information-theoretical formulation of quantum mechanics. In 2001, he collaborated on a derivation of the general Bell inequality also known as "Werner-Wolf-Zukowski-Brukner" inequality. He also collaborated on theoretical proposals that led to the first experiment to demonstrate entanglement purification and the first test of non-local realistic theories.

**Jeffrey Bub**, Department of Philosophy, University of Maryland,

College Park, United States

jbub@umd.edu

http://carnap.umd.edu/philphysics/bub.html

Jeffrey Bub obtained his Ph.D. in Mathematical Physics at London University (1966). Currently, he is Distinguished University Professor in the Department of Philosophy and the Institute for Physical Science and Technology at the University of Maryland. Professor Bub has held appointments at Yale University and the University of Western Ontario, as well as visiting appointments at Yale, Princeton University, Tel Aviv University, the University of California at Irvine, the University of California at San Diego, the Center for the Philosophy of the Natural and Social Sciences at the London School of Economics and Political Science, and the Perimeter Institute for Theoretical Physics in Waterloo, Canada. Professor Bub has published numerous articles in scientific and scholarly journals on the conceptual foundations of quantum mechanics and is the author of two books:* The Interpretation of Quantum Mechanics* (Reidel, 1974) and* Interpreting the Quantum World* (Cambridge University Press, 1997; revised paperback edition, 1999), which won the prestigious Lakatos Award in 1998 for providing a unified reconstruction and systematic assessment of quantum mechanics. His current research is focused on foundational questions arising in the field of quantum information and computation. Professor Bub was awarded the Kirwan Faculty Research and Scholarship Prize in 2005 for his work in this area.

**Bob** **Coecke**, Computing Laboratory, University of Oxford, United Kingdom

bob.coecke@comlab.ox.ac.uk

http://web.comlab.ox.ac.uk/oucl/people/bob.coecke.html

Bob Coecke is University Lecturer in Quantum Computer Science, EPSRC Advanced Research Fellow, and Fellow of Wolfson College, Oxford University. He obtained his Ph.D. in Theoretical Physics from the Vrije Universiteit, Brussels and held postdoctoral positions at Imperial College, McGill University, and the University of Cambridge. Professor Coecke was awarded the 2004 Biennial Prize for Meritorious Research in the Field of Quantum Structures. With Abramsky, Professor Coecke co-authored the first paper on quantum informatics to ever have been accepted by the IEEE conference on Logic in Computer Science. This paper initiated the axiomatization of quantum mechanics in terms of monoidal categories. He currently coordinates a 2M European STREP entitled "Foundational Structures in Quantum Information and Computation" and is finishing a number of volumes of commissioned chapters in Springer's* Lecture Notes in Physics* book series entitled *New Structures for Physics*. Professor Coecke runs the interdisciplinary OASIS research seminar series at Oxford University's Computing Laboratory and regularly organizes workshops on structural research in physics and computer science.

**Andreas** **Döring**, Theoretical Physics Group, Blackett Laboratory,

Imperial College of Science, Technology & Medicine, London, United Kingdom

a.doering@imperial.ac.uk

http://www.imperial.ac.uk/physics/about/staff/staff_detail.aspx?id=1401

Andreas Döring began his study of physics in 1995 at the Johann Wolfgang Goethe-Universität, Frankfurt am Main. His diploma thesis in mathematical physics, *Kinematik diffeomorphismeninvarianter quantisierter Eichtheorien *(in German, 2000; supervisor, Professor Hans F. de Groote, Frankfurt) considered kinematical aspects of loop quantum gravity. In 2001, Dr. Döring switched from physics to mathematics, shifting his research interests to operator algebras and some of their applications in physics. In particular, he worked on the classification of the so-called Stone spectra of finite von Neumann algebras. Dr. Döring also proved a generalization of the famous Kochen-Specker theorem, which clarifies the situation for all von Neumann algebras. The new proof is related to Christopher Isham and Jeremy Butterfield's work on presheaf reformulations of the Kochen-Specker theorem. Dr. Döring's thesis, *Stone spectra of finite von Neumann algebras and foundations of quantum theory*, was finished in December 2004. Subsequently, he found a certain generalization of the Gelfand transform. Around that time, he became interested in category and topos theory and gave a lecture on these topics at Frankfurt University. In July 2005, Dr. Döring organized a small workshop on new mathematical structures in the foundations of quantum theory. From December 2005 on, he has worked with Christopher Isham at Imperial College, London. Recently, they proposed a new scheme for the formulation of physical theories using topos theory in which formal languages encoding an intuitionistic logic play a central role.

**Lucien** **Hardy**, Institute for Quantum Computing, Perimeter Institute for

Theoretical Physics, Waterloo (Ontario), Canada

lhardy@perimeterinstitute.ca

http://www.iqc.ca/people/person.php?id=114

http://www.perimeterinstitute.ca/index.php?option=com_content&task=view&id=30&

Itemid=72&pi=index.php&e=Faculty&cat_id=433&cat_table=4&e=

Lucien%20Hardy%20&f=3&name=Lucien%20Hardy%20&resident_id=1078

Lucien Hardy received his Ph.D. at Durham University (1993) under the supervision of Professor Euan J. Squires. He has held research and lecturing positions in Maynooth, Innsbrook, Durham, Rome, and Oxford. Since 2002, he has been a member of faculty at Perimeter Institute for Theoretical Physics in Waterloo, Ontario, Canada. His primary research area is quantum foundations. In particular, he is interested in applications of quantum foundations to quantum gravity and quantum information. In 1992, he found a very simple proof of non-locality in quantum theory, which has become known as Hardy's theorem. In Rome, he collaborated on the first experiment to demonstrate quantum teleportation. In Oxford, he worked on obtaining an alternative set of postulates for quantum theory. He is currently working on building a framework appropriate for a theory of quantum gravity.

**Simon B.** **Kochen, **Department of Mathematics, Princeton University, United States

kochen@math.princeton.edu

http://web.princeton.edu/sites/philosph/bios/kochen.htm

Simon Kochen has been the Henry Burchard Fine Professor of Mathematics at Princeton University since 1994. He received his Ph.D. from Princeton University in 1958 and joined the Mathematics Department at Princeton in 1967. He and John Conway proved the Free-Will Theorem in 1994. Having research interests in model theory, number theory, and the foundations of quantum mechanics, he is the author of a number of articles in these fields. In 1968, Professor Kochen was the recipient of the American Mathematical Society Cole Prize in Number Theory.

**Nicolaas P. (Klaas) Landsman**, Institute for Mathematics, Astrophysics, and Particle Physics, Department of Science, Radboud Universiteit Nijmegen, The Netherlands

landsman@math.ru.nl

http://www.math.ru.nl/~landsman/

Nicolaas (Klaas) Landsman studied physics, mathematics, and astronomy at the University of Amsterdam (1981-1985). His initial research was in quantum field theory at finite temperature and the quark-gluon plasma. His M.Sc. thesis, published as *Physics Reports 145, 141-249 *(1987), has been cited almost 700 times. He earned his Ph.D. in Theoretical Physics (1989). Subsequently, Professor Landsman was a research assistant and then an advanced research fellow at the DAMTP of the University of Cambridge from 1989–1997, interrupted by a year at Hamburg 1993–94. Dr. Landsman switched from theoretical physics to mathematical physics and the history and philosophy of physics under the influence of Michael Atiyah, Jeremy Butterfield, Alain Connes, Klaus Fredenhagen, Rudolf Haag, Stephen Hawking, Christopher Isham, Michael Redhead, Marc Rieffel, and Alan Weinstein. His research interests are a blend of quantization theory, noncommutative geometry, and the mathematical and conceptual foundations of quantum mechanics, the latter also from a historical point of view, leading to publications about Bohr, Einstein, and Heisenberg. Most of his mathematical ideas from that period have appeared in Professor Landsman's book *Mathematical Topics Between Classical and Quantum Mechanics* (Springer, 1998). In 2005, he published a novel, *Requiem for Newton* (in Dutch, due to be translated by Wiley-VCH), about his Cambridge years that was at the same time a history of physics. Professor Landsman became a Royal Society research fellow at the University of Amsterdam, where he became a Full Professor of Mathematical Physics in 2001. He was awarded a "Pioneer" research grant of 1M euro by the Dutch Research Organization in 2002 and moved to the Radboud University Nijmegen in 2004 as a Professor of Analysis. In The Netherlands, Professor Landsman began collaborating with Ieke Moerdijk, under whose influence he increased work on Lie groupoids and became interested in category theory. This interest has led to various proposals of turning quantization into a functor and a generalization of the Guillemin-Sternberg conjecture that "quantization commutes with reduction" to noncompact groups and even to (proper) Lie groupoids. Professor Landsman subsequently became interested in topos theory as a foundation for quantum logic and perhaps even for all of physics, especially quantum gravity, which he is exploring at Nijmegen, where he has taught and worked on educational projects and policy for secondary-school mathematics.

**Miklós** **Rédei**, Department of Philosophy, Logic and Scientific Method, London School of Economics and Political Science, United Kingdom

m.redei@lse.ac.uk

http://www.lse.ac.uk/collections/philosophyLogicAndScientificMethod/

http://philosophy.elte.hu/redei/

Miklós Rédei studied physics and philosophy at Lorand Eötvö University in Budapest, Hungary, receiving his Ph.D. in Philosophy from Eötvös University (1982), where he taught in the Department of History and Philosophy of Science and in the Department of Logicat. Currently, he is Lecturer in the Department of Philosophy, Logic and Scientific Method at the London School of Economics and Political Science. Professor Rédei has had visiting positions in Europe and in the US: he was a Visiting Fellow and Fulbright Scholar at the Center for Philosophy of Science in Pittsburgh (1994–95) and Senior Resident Fellow in the Dibner Institute at the Massachusetts Institute of Technology (1997–98). Professor Rédei's research interests concern foundational and philosophical problems of modern physics, especially quantum theory, as well as more general issues in philosophy of science, such as the interpretation of probability and theories of probabilistic causation. He is the author of *Quantum Logic in Algebraic Approach* (Kluwer, 1998), co-editor of the volume *John von Neumann and the Foundations of Quantum Physics*, M. Redei and M. Stoeltzner (eds.) (Kluwer, 2001), and editor of *John von Neumann: Selected letters* (American Mathematical Society, 2005). Professor Rédei was co-organizer of the three-year European Science Foundation Network "Foundational and Philosophical Problems of Modern Physics" (2003–2005).

**Stephen J. Summers**, Department of Mathematics, University of Florida,

Gainesville, United States

sjs@math.ufl.edu

__http://www.math.ufl.edu/~sjs/__

Stephen J. Summers, Professor of Mathematics at the University of Florida, is a mathematical physicist specializing in the mathematical and conceptual foundations of quantum theory, particularly relativistic quantum field theory. While completing graduate studies in physics at Harvard University (Ph.D. 1979), he was teaching and doing research at the Eidgenössische Technische Hochschule in Zürich (ETH Zürich). After postdoctoral positions at the Centre de Physique Théorique of the CNRS at Luminy outside Marseilles and in the Department of Physics at the University of Osnabrück, Professor Summers returned to the United States in 1985 to become Assistant Professor of Mathematics at the University of Rochester. In 1989, he moved to the University of Florida as Associate Professor of Mathematics. Since his return to the US, Professor Summers has held visiting positions at King's College, London,

the University of Provence, the University of Rome, the Erwin Schrödinger International Institute for Mathematical Physics, Vienna, and again at the Centre de Physique Théorique, Luminy. He was also Gauss Professor at the University of Göttingen in 1994.

**Online Discussant and Book Contributor:**

**Hans F. de Groote**, Institut für Analysis und
Mathematische Physik, Johann Wolfgang Goethe-Universität, Frankfurt am Main, Germany

degroote@math.uni-frankfurt.de
http://www.genealogy.ams.org/id.php?id=26333
http://www.informatik.uni-trier.de/ ~ley/db/indices/a-tree/ g/Groote:Hans_F=_de.html
Hans de Groote studied astrophysics and mathematics at the university of Heidelberg (1964–1968), graduating with a Diploma in Mathematics. He obtained his Ph.D. in
Mathematics from the University of Konstanz (1971) for his thesis on
non-Archimedean integration theory and received the *Venia Legendi* for
Mathematics from the University of Tübingen in 1977. Since 1979, he has been
Professor of Applied Mathematics at the University of Frankfurt am Main.
Professor de Groote’s fields of research changed several times: harmonic
analysis and integration theory (1966–1973); algebraic complexity theory, a
part of mathematical computer science (1973–1987); and mathematical physics
(1987–present), with a focus in recent years on quantum gravity and new
mathematical structures in the foundations of quantum theory.

**Convener:**

**Charles L. Harper, ** Jr., Senior Vice President, John Templeton Foundation, Philadelphia , United States

charper@templeton.org

http://www.templeton.org/

www.templeton.org/about_us/who_we_are/leadership_team/charles_harper

Charles
L. Harper, Jr., D.Phil. is Senior Vice President of the John Templeton
Foundation. His primary responsibilities are in the areas of strategic
planning, program design and development, vision casting, philanthropic
networks development, and talent scouting. Dr. Harper has worked to transform
philanthropy by instituting innovative entrepreneurial practices in grant
making, creating more than $200 million in grant-based programs ranging widely
from the study of forgiveness and reconciliation and enterprise-based solutions
for poverty to projects on foundational questions in physics and cosmology and
other scientific topics in biochemistry, neuroscience, evolutionary biology,
medicine, and the philosophy of science. He is the founding Chairman of Geneva
Global, Inc., an innovative philanthropic organization making grants worldwide
within the developing world, reflecting his special interests in trade and
solutions to poverty that include promoting a vision for major reforms focused
on entrepreneurs and wealth creators in the commercial aid sector and avoidance
of charitable dependency among aid recipients. Initially trained in engineering
at Princeton (B.S.E. 1980), Dr. Harper obtained his D.Phil. in planetary
science from the University of Oxford for a thesis on the nature of time in
cosmology (1988). He also holds the Diploma in Theology from Oxford (1988) and
a Certificate of Special Studies in Management and Administration from Harvard University (1997). In his science career, Dr. Harper was a National Research
Council Fellow at NASA's Johnson Space Center (1988–91) and a research
scientist in the Harvard Department of Earth and Planetary Sciences and at the
Harvard College Observatory (1991–95).

For
the John Templeton Foundation, he has developed a number of science-based
interdisciplinary symposia and related research volumes, including *The
Fountain of Youth: Cultural, Scientific, and Ethical Perspectives on a
Biomedical Goal* based on the *Extended Life, Eternal Life* symposium co-sponsored by the Center for Bioethics at the University of
Pennsylvania, March 2000 (Oxford University Press, NY, 2003); *Science and
Ultimate Reality: Quantum Theory, Cosmology, and Complexity* in honor of
the 90th birthday of John A. Wheeler based on the symposium in Princeton, March
2002 (Cambridge University Press, UK, 2004); *Fitness of the Cosmos for
Life: Biochemistry and Fine-Tuning* * in honor of the legacy of Lawrence J. Henderson * based on the symposium at Harvard
University, October 2003 (Cambridge University Press, UK, forthcoming
fall 2007); *Visions of Discovery: New Light on Physics, Cosmology, and
Consciousness *in honor of the 90th birthday of Charles H. Townes based on
the symposium at the University of California, Berkeley, October 2005
(Cambridge University Press, UK, forthcoming in 2008); and *Horizons of
Truth: Logics, Foundations of Mathematics, and the Quest for Understanding the
Nature of Knowledge* in honor of the legacy of Kurt Gödel based on the
symposium at the University of Vienna, April 2006 (Cambridge University Press,
NY, forthcoming in 2008). Currently, Dr. Harper is developing several similar
symposia and book projects in addition to other special programs for the Foundation.
Other scientific publications include more than 50 research articles in
scientific journals, including *Nature, Science*, and the *Astrophysical Journal*.