Code
01J11615
Duration
01 September 2015 → 31 August 2021
Funding
Gewestelijke en gemeenschapsmiddelen: Bijzonder Onderzoeksfonds
Promotor
Research disciplines
-
Natural sciences
- Approximations and expansions
- Functional analysis
- Mathematical logic and foundations
Keywords
Tauberian theorems
asymptotic analysis
Laplace transform
phase transitions for Gödel incompletness results
Analytic combinatorics
Project description
In dit project gaat het over analytische methoden om combinatorische problemen die van de logica afkomstig zijn aan te gaan. Bedoeld wordt systematische werktuigen te ontwikkelen om asymptotische formules voor telfuncties van bewijstheoretische ordinalen te verkrijgen met hulp van Tauberse stellingen voor de Laplacegetransformeerde. We beogen deze formules toe te passen om de reeds gekende resultaten over faseovergangen voor Gödel-onvolledigheid uit te breiden.