Homepage for Andreas Weiermann

Picture of Alan Woods together with me in Oberwolfach.

Picture of the Oberwolfach seminar on new Trends in Goedelian 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 2014 I joined KGSRL in Gent and every now and then you find me behind a chess board.
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, Claude Monet, Vincent Van Gogh, and among more recent artists George Gallo and Chris De Clerqc). In March 2015 I joined Art de Pinte artdepinte.be
where some of pictures can be found in the gallery. My favorite subject is landscapes.

In March 2016 there will be an exhibition in the public library in De Pinte. Here is the Poster
You might see around 40 paintings, mostly impressionistic and expressionistic landscapes. Techniques are watercolor, oil and acrylics.
I like producing monotypes. I truly believe that art and mathematics fit nicely together and that creativity is one unifying element.

Andreas Weiermann

Hoogleraar (sedert 01.10.2010)
Ondervoorzitter 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

Current research projects:

Proof theory, subrecursive hierarchies, Term rewriting, Phase transitions for Goedel incompleteness.

List with some Publications.

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.

2006 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

2015 BOF onderzoeksproject jointly with Jasson Vindas.