I also like painting and paintings (e.g. by Emil Nolde). In 1981 I painted the following landscape
Picture
of the Banff meeting.
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 Zuivere Wiskunde en Computeralgebra
Ghent University
Krijgslaan 281 - Gebouw S22
B9000 Gent
Belgiumo
tel: +3292644899
fax +3292644993
email assuming familiarity
with beta reduction :-) (\lambda x.x)Andreas.Weierman(\lambda x.x)n@UGent.be
Teaching 2009/10
Phase transitions in logic
and combinatorics S22 Auditorium A dinsdag 8:30-11:15
Erste les (first lecture) 22.09.2008
Tofolo II S25 (Eerste lesgever:
Leo Storme) (first lecturer: Leo Storme)
Auditorium Emmy Noether dinsdag (tuesday) 14:30-17:15
| 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: | 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 | |
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 kleine and groote scripties. Ik doe ook graag projekten in het Vlaams (Nederlands).