Автор: Omstedt, Anders Название: Connecting analytical thinking and intuition ISBN: 331927533X ISBN-13(EAN): 9783319275338 Издательство: Springer Рейтинг: Цена: 6986.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Introduction.- Catch the dream.- Finding words for feelings.- Meaning of symbols.- Triggers.- To be touched.- Exploring the unconscious and the unknown.- Inspiration.- Searching the emotional context.- Playback and meaning.- Strengthen humanity.- Science and dreams.
Автор: David Makinson; Jacek Malinowski; Heinrich Wansing Название: Towards Mathematical Philosophy ISBN: 9048180651 ISBN-13(EAN): 9789048180653 Издательство: Springer Рейтинг: Цена: 23058.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: This is the first book promoting Mathematical Philosophy as an interdisciplinary field. It is a collection of articles applying methods of logic and math to solve problems, some from logic itself, others from other sciences.
Автор: 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.
Описание: This book presents a set of historical recollections on the work of Martin Davis and his role in advancing our understanding of the connections between logic, computing, and unsolvability.
Автор: Feng Ye Название: Strict Finitism and the Logic of Mathematical Applications ISBN: 9400736312 ISBN-13(EAN): 9789400736313 Издательство: Springer Рейтинг: Цена: 18866.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Exploring the logic behind applied mathematics to the physical world, this volume illustrates how radical naturalism, nominalism and strict finitism can account for the applications of classical mathematics in current theories about natural phenomena.
Описание: Paolo Mancosu presents an innovative set of studies of logic and the foundations of mathematics in the first half of the twentieth century. He sheds new light on important topics such as the relationship between phenomenology and the exact sciences, the nature of truth and logical consequence, and the nature of mathematical intuition.
Автор: R.L. Tieszen Название: Mathematical Intuition ISBN: 9401075298 ISBN-13(EAN): 9789401075299 Издательство: Springer Рейтинг: Цена: 26546.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: "Intuition" has perhaps been the least understood and the most abused term in philosophy. My aim in this book is to sweep all of this aside, to argue that there is a perfectly coherent, philosophically respectable notion of mathematical intuition according to which intuition is a condition necessary for mathemati- cal knowledge.
Автор: A. Grzegorczyk Название: An Outline of Mathematical Logic ISBN: 9027704473 ISBN-13(EAN): 9789027704474 Издательство: Springer Рейтинг: Цена: 12157.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Recent years have seen the appearance of many English-Ianguage hand- books of logie and numerous monographs on topieal discoveries in the foundations of mathematies. As distinct from these, the present book is as easy as possible systematic exposition of the now classical results in the foundations of mathematics.
Описание: This book proposes a new way of formalizing in logic and mathematics - a "pyramidal graph system," devised by the author and based on Porphyrian trees and modern concepts of classification, in both of which pyramids act as the organizing schema.
Автор: Tomasz Placek Название: Mathematical Intuitionism and Intersubjectivity ISBN: 9048151872 ISBN-13(EAN): 9789048151875 Издательство: 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.
Автор: Antonetta J.M. van Gasteren; Edsger W. Dijkstra Название: On the Shape of Mathematical Arguments ISBN: 3540528490 ISBN-13(EAN): 9783540528494 Издательство: Springer Рейтинг: Цена: 9781.00 р. Наличие на складе: Есть у поставщика Поставка под заказ.
Описание: Featuring a technical rather than psychological view of heuristics and a stress on exploiting formalism effectively, this book deals with the presentation and systematic design of mathematical proofs, including correctness proofs of algorithms.
ООО "Логосфера " Тел:+7(495) 980-12-10 www.logobook.ru
