Wilfrid Hodges

Wilfrid Hodges

Wilfrid Augustine Hodges (* 27. Mai 1941) ist ein britischer Logiker, der sich unter anderem mit Modelltheorie und Universeller Algebra beschäftigt.

Wilfrid Hodges in Oberwolfach 1988

Hodges studierte 1959 bis 1965 an der Universität Oxford (am New College) Literae Humaniores (klassische Sprachen und Literatur) und Theologie. 1970 promovierte er in Logik in Oxford bei John Newsome Crossley (Some questions on the structure of models). 1967/69 war er Assistant Professor für Philosophie an der University of California, Los Angeles, und ab 1968 Lecturer in den Fakultäten Philosophie und Mathematik am Bedford College der Universität London. Ab 1974 war er Lecturer für Mathematik am Bedford College, ab 1981 Reader in mathematischer Logik am Bedford College und ab 1984 am Queen Mary College der Universität London, wo er ab 1987 Professor war. Ab 2006 war er „Professorial Fellow“ an seiner Universität und ab 2009 Professor Emeritus. Er war dort mehrfach Leiter (Deputy Head ) der Mathematischen Fakultät. Hodges war als Gastwissenschaftler und Gastprofessor unter anderem am Isaac Newton Institute in Cambridge, am Mittag-Leffler-Institut in Stockholm, an der University of Colorado in Boulder (1979/80).

Er ist der Verfasser mehrerer Logik Lehrbücher, unter anderem eines englischsprachigen Standardwerks über Modelltheorie. Hodges befasste sich auch mit Geschichte der Logik und übersetzte und kommentierte einige mittelalterliche arabische Logiker wie Ibn Sina. 2009 wurde er Fellow der British Academy. Er war Präsident des British Logic Colloquium und der European Association of Logic, Language and Information.

Er ist seit 1965 mit einer Psychiaterin verheiratet und hat einen Sohn und zwei Töchter.

Zu seinen Doktoranden zählen Alex Wilkie, Anand Pillay.

Schriften

  • Logic – An introduction to elementary logic, Penguin Books 1977
  • Building Models by Games. London Mathematical Society Student Texts, Cambridge University Press, 1985
  • Model theory, (Encyclopedia of Mathematics), Cambridge University Press, 1993, ISBN 0-521-30442-3
  • A Shorter Model theory,Cambridge University Press, 1997, ISBN 0-521-58713-1
  • mit Ian Chiswell: Mathematical Logic, 2007

Weblinks


Wikimedia Foundation.

Игры ⚽ Поможем решить контрольную работу

Schlagen Sie auch in anderen Wörterbüchern nach:

  • Wilfrid Hodges — (born 1941) is a British mathematician, known for his work in model theory. He is Professor of Mathematics at Queen Mary, University of London and author of numerous books on logic.He attended New College, Oxford (1959 65), where he received… …   Wikipedia

  • Hodges — ist der Familienname folgender Personen: Andrew Hodges (* 1949), britischer Physiker und Turing Biograph Asa Hodges (1822–1900), US amerikanischer Politiker Charles D. Hodges (1810–1884), US amerikanischer Politiker Courtney Hicks Hodges… …   Deutsch Wikipedia

  • Wilfrid — (auch Wilfrith) war eine Person der britannischen Kirchengeschichte des 7. Jahrhunderts. Sein Leben stand unter dem Zeichen des Disputs zwischen keltischen und römischen Einflüssen in der englischen Kirche. Wilfrid wurde um 634 in Northumbria… …   Deutsch Wikipedia

  • Model theory — This article is about the mathematical discipline. For the informal notion in other parts of mathematics and science, see Mathematical model. In mathematics, model theory is the study of (classes of) mathematical structures (e.g. groups, fields,… …   Wikipedia

  • Independence-friendly logic — (IF logic), proposed by Jaakko Hintikka and Gabriel Sandu, aims at being a more natural and intuitive alternative to classical first order logic (FOL). IF logic is characterized by branching quantifiers. It is more expressive than FOL because it… …   Wikipedia

  • Structure (mathematical logic) — In universal algebra and in model theory, a structure consists of a set along with a collection of finitary operations and relations which are defined on it. Universal algebra studies structures that generalize the algebraic structures such as… …   Wikipedia

  • Théorème de Krull — En algèbre commutative, le théorème de Krull est un résultat fondamental établissant l existence d idéaux maximaux pour les anneaux commutatifs, démontré en 1929, par le mathématicien allemand Wolfgang Krull[1]. Relativement à la théorie de… …   Wikipédia en Français

  • Dependence logic — is a logical formalism, created by Jouko Väänänen[1], which adds dependence atoms to the language of first order logic. A dependence atom is an expression of the form , where are terms, and corresponds to the statement that the value of is… …   Wikipedia

  • Metaphilosophy — Metaphilosophy, also called philosophy of philosophy, is the study of the nature, aims, and methods of philosophy. The term is derived from Greek word meta μετά ( after , beyond , with ) and philosophía φιλοσοφία ( love of wisdom ). The term has… …   Wikipedia

  • Mathematical logic — (also known as symbolic logic) is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic.[1] The field includes both the mathematical study of logic and the… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”