< Terug naar vorige pagina
Onderzoeker
Andreas Weiermann
- Trefwoorden:Bewijstheorie, Termherschrijfsystemen, Wiskundige logica
- Disciplines:Mathematische logica en beginselen, Geschiedenis en biografie van wiskunde, Convexe en discrete geometrie, Combinatoriek, Theoretische informatica niet elders geclassificeerd, Geschiedenis en grondbeginselen van de wiskunde niet elders geclassificeerd, Mathematische software, Toegepaste discrete wiskunde, Computationele logica en formele talen, Codering en informatietheorie
Affiliaties
- Vakgroep Wiskunde: Analyse, Logica en Discrete Wiskunde (Departement)
Lid
Vanaf1 jan 2019 → Heden - Vakgroep Wiskunde: Algebra en Meetkunde (Departement)
Lid
Vanaf1 okt 2006 → 31 dec 2018
Projecten
1 - 10 of 12
- Dualiteitstheorie voor verificatieformalismenVanaf1 nov 2023 → HedenFinanciering: FWO senior postdoctoraal mandaat
- Naar hogere principes van de goede ordening voor de rekenkunde van de derde ordeningVanaf1 nov 2022 → HedenFinanciering: FWO mandaten
- Analyse van Impredicatieve Bewijsbaarheidslogica'sVanaf11 apr 2022 → HedenFinanciering: BOF - doctorale mandaten
- Recursie, reflectie, en tweede orde rekenkundeVanaf1 feb 2022 → HedenFinanciering: FWO Odysseus Groep II
- De bewijs en modeltheorie van intuïtionistische temporele logicaVanaf1 jan 2021 → HedenFinanciering: FWO Onderzoeksproject (incl. WEAVE projecten)
- Analyse van de sterkte van de stelling van Hindman in alternatieve formuleringen.Vanaf1 jan 2021 → HedenFinanciering: BOF - doctorale mandaten
- Recursie op ptykesVanaf1 okt 2020 → 31 jan 2022Financiering: FWO mandaten
- Niet-standaard analyse in speciale modellenVanaf1 okt 2018 → 30 sep 2020Financiering: BOF - Nieuwe Onderzoeksinitiatieven
- Een bepaling van de sterkte van Fraisse's vermoeden over ordeningtypenVanaf15 mrt 2018 → 14 mei 2021Financiering: BOF - Nieuwe Onderzoeksinitiatieven
- Analytische combinatoriek van het oneindige: een Tauberse aanpakVanaf1 sep 2015 → 31 aug 2021Financiering: BOF - Nieuwe Onderzoeksinitiatieven
Publicaties
11 - 20 van 35
- Classifying phase transition thresholds for Goodstein sequences and Hydra games(2015)
Auteurs: Frederik Meskens, Andreas Weiermann, Reinhard Kahle, Michael Rathjen
Pagina's: 455 - 478 - Beweisbar oder nicht? Die Grenzzahl 0,639578175...(2015)
Auteurs: Andreas Weiermann, Dirk Huylebrouck
Pagina's: 156 - 159 - Asymptotic distribution of integers with certain prime factorizations(2014)
Auteurs: Hans Vernaeve, Jasson Vindas Diaz, Andreas Weiermann
Pagina's: 87 - 99 - Slow consistency(2013)
Auteurs: Sy-David Friedman, Michael Rathjen, Andreas Weiermann
Pagina's: 382 - 393 - Some results on PA-provably recursive functions(2013)Volume: 11
Auteurs: Sy-David Friedman, Michael Rathjen, Andreas Weiermann, Martin Koerwien, Moritz Müller
Pagina's: 619 - 622 - Goodstein sequences for prominent ordinals up to the ordinal of U+03A0¹U+2081-CAU+2080(2013)
Auteurs: Andreas Weiermann, Gunnar Wilken, Ulrich Kohlenbach
Pagina's: 1493 - 1506 - Phase transitions of iterated Higman-style well-partial-orderings(2012)
Auteurs: Lev Gordeev, Andreas Weiermann
Pagina's: 127 - 161 - A nonstandard hierarchy comparison theorem for the slow and fast growing hierarchy(2012)Series: Ontos Mathematical Logic
Auteurs: Wilfried Buchholz, Andreas Weiermann, Ulrich Berger, Hannes Diener, Peter Schuster, Monika Seisenberger
Pagina's: 79 - 90 - Derivation lengths classification of Gödel's T extending Howard's assignment(2012)
Auteurs: Gunnar Wilken, Andreas Weiermann
- Some natural zero one laws for ordinals below ε0(2012)Volume: 7318
Auteurs: Andreas Weiermann, Alan R Woods, S Barry Cooper, Anuj Dawar, Benedikt Löwe
Pagina's: 723 - 732