prof. dr. J.F.A.K. van Benthem, 1949
hoogleraar, doctor
| Naam | J.F.A.K. van Benthem |
|---|---|
| Naamsvariant(en) | L.T.F. Gamut |
| Voornamen | Johannes Franciscus Abraham Karel |
| Roepnaam | Johan |
| Geslacht | man |
| Geboren | 1949, Rijswijk, Nederland |
| Titulatuur |
|
| Publicaties | [UvA-catalogus] |
| Link naar deze persoon | https://albumacademicum.uva.nl/id/id002501 |
Opleiding
| Opleiding | Wiskunde |
|---|---|
| Graad |
doctoraat wiskunde en natuurwetenschappen
2 februari 1977
|
| Examentype | promotie |
| Instelling | Faculteit der Wiskunde en Natuurwetenschappen
Universiteit van Amsterdam |
| Proefschrift | Model correspondence theory |
| Trefwoord | logica, argumentatieleer, modale logica, correspondentietheorie |
| Promotor(en) |
|
| Aantal stellingen | 11 |
| Bijzonderheden | Doctoraalexamen Wijsbegeerte - UvA, 25-10-1972; Doctoraalexamen Wiskunde - UvA, 14-03-1973 |
Gewoon hoogleraar Mathematische logica 1 januari 1986 - 1 september 2003
| Benoeming | gewoon hoogleraar |
|---|---|
| Ambtsaanvaarding | 1 januari 1986 |
| Leeropdracht | Mathematische logica |
| Oratie / openbare les | Rekenen met taal
2 december 1986 |
| Instelling | Faculteit der Wiskunde en Natuurwetenschappen; Subfaculteit Wiskunde
Faculteit der Wiskunde en Informatica Faculteit der Wiskunde, Informatica, Natuur- en Sterrenkunde Faculteit der Natuurwetenschappen, Wiskunde en Informatica Universiteit van Amsterdam |
| Einde dienstverband | 1 september 2003 |
| Wetenschappelijke discipline | wiskunde: algemeen, logica, verzamelingsleer |
Gewoon hoogleraar Mathematische logica 1 januari 1986 - 1 september 2003
| Benoeming | gewoon hoogleraar |
|---|---|
| Ambtsaanvaarding | 1 januari 1986 |
| Leeropdracht | Mathematische logica |
| Instelling | Centrale Interfaculteit
Faculteit der Wijsbegeerte Faculteit der Geesteswetenschappen; Institute for Logic, Language and Computation (ILLC) Universiteit van Amsterdam |
| Einde dienstverband | 1 september 2003 |
| Wetenschappelijke discipline | wiskunde: algemeen, logica, verzamelingsleer |
Gewoon hoogleraar Logica en haar toepassingen 1 september 2003 - 1 juni 2014
| Benoeming | gewoon hoogleraar |
|---|---|
| Speciale leerstoel/positie | universiteitshoogleraar |
| Ambtsaanvaarding | 1 september 2003 |
| Leeropdracht | Logica en haar toepassingen |
| Instelling |
Universiteit van Amsterdam |
| Einde dienstverband | 1 juni 2014 |
| Reden | emeritaat |
| Wetenschappelijke discipline | wiskunde: algemeen, logica, verzamelingsleer |