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).
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.
Ondervoorzitter Opleidingscommissie Wiskunde
Krijgslaan 281 - Gebouw S22
email assuming familiarity with beta reduction :-) (\lambda x.x)Andreas.Weierman(\lambda x.x)n@UGent.be
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.
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
BOF onderzoeksproject jointly with Jasson Vindas.