Background
Hamilton, Alan Galbraith was born on May 23, 1943 in Edinburgh, Scotland. Son of James Gilbert Murdoch and Elizabeth Frary Hamilton.
- Photos
- Works
- Photos
- Works
book
By A. G. Hamilton - Numbers, Sets and Axioms: The Apparatus of Mathematics (1983-03-15) Hardcover
http://www.amazon.com/gp/product/B014BGYV8U/?tag=2022091-20
Numbers, Sets and Axioms: The Apparatus of Mathematics by A. G. Hamilton (1983-01-28)
http://www.amazon.com/gp/product/B01JXNX1ZU/?tag=2022091-20
Numbers, Sets and Axioms: The Apparatus of Mathematics
(Following the success of Logic for Mathematicians, Dr Ham...)
Following the success of Logic for Mathematicians, Dr Hamilton has written a text for mathematicians and students of mathematics that contains a description and discussion of the fundamental conceptual and formal apparatus upon which modern pure mathematics relies. The author's intention is to remove some of the mystery that surrounds the foundations of mathematics. He emphasises the intuitive basis of mathematics; the basic notions are numbers and sets and they are considered both informally and formally. The role of axiom systems is part of the discussion but their limitations are pointed out. Formal set theory has its place in the book but Dr Hamilton recognises that this is a part of mathematics and not the basis on which it rests. Throughout, the abstract ideas are liberally illustrated by examples so this account should be well-suited, both specifically as a course text and, more broadly, as background reading. The reader is presumed to have some mathematical experience but no knowledge of mathematical logic is required.
http://www.amazon.com/gp/product/0521287618/?tag=2022091-20
Logic for Mathematicians
(Intended for logicians and mathematicians, this text is b...)
Intended for logicians and mathematicians, this text is based on Dr. Hamilton's lectures to third and fourth year undergraduates in mathematics at the University of Stirling. With a prerequisite of first year mathematics, the author introduces students and professional mathematicians to the techniques and principal results of mathematical logic. In presenting the subject matter without bias towards particular aspects, applications or developments, it is placed in the context of mathematics. To emphasize the level, the text progresses from informal discussion to the precise description and use of formal mathmematical and logical systems. The revision of this very successful textbook includes new sections on skolemization and the application of well-formed formulae to logic programming; numerous corrections have been made and extra exercises added.
http://www.amazon.com/gp/product/0521368650/?tag=2022091-20
Alan Galbraith Hamilton
Edit Profilecomputer science and mathematics educator
Education
Master of Arts, Edinburgh U., 1964; Doctor of Philosophy, Oxford (England) University, 1969; Master of Science, Heriot-Watt U., Scotland, 1984.
Career
Teaching assistant, Cornell Univercity, Ithaca, New York, 1964-1966; research assistant, Cornell Univercity, Ithaca, New York, 1966; assistant lecturer computer science and mathematics, Stirling (Scotland) U., 1968-1970; lecturer, Stirling (Scotland) U., 1970-1984; lecturer computer science and mathematics, Stirling (Scotland) U., since 1984.
Achievements
Works
book
-
Numbers, Sets and Axioms: The Apparatus of Mathematics
(Following the success of Logic for Mathematicians, Dr Ham...)
-
Logic for Mathematicians
(Intended for logicians and mathematicians, this text is b...)
- By A. G. Hamilton - Numbers, Sets and Axioms: The Apparatus of Mathematics (1983-03-15) Hardcover
- Numbers, Sets and Axioms: The Apparatus of Mathematics by A. G. Hamilton (1983-01-28)
-
Numbers, Sets and Axioms: The Apparatus of Mathematics
Membership
Member Association for Symbolic Logic, European Association for Theoretical Computer Science, British Logic Colloquium.
Connections
Married Frances Elizabeth Law, December 27, 1971. Children: Isobel, Claire, Colin.
