Herbert Enderton

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Herbert Bruce Enderton (1936 - 20 oktober 2010) was een professor emeritus in de wiskunde op UCLA en een voormalig lid van de faculteiten wiskunde en logica en wetenschapsmethodologie aan de Universiteit van Berkeley. Hij is bekend om zijn leerboeken op het gebied van de wiskundige logica en de verzamelingenleer. Enderton heeft ook bijgedragen aan de recursietheorie, de theorie van de definieerbaarheid, analysemodellen, computationele complexiteit en de geschiedenis van de logica.

Gedurende vele jaren was hij redacteur van het Journal of Symbolic Logic en de Association for Symbolic Logic.

Werken[bewerken]