Movatterモバイル変換
[0]ホーム
Vaughan Pratt's Home Page.
ORCID 0000-0002-5490-4676
A one-page account of manmade global warming
We emit CO2, some of it accumulates in the atmosphere, causing Earth'ssurface to warm.This paper starts from 3x168 climate datapoints, for respectively CO2emissions, atmospheric greenhouse gases, and land temperature, each for the168 years 1851-2019, and boils them down to just the years 1851, 1977,which should suffice to give a clear picture of how we've been warmingthe planet since 1851.
Climate is (almost) always changing quickly:An uncertainty principle for climate
Abstract: IPCC's estimates of global climate in 2100 vary widely. We exploitan uncertainty principle for climate that trades off precision in time forprecision in temperature. Assuming continuation of events, cycles, andtrends since 1850, we obtain a usefully precise estimate of theextent of warming averaged over the 65 years within 32 years of 2100,namely 3.0-3.2 °C above preindustrial and 2.1-2.3 °C above today. Thosewho view the glass as half full can look forward to half of that period(suitably weighted) being colder than that while glass-half-empty types willbe more focused on the other half. Variability in phase and duration ofmost cycles and events in modern climate makes it difficult to say whichspecific years will be the hotter ones.
My AGU19 poster on a closely related topic can be seenhere.
Current research interests:2019
December 12:Calibrating centennial climate feedbacks by the Sun:Are we underestimating the climate feedbacks?. Poster,Session A41M, American Geophysical Union FallMeeting 2019, Moscone Hall, San Francisco.2018
April 27:The Class CAT of Locally Small Categories as a Functor-Free Frameworkfor Foundations and Philosophy, talk at Berkeley Math and PhilosophyLogic Colloquium,
December 12:Sources of Variation in Climate Sensitivity Estimates. Poster,. Poster,Global Environmental Change session GC33H: The Rate of Global Warming onDecadal to Multidecadal Timescales: Hiatus Events, Surge Events, andClimate Sensitivity. Session GC33H, Posters, Wednesday December 12,Washington Convention Center, Hall A-C.2017
April 27: Acceptance speech, University of Sydney 2017Alumni Award for Innovation and Entrepreneurship.
May 9: "Telling Climate Sensitivity by the Sun", talk at Brian AndersonBuilding, Australian National University.
May 25: "Formality and Rigor in Treatments of Global Warming", SummerSchool in Formal Techniques, Menlo College.
December 14:Magmatic Volatiles as an Amplifier of Centrifugal Volcanism. Poster,Perspectives on International Activities in Earth and Space Research andSupporting Informatics session IN43D, American GeophysicalUnion Fall Meeting 2017, Ernest N. Morial Convention Center, New Orleans.2016
February 5: "Categories with Distinguished Objects", Invited talk, Fields Institute, Toronto.Slides(more recent version here),Video.
See alsotheseinterviews at this meeting. Their lengths in units of tweetsvaried from about one to ten tweets; my three contributions came torespectively two, four, and two tweets in length. Speakers includedStephen Wolfram, Dana Scott, Harvey Friedman, Ingrid Daubechies, JeremyAvigad, Georges Gonthier, and a number of representatives of thesymboliccomputation community. I was the only speaker westof 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 3bits is a 3-dimensional space with 0-1-valued coordinates, the state spaceof 3 qubits is an 8-dimensional space with complex-valued coordinates.)
October 9:Algebras and Bialgebras via Categories withDistinguished Objects, AMS Western Section Meeting, Denver, Colorado.
November 2:Harmonic Predictive Control as a Variant ofPID 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, AmericanGeophysical Union Fall Meeting 2016, Moscone Hall, San Francisco.
2015
May 14: "Academic Leadership". Invited talk, GlobalLeadership 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 BooleMathematical 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, AmericanGeophysical Union Fall Meeting 2015, Moscone Hall, San Francisco.
2014
December 16:An Ekman Transport Mechanism forthe Atlantic Multidecadal Oscillation. Poster, Global Environmental Change session GC21C, American GeophysicalUnion 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 CombinatorialPattern Matching, session "1973 + 40 = 2013", Bad Herrenalb, Germany.
December 13:Reconciling multidecadal land-sea globaltemperature with rising CO2.Talk,SWIRLsession GC53C "Understanding 400 ppm Climate: Past, Present and Future", American Geophysical Union FallMeeting 2013, Moscone Hall, San Francisco. See alsovideo of oral presentation.
2012
May 25:Geodesic spaces: Euclid's five postulates as an equational theory,starting with the second. Invited talk atThe Constructive in Logic and Applications: A conferencein honour of the 60th Birthday of Sergei Artemov. Videohere.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 alsoslides of talk.February 15:The Logic of Global Warming. Seminar, TATAInstitute 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 approachto 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, Institutde 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 andproperties as free and cofree universes.Talk,Conference BLAST 2010, Universityof Colorado, Boulder, Colorado.
June 5:Geodesic spaces : momentum ::Groups : symmetry.Talk,Conference BLAST 2010, Universityof Colorado, Boulder, Colorado.
Stanford Affiliations
Other Affiliations
M.Sc. Thesis:Translationof English into Logical Expressions,Sydney University, August 1969.Advisor: Jan B. Hext
Abstract: A computer program to solve Lewis Carroll's syllogismsis considered. A logical decision method is evolved for dealing withsyllogisms expressed as conjunctive normal form (CNF) propositions. Forthe translation of English into CNF, a theory of translationis presented. A computer program is exhibited which explicitlyembodies each feature of the theory, and produces CNF translations ofCarroll's syllogisms. It is claimed that the translation theory isthe most significant result of the research. A translation approach tophrase-structure grammars enables their practical value to be studiedmore closely. It is shown that the position of phrase-structuregrammars is stronger than that of transformational grammars in autilitarian 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
[8]ページ先頭
