The Growth of Mathematical Knowledge, Emily Grosholz; Herbert Breger
Автор: Emily Grosholz; Herbert Breger Название: The Growth of Mathematical Knowledge ISBN: 9048153913 ISBN-13(EAN): 9789048153916 Издательство: Springer Рейтинг: Цена: 27251.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity. In the Critique ofPure Reason, mathematics is one of the transcendental instruments the human mind uses to apprehend nature, and by apprehending to construct it under the universal and necessary lawsofNewtonian mechanics.
Автор: Brown Название: Platonism, Naturalism, and Mathematical Knowledge ISBN: 1138809772 ISBN-13(EAN): 9781138809772 Издательство: Taylor&Francis Рейтинг: Цена: 8573.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This study addresses a central theme in current philosophy: Platonism vs Naturalism and provides accounts of both approaches to mathematics, crucially discussing Quine, Maddy, Kitcher, Lakoff, Colyvan, and many others. Beginning with accounts of both approaches, Brown defends Platonism by arguing that only a Platonistic approach can account for concept acquisition in a number of special cases in the sciences. He also argues for a particular view of applied mathematics, a view that supports Platonism against Naturalist alternatives. Not only does this engaging book present the Platonist-Naturalist debate over mathematics in a comprehensive fashion, but it also sheds considerable light on non-mathematical aspects of a dispute that is central to contemporary philosophy.
Автор: Tomasz Placek Название: Mathematical Intuitionism and Intersubjectivity ISBN: 0792356306 ISBN-13(EAN): 9780792356301 Издательство: Springer Рейтинг: Цена: 20962.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: In 1907 Luitzen Egbertus Jan Brouwer defended his doctoral dissertation on the foundations of mathematics and with this event the modem version of mathematical intuitionism came into being. There is little sense in disputing whether what mathematicians said about the objectivity and reality of mathematical facts belongs to philosophy, or not.
Описание: The aim of this work, which contains the proceedings of a conference held in Amsterdam in June 1998, is to provide the image analysis community with a sampling of recent developments in theoretical and practical aspects of mathematical morphology and its applications to image and signal processing.
Автор: Art Quaife Название: Automated Development of Fundamental Mathematical Theories ISBN: 0792320212 ISBN-13(EAN): 9780792320210 Издательство: Springer Рейтинг: Цена: 30467.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Provides an introduction to automated reasoning, and in particular to resolution theorem proving using the prover Otter. Here, the author presents a clausal version of von Neumann-Bernays-Godel set theory, and lists over 400 theorems proved semi-automatically in elementary set theory.
Автор: H.-D. Ebbinghaus; J. Flum; Wolfgang Thomas Название: Mathematical Logic ISBN: 0387942580 ISBN-13(EAN): 9780387942582 Издательство: Springer Рейтинг: Цена: 8378.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This introduction to first-order logic clearly works out the role of first-order logic in the foundations of mathematics, particularly the two basic questions of the range of the axiomatic method and of theorem-proving by machines.
Автор: Dov Gabbay; Sergei Goncharov; Michael Zakharyasche Название: Mathematical Problems from Applied Logic II ISBN: 0387692444 ISBN-13(EAN): 9780387692449 Издательство: Springer Рейтинг: Цена: 23751.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
"Mathematical Problems from Applied Logic II" presents chapters from selected, world renowned, logicians. Important topics of logic are discussed from the point of view of their further development in light of requirements arising from their successful application in areas such as Computer Science and AI language. Fields covered include: logic of provability, applications of computability theory to biology, psychology, physics, chemistry, economics, and other basic sciences; computability theory and computable models; logic and space-time geometry; hybrid systems; logic and region-based theory of space.
Contributors include: Sergei Artemov, USA; John Case, USA; Sergei Goncharov, Russia, Judit X. Madarasz, Istvan Nemeti, and Gergely, Szekely, Hungary, Anil Nerode, USA and Dimiter Vakarelov, Bulgaria.
Автор: Stephen Pollard Название: A Mathematical Prelude to the Philosophy of Mathematics ISBN: 3319348337 ISBN-13(EAN): 9783319348339 Издательство: Springer Рейтинг: Цена: 6288.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This book draws readers into the philosophy of mathematics by having them do mathematics. Coverage includes primitive recursive arithmetic, Godel`s theorems, the hierarchy of sets, Frege arithmetic and intuitionist sentential logic. Includes 298 exercises.
Автор: Calvin C. Clawson Название: Mathematical Sorcery ISBN: 0306460033 ISBN-13(EAN): 9780306460036 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Calvin Clawson, the author of "Mathematical Mysteries", has a talent for opening the door for the uninitiated to the splendors of mathematics. A writer in love with his subject, Clawson offers readers the perfect antidote to the phobias and misconceptions surrounding mathematics in this text.
Описание: In opposition to the classical set theory of natural language, Novak`s highly original monograph offers a theory based on alternative and fuzzy sets. This new approach is firmly grounded in semantics and pragmatics, and accounts for the vagueness inherent in natural language-filling a large gap in our current knowledge.
Автор: Franco Montagna Название: Petr H?jek on Mathematical Fuzzy Logic ISBN: 3319382950 ISBN-13(EAN): 9783319382951 Издательство: Springer Рейтинг: Цена: 13974.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание:
This volume celebrates the work of Petr H jek on mathematical fuzzy logic and presents how his efforts have influenced prominent logicians who are continuing his work. The book opens with a discussion on H jek's contribution to mathematical fuzzy logic and with a scientific biography of him, progresses to include two articles with a foundation flavour, that demonstrate some important aspects of H jek's production, namely, a paper on the development of fuzzy sets and another paper on some fuzzy versions of set theory and arithmetic.
Articles in the volume also focus on the treatment of vagueness, building connections between H jek's favorite fuzzy logic and linguistic models of vagueness. Other articles introduce alternative notions of consequence relation, namely, the preservation of truth degrees, which is discussed in a general context, and the differential semantics. For the latter, a surprisingly strong standard completeness theorem is proved. Another contribution also looks at two principles valid in classical logic and characterize the three main t-norm logics in terms of these principles.
Other articles, with an algebraic flavour, offer a summary of the applications of lattice ordered-groups to many-valued logic and to quantum logic, as well as an investigation of prelinearity in varieties of pointed lattice ordered algebras that satisfy a weak form of distributivity and have a very weak implication.
The last part of the volume contains an article on possibilistic modal logics defined over MTL chains, a topic that H jek discussed in his celebrated work, Metamathematics of Fuzzy Logic, and another one where the authors, besides offering unexpected premises such as proposing to call H jek's basic fuzzy logic HL, instead of BL, propose a very weak system, called SL as a candidate for the role of the really basic fuzzy logic. The paper also provides a generalization of the prelinearity axiom, which was investigated by H jek in the context of fuzzy logic.
Автор: Larry J. Gerstein Название: Introduction to Mathematical Structures and Proofs ISBN: 1493951467 ISBN-13(EAN): 9781493951468 Издательство: Springer Рейтинг: Цена: 6282.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This updated and revised second edition is designed to help students advance from basic calculus to higher-level linear and abstract algebra and number theory. It introduces an array of fundamental structures and shows how to balance intuition and rigor.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
