< Terug naar vorige pagina

Project

Analytische combinatoriek van het oneindige: een Tauberse aanpak

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.

Datum:1 sep 2015 →  31 aug 2021
Trefwoorden:asymptotische analyse, Tauberse stellingen, Laplacegetransformeerde, faseovergangen voor Gödel onvolledigheidsresultaten, analytische combinatoriek
Disciplines:Wiskundige analyse, Algebra, Geschiedenis en grondbeginselen van de wiskunde, Mathematische logica en beginselen, Functionele analyse, Benaderingen en uitbreidingen