|
![]() |
|||
|
||||
OverviewThe first English translation of the well-received French text ""Corps et Modeles,"" Fields and Models: from Sturm to Tarski and Robinson traces the intertwined development of logic and algebra, particularly Tarski's model theory and Artin's and Schrier's algebra of real-closed fields. A number of pivotal results are woven in to this collaboration across disciplines: Sturm's theorem on the location of roots of real polynomials, which is the unifying theme, as well as Artin's solution to Hilbert's 17th problem, Tarski's decision procedure for the field of real numbers, and research into quadratic forms. Drawing extensively on original sources, Hourya Sinaceur discusses not only the evolution of new mathematical ideas, but also their epistemological foundations and the ways in which mathematical subdisciplines influence one another. A wide audience of students and researchers in both the sciences and humanities will benefit from this fascinating chapter of intellectual history. Full Product DetailsAuthor: Houyra Sinaceur , Fred BourgoinPublisher: Birkhauser Boston Imprint: Birkhauser Boston ISBN: 9780817641146ISBN 10: 0817641149 Pages: 472 Publication Date: 15 November 2003 Audience: College/higher education , Postgraduate, Research & Scholarly Format: Hardback Publisher's Status: Active Availability: Awaiting stock ![]() The supplier is currently out of stock of this item. It will be ordered for you and placed on backorder. Once it does come back in stock, we will ship it out for you. Table of ContentsForeword.- Mathematical Symbols and Abbreviations.- Introduction.- I. C.F. Sturm's Theorem of Algebra.- II. The Algebraic Construction of Real Fields by Emil Artin and Otto Schreier.- III. Real Algebra and the Theory of Quadratic Forms.- IV. Logic and Real Algebra.- General Conclusion.- Glossary.- Bibliography Relevant to Sturm's Theorem of Algebra.- General Bibliography.- Index.ReviewsAuthor InformationTab Content 6Author Website:Countries AvailableAll regions |