Wilfrid Hodges | |
|---|---|
 Wilfrid Hodges, 1988 at the MFO | |
| Born | 27 May 1941 |
| Alma mater | New College, Oxford |
| Parent(s) | H. A. Hodges, Vera Joan Willis |
| Scientific career | |
| Fields | Model theory |
| Doctoral advisor | John Crossley |
| Doctoral students | Alex Wilkie |
| President of the DLMPST/IUHPST | |
| In office 2008–2011 | |
| Preceded by | Adolf Grünbaum |
| Succeeded by | Elliott Sober |
Wilfrid Augustine Hodges,FBA (born 27 May 1941) is a British mathematician and logician known for his work in model theory.
Hodges attended New College,Oxford (1959–65),where he received degrees in both Literae Humaniores and (Christianic) Theology. In 1970 he was awarded a doctorate for a thesis in Logic. He lectured in both Philosophy and Mathematics at Bedford College,University of London. He has held visiting appointments in the department of philosophy at the University of California and in the department of mathematics at University of Colorado. Hodges was Professor of Mathematics at Queen Mary College,University of London from 1987 to 2006 and is the author of books on logic.
Hodges was President of the British Logic Colloquium,of the European Association for Logic,Language and Information and of the Division of Logic,Methodology,and Philosophy of Science. In 2009 he was elected a Fellow of the British Academy.
Hodges' books are written in an informal style. The "Notes on Notation" in his book "Model theory" end with the following characteristic sentence:
When this 780-page book appeared in 1993,it became one of the standard textbooks on model theory. Due to its success an abbreviated version (but with a new chapter on stability theory) was published as a paperback.
Only first editions are listed.
John Maynard Smith was a British theoretical and mathematical evolutionary biologist and geneticist. Originally an aeronautical engineer during the Second World War, he took a second degree in genetics under the well-known biologist J. B. S. Haldane. Maynard Smith was instrumental in the application of game theory to evolution with George R. Price, and theorised on other problems such as the evolution of sex and signalling theory.
In mathematical logic, model theory is the study of the relationship between formal theories, and their models. The aspects investigated include the number and size of models of a theory, the relationship of different models to each other, and their interaction with the formal language itself. In particular, model theorists also investigate the sets that can be defined in a model of a theory, and the relationship of such definable sets to each other. As a separate discipline, model theory goes back to Alfred Tarski, who first used the term "Theory of Models" in publication in 1954. Since the 1970s, the subject has been shaped decisively by Saharon Shelah's stability theory.
Imre Lakatos was a Hungarian philosopher of mathematics and science, known for his thesis of the fallibility of mathematics and its "methodology of proofs and refutations" in its pre-axiomatic stages of development, and also for introducing the concept of the "research programme" in his methodology of scientific research programmes.
Hilary Whitehall Putnam was an American philosopher, mathematician, and computer scientist and figure in analytic philosophy in the second half of the 20th century. He contributed to the studies of philosophy of mind, philosophy of language, philosophy of mathematics, and philosophy of science. Outside philosophy, Putnam contributed to mathematics and computer science. Together with Martin Davis he developed the Davis–Putnam algorithm for the Boolean satisfiability problem and he helped demonstrate the unsolvability of Hilbert's tenth problem.
In mathematical logic, the compactness theorem states that a set of first-order sentences has a model if and only if every finite subset of it has a model. This theorem is an important tool in model theory, as it provides a useful method for constructing models of any set of sentences that is finitely consistent.
Analytic philosophy is a branch of philosophy using analysis, popular in the Western world and particularly the Anglosphere, which began around the turn of the 20th century in the contemporary era in the United Kingdom, United States, Canada, Australia, New Zealand, and Scandinavia, and continues today. Analytic philosophy is often contrasted with continental philosophy, coined as a catch-all term for other methods, prominent in Europe.
Dana Stewart Scott is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has also worked on modal logic, topology, and category theory.
In mathematical logic, the Löwenheim–Skolem theorem is a theorem on the existence and cardinality of models, named after Leopold Löwenheim and Thoralf Skolem.
In mathematical logic, propositional logic and predicate logic, a well-formed formula, abbreviated WFF or wff, often simply formula, is a finite sequence of symbols from a given alphabet that is part of a formal language. A formal language can be identified with the set of formulas in the language.
Carl Gustav "Peter" Hempel was a German writer, philosopher, logician, and epistemologist. He was a major figure in logical empiricism, a 20th-century movement in the philosophy of science. Hempel articulated the deductive-nomological model of scientific explanation, which was considered the "standard model" of scientific explanation during the 1950s and 1960s. He is also known for the raven paradox.
Czesław Ryll-Nardzewski was a Polish mathematician.
Kenneth George "Ken" Binmore, is an English mathematician, economist, and game theorist, a Professor Emeritus of Economics at University College London (UCL) and a Visiting Emeritus Professor of Economics at the University of Bristol. As a founder of modern economic theory of bargaining, he made important contributions to the foundations of game theory, experimental economics, evolutionary game theory and analytical philosophy. He took up economics after holding the Chair of Mathematics at the London School of Economics. The switch has put him at the forefront of developments in game theory. His other interests include political and moral philosophy, decision theory, and statistics. He has written over 100 scholarly papers and 14 books.
Peter Jephson Cameron FRSE is an Australian mathematician who works in group theory, combinatorics, coding theory, and model theory. He is currently half-time Professor of Mathematics at the University of St Andrews, and Emeritus Professor at Queen Mary University of London.
Alex James Wilkie FRS is a British mathematician known for his contributions to model theory and logic. Previously Reader in Mathematical Logic at the University of Oxford, he was appointed to the Fielden Chair of Pure Mathematics at the University of Manchester in 2007.
In model theory, a branch of mathematics, an imaginary element of a structure is roughly a definable equivalence class. These were introduced by Shelah (1990), and elimination of imaginaries was introduced by Poizat (1983).
Izak (Ieke) Moerdijk is a Dutch mathematician, currently working at Utrecht University, who in 2012 won the Spinoza prize.
In mathematical logic, an omega-categorical theory is a theory that has exactly one countably infinite model up to isomorphism. Omega-categoricity is the special case κ = = ω of κ-categoricity, and omega-categorical theories are also referred to as ω-categorical. The notion is most important for countable first-order theories.
In model theory, a branch of mathematical logic, a complete theory T is said to satisfy NIP if none of its formulae satisfy the independence property—that is, if none of its formulae can pick out any given subset of an arbitrarily large finite set.
Anand Pillay is a British mathematician and logician working in model theory and its applications in algebra and number theory.
John Kenneth Truss is a mathematician and emeritus professor of pure mathematics at the University of Leeds where he specialises in mathematical logic, infinite permutation groups, homogeneous structures and model theory. Truss began his career as a junior research fellow at the University of Oxford before holding a series of academic positions and lastly joining the University of Leeds. He has written books on discrete mathematics (1991) and mathematical analysis (1997) and was co-editor in chief of the Journal of the London Mathematical Society until June 2003. He is the father of the former Prime Minister of the United Kingdom, Liz Truss.
| International | |
|---|---|
| National | |
| Academics | |
| Other | |
