Vaughan Pratt's Home Page.
ORCID 0000-0002-5490-4676
DALI SLIDES, Sept.23
Current research interests:
RECENT PRESENTATIONS
2017
April 27: Acceptance speech, University of Sydney 2017 Alumni Award for Innovation and
Entrepreneurship.
May 9: "Telling Climate Sensitivity by the Sun", talk at Brian Anderson
Building, Australian National University.
May 25: "Formality and Rigor in Treatments of Global Warming", Summer
School in Formal Techniques, Menlo College.
2016
February 5: "Categories with Distinguished Objects", Invited talk, Fields Institute, Toronto.
Slides,
Video.
See also these
interviews at this meeting. Their lengths in units of tweets
varied from about one to ten tweets; my three contributions came to
respectively two, four, and two tweets in length. Speakers included
Stephen Wolfram, Dana Scott, Harvey Friedman, Ingrid Daubechies, Jeremy
Avigad, Georges Gonthier, and a number of representatives of the symbolic
computation community. I was the only speaker west
of Chicago, not sure what that says about western mathematics...
April 18:
My first tweet, attempting to explain quantum computing "better than
[Canadian Prime Minister] Justin Trudeau". (Whereas the state space of 3
bits is a 3-dimensional space with 0-1-valued coordinates, the state space
of 3 qubits is an 8-dimensional space with complex-valued coordinates.)
October 9: Algebras and Bialgebras via Categories with
Distinguished Objects, AMS Western Section Meeting, Denver, Colorado.
November 2: Harmonic Predictive Control as a Variant of
PID Control, tRFMO Model Strategy Evaluation Working Group,
International Commission for the Conservation of Atlantic Tuna, Madrid,
Spain.
December 17:
A Centrifugal Volcanism Mechanism for the Atlantic Multidecadal Oscillation
. Poster,
Global Environmental Change session GC13G, American
Geophysical Union Fall Meeting 2016, Moscone Hall, San Francisco.
2015
May 14: "Academic Leadership". Invited talk,
Global
Leadership Development Program, Sydney University International House, Sydney, Australia.
May 26: Euclid's Elements as an Equational Theory.
Seminar, Mathematics Dept., University of Sydney, Sydney, Australia.
August 21: Aristotle, Boole, and Chu: Duality since 350 BC.
Plenary talk, George Boole
Mathematical Sciences Conference, Cork, Ireland. (Conference in honour of Boole's 200th birthday.)
October 12: Aristotle, Boole,
and Categories. Invited paper, Parikh Festschrift, 2015.
December 17:
Model Complexity of Global Climate:
Could Arrhenius have foreseen the hiatus?
. Poster,
Global Environmental Change session GC43C, American
Geophysical Union Fall Meeting 2015, Moscone Hall, San Francisco.
2014
December 16: An Ekman Transport Mechanism for
the Atlantic Multidecadal Oscillation . Poster, Global Environmental Change session GC21C, American Geophysical
Union Fall Meeting 2014, Moscone Hall, San Francisco.
2013
August 5:
A homogeneous algebraic definition of Euclidean space,
Talk, Conference BLAST 2013, Chapman University, Orange, CA.
July 18: Weiner's Repetition Finder.
Invited talk, 24th Annual Conference on Combinatorial
Pattern Matching, session "1973 + 40 = 2013", Bad Herrenalb, Germany.
December 13: Reconciling multidecadal land-sea global
temperature with rising CO2.
Talk, SWIRL
session GC53C "Understanding 400 ppm Climate: Past, Present and Future", American Geophysical Union Fall
Meeting 2013, Moscone Hall, San Francisco. See also video of oral presentation.
2012
May 25:
Geodesic spaces: Euclid's five postulates as an equational theory,
starting with the second. Invited talk at
The Constructive in Logic and Applications: A conference
in honour of the 60th Birthday of Sergei Artemov. Video here.
December 4:
Multidecadal climate to within a millikelvin. Poster,
Global Environmental Change session GC23C, American Geophysical Union Fall meeting 2012, San Francisco.
2011
February 12: Linear Process Algebra.
Invited talk, International Conference on Distributed Computing and Internet Technology, Bhubaneswar, India.
See also slides of talk.
February 15: The Logic of Global Warming. Seminar, TATA
Institute of Fundamental Research, Mumbai, India.
February 15: Euclidean and non-Euclidean algebra.
Seminar, TATA Institute of Fundamental Research, Mumbai, India.
June 14: Euclidean and non-Euclidean algebra.
Seminar, Maths Colloquium, Macquarie University, Sydney, Australia
June 16: Linear Process Algebra.
Colloquium, National Information and Communications Technology Australia (NICTA), Sydney, Australia.
June 17: Linear Process Algebra.
Seminar, School of Information Technology, University of Sydney, Australia.
June 23: The Logic of Global Warming. Seminar,
Australian National University, Canberra, Australia
July 23:
Structure from sorts, properties, and composition: A minimalist approach
to topoalgebraic structure. Talk, International Conference on Category Theory, UBC, Vancouver, Canada.
October 11: Linear Process Algebra.
Math & CS Colloquium, Santa Clara University, CA.
December 8:
A three-component analytic model of long-term climate change
. Poster, Global Environmental Change session GC43B, American Geophysical Union Fall meeting 2011, San Francisco.
2010
April 9: Tutorial on Chu spaces. Invited tutorial, Institut
de Recherche et Coordination Acoustique/Musique (IRCAM), Paris, France.
April 9: Presketches.
Talk, IRCAM, Paris, France.
April 13: Presketches.
Seminar, Institute for Information, Logic, and Computation (IILC), University of Amsterdam, Netherlands.
June 2: Topological algebra based on sorts and
properties as free and cofree universes.
Talk, Conference BLAST 2010, University
of Colorado, Boulder, Colorado.
June 5: Geodesic spaces : momentum ::
Groups : symmetry.
Talk, Conference BLAST 2010, University
of Colorado, Boulder, Colorado.
Stanford Affiliations
Other Affiliations
M.Sc. Thesis: Translation
of English into Logical Expressions,
Sydney University,
August 1969.
Advisor: Jan B. Hext
Abstract: A computer program to solve Lewis Carroll's syllogisms
is considered. A logical decision method is evolved for dealing with
syllogisms expressed as conjunctive normal form (CNF) propositions. For
the translation of English into CNF, a theory of translation
is presented. A computer program is exhibited which explicitly
embodies each feature of the theory, and produces CNF translations of
Carroll's syllogisms. It is claimed that the translation theory is
the most significant result of the research. A translation approach to
phrase-structure grammars enables their practical value to be studied
more closely. It is shown that the position of phrase-structure
grammars is stronger than that of transformational grammars in a
utilitarian theory, as distinct from an explanatory theory.
Ph.D. Thesis: Shellsort and Sorting Networks,
Stanford University,
December 1971.
Advisor: Donald E.
Knuth
Former Ph.D. Students:
Miscellaneous Thoughts