Homepage for Andreas Weiermann

Picture of Alan Woods together with me in Oberwolfach.

Picture of the Oberwolfach seminar on new Trends in Gödelian Incompleteness and Combinatorics.

Picture of the Oberwolfach miniworkshop on Logic, Combinatorics and Independence Results.
Picture of the Wiskunde football team (Sportsdagcompetitie place 9 out of 14. We won three out of five games, but do not ask for the total score of goals we made).

I like doing math, logic and CS and playing chess (Int. ELO 2265). In my youth I published three chess problems in a refereed chess journal (DSZ).
The first is mate in two from Deutsche Schachzeitung 10 (1980) p.351 (easy to solve):

The second is mate in two from Deutsche Schachzeitung 7 (1979) p.254 :

The third is self mate in two from Deutsche Schachzeitung 1 (1980) p.40:

I also like painting and paintings (e.g. by Emil Nolde). In 1981 I painted the following
landscape

Around 1990 I painted some sunflowers

My children and my wife make my life happy.
Here you see in part why:
Scene from holiday in the Ardennes
.

``Das Unendliche hat wie keine andere Frage von jeher so tief das Gemüt der Menschen bewegt;
das Unendliche hat wie kaum eine andere Idee auf den Verstand so anregend und fruchtbar gewirkt;
das Unendliche ist aber auch wie kein anderer Begriff so der Aufklärung bedürftig.''
-David Hilbert: Über das Unendliche. Mathematische Annalen.
That is an exceptional article with longstanding influence and still worth reading.
(The proof of CH given there is of course not correct by modern standards. Perhaps Gödel later profited from some of the ideas given.)

Andreas Weiermann

Hoogleraar (sedert 01.10.2010)
Voorzitter Opleidingscommissie Wiskunde

Vakgroep Wiskunde
Ghent University
Krijgslaan 281 - Gebouw S22
B9000 Gent
Belgium
tel: +3292644899
fax +3292644993
email assuming familiarity with beta reduction :-) (\lambda x.x)Andreas.Weierman(\lambda x.x)n@UGent.be

Teaching 2012/13

Formele Logica

Herschrijfsystemen

Wiskundige Logica

contactuur (consultation hour): naar  afspraak (or after agreement)

Current research projects:

Proof theory, subrecursive hierarchies, Term rewriting, Phase transitions for Gödel incompleteness.

List of some Publications.

A recent paper on comparing the slow and fast growing hierarchy is

here

People who want to join are welcome. I can offer problems of varying degrees of difficulty. Some are suitable for PhD projects. Other ones are well suited for Bachelor and Master thesissen.

Grants and awards

· 1985-1988: Grant of the Studienstiftung des Deutschen Volkes

· 1995: HCM-grant of the EU

· 1998-2005: Heisenberg grant of the Deutsche Forschungsgemeinschaft

· 1998-2000: Grant of the Deutsche Forschungsgemeinschaft for funding the PhD project of I. Lepper

· 2002-2005: Grant of the Deutsche Forschungsgemeinschaft for funding the PhD project of G. Lee

· 2002: Grant of the Deutsche Forschungsgemeinschaft for a joint research project with A. Woods

· 2003: Rip project at Oberwolfach for a research project with A. Woods

· 2004 DFG project for joint research with Prof. Dr. T. Arai and Prof. Dr. H. Friedman.

· 2004 NWO project for joint research with Dr. Andrey Bovykin, Lorenzo Carlucci, and Gyesik Lee.

· 2006 NWO project for inviting Prof. Dr. Lev Gordeev as a guest Professor to Utrecht.

· Co-organizer of an Oberwolfach miniworkshop (0648b) on logic, combinatorics and independence results.

· 2006 NWO project for joint research with Prof. Dr. Dehornoy, Dr. Andrey Bovykin, Dr. Lorenzo Carlucci and Eran Omri.

· 2007 Invited participation at the MPI activity "Methods of Proof Theory in Mathematics" in Bonn (organizers are U. Kohlenbach, G. E. Mints and B. Z. Moroz)

· 2007 Templeton project for research on "exploring the infinite" over USD 91500

· 2007 FWO  project over EUR  13000

· 2007 FWO project for Michiel de Smet

· 2008 Royal society project jointly with Michael Rathjen

· 2009 UGent teaching innovation project over EUR 2300

· 2009 FWO project for continuing the joint research with Michael Rathjen

·  2010 Bevordering tot hoogleraar