Picture
of Alan Woods together with me in Oberwolfach.
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).
I also like painting and paintings (e.g. by Emil Nolde). In 1981 I
painted the following landscape
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.)
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 2011/12
Proof theory (afwisselend met phase transitions)
Formele Logica
Berekenbaarheid en complexiteit
Herschrijfsystemen
Formele Talen Automaten en complexiteit
| a. | Logical independence results via Voronin universality. | |
| b. | Logical limit laws for ordinal structures . | |
| c. | Analytic combinatorics of the transfinite . | |
| d. | Logical independence results via Ramsey theory. | |
| e. | Logical independence results via ergodic theory. | |
| 1. | Phase transitions in logic and combinatorics. | |
| Students involved: | Wim van Hoof, Frederik Meskens, Martijn Baartse, Arnoud den Boer, Floris van Vugt. | |
| The thesis of Floris can be found on his page under scientific papers. | ||
| The thesis of Arnoud can be found here | ||
| Postdocs (coauthors): | Andrey Bovykin, Lorenzo Carlucci Eran Omri, Gyesik Lee. | |
| A copy of Lee's thesis can be found here . | ||
| |
||
| Professors (coauthors): | Lev Gordeev | |
| Lev Gordeev has also interesting ideas to attack the P/NP problem | ||
| Menachem Kojman | ||
| Patrick Dehornoy | ||
| Patrick Dehornoy is a world leading expert in braid groups. | ||
| 2. | Natural wellorderings and model theory. | |
| Students involved: | Florian Pelepussy. | |
| The thesis of Florian can be found on his page . | ||
| 3. | Term rewriting. | |
| Postdocs involved: | Georg Moser and Ingo Lepper | |
| A copy of Lepper's thesis can be found
here . |
||
| 4. | Subrecursive hierarchies. | |
| Postdoc involved: | Georg Moser | |
| 5. | Well partial orderings. | |
| Joint project with | Michael Rathjen | |
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. Vanzelfsprekend mogen projecten ook in het Vlaams (Nederlands).