[ The Types Forum (announcements only),
http://lists.seas.upenn.edu/mailman/listinfo/types-announce ]
Dear all,
The next Proof Society Seminar will take place on Monday 08 June 2026 at
15:00 CEST. Our speaker will be Andreas Weiermann, University of Ghent.
Details can be found below.
*08 June 2026, 13:00 UTC** (= 14:00 BST = 15:00 CEST)*
* Proof Society Seminar*
Speaker:* Andreas Weiermann, University of Ghent*
Title: *Logical limit laws and analytic combinatorics for the
proof-theoretic ordinal of PA*
Abstract: Given a sentence S from the first order (or monadic second order)
language of linear orders one might ask what the probability is that S is
true on the linear order determined by a randomly chosen ordinal below the
proof-theoretic ordinal of PA. Here the notion of randomness is modeled in
terms of asymptotic density or averaged asymptotic density. These densities
are tied to counting questions for ordinals which are amenable to analytic
combinatorics.
In this talk we will discuss some older results which have been obtained
jointly with Alan Woods and we also cover a recent averaged zero one law
emerging from the standard Gödel coding which is based on prime
factorization and coding subterms at exponential positions. To prove the
more recent results we used modern AI tools to some extent.
------------------------------
The Proof Society Seminar
<https://urldefense.com/v3/__https://www.proofsociety.org/proof-society-seminar/__;!!IBzWLUs!WvzkZT1k1PMdqdohKum4xjUT_kwLNsGTxWKK8YFQa5dKWFqWdNx3-_HGD68VFPertp_MBfs_smtmyzS-a1DRFZkoE-vMFCM8yXQX5Jjf$
> features leading
researchers in proof theory and related areas of logic. Talks are held
online via Zoom, usually on Mondays, approximately once per month. They
begin at 13:00 UTC and last up to 75 minutes, followed by questions.
To find out how to attend, please visit the page:
https://urldefense.com/v3/__https://www.proofsociety.org/proof-society-seminar/__;!!IBzWLUs!WvzkZT1k1PMdqdohKum4xjUT_kwLNsGTxWKK8YFQa5dKWFqWdNx3-_HGD68VFPertp_MBfs_smtmyzS-a1DRFZkoE-vMFCM8yXQX5Jjf$
--
Elaine.
-----------------------------------
Elaine Pimentel
Schools Outreach Lead
Professor of Logic and Computation
Deputy Director of the Computer Science and Philosophy programme
Programming Principles, Logic, and Verification
Department of Computer Science, Office: Room 3.11, 66-72 Gower Street
University College London
URL:
https://urldefense.com/v3/__https://sites.google.com/site/elainepimentel/__;!!IBzWLUs!WvzkZT1k1PMdqdohKum4xjUT_kwLNsGTxWKK8YFQa5dKWFqWdNx3-_HGD68VFPertp_MBfs_smtmyzS-a1DRFZkoE-vMFCM8yR2kuBh2$
UCL Computer Science is an *Athena Swan Gold award winner for gender
equality
<https://urldefense.com/v3/__https://www.ucl.ac.uk/computer-science/about/equity-diversity-and-inclusion/gender-equality-athena-swan__;!!IBzWLUs!WvzkZT1k1PMdqdohKum4xjUT_kwLNsGTxWKK8YFQa5dKWFqWdNx3-_HGD68VFPertp_MBfs_smtmyzS-a1DRFZkoE-vMFCM8yZOoroWs$
>*
UCL is ranked among the *top ten in the QS World University Rankings 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/jun/ucl-ranked-top-10-universities-world-12-years-running__;!!IBzWLUs!WvzkZT1k1PMdqdohKum4xjUT_kwLNsGTxWKK8YFQa5dKWFqWdNx3-_HGD68VFPertp_MBfs_smtmyzS-a1DRFZkoE-vMFCM8yVEX57YT$
>*
and
is winner of *The Times and Sunday Times University of the Year 2024
<https://urldefense.com/v3/__https://www.ucl.ac.uk/news/2023/sep/ucl-named-university-year__;!!IBzWLUs!WvzkZT1k1PMdqdohKum4xjUT_kwLNsGTxWKK8YFQa5dKWFqWdNx3-_HGD68VFPertp_MBfs_smtmyzS-a1DRFZkoE-vMFCM8ySw1-VdP$
>*
-----------------------------------
