Towards Mathematical Philosophy, David Makinson; Jacek Malinowski; Heinrich Wansing

Автор: Mancosu Paolo
Название: The Adventure of Reason: Interplay Between Philosophy of Mathematics and Mathematical Logic, 1900-1940
ISBN: 0198701519 ISBN-13(EAN): 9780198701514
Издательство: Oxford Academ
Рейтинг:
Цена: 10771.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: 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.

Автор: Church, Alonzo
Название: Introduction to mathematical logic
ISBN: 0691029067 ISBN-13(EAN): 9780691029061
Издательство: Wiley
Рейтинг:
Цена: 13939.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logic is sometimes called the foundation of mathematics: the logician studies the kinds of reasoning used in the individual steps of a proof. Alonzo Church`s contributions to number theory and theories of algorithms and computability laid the theoretical foundations of computer science. This book is a basic source for understanding formal logic.

Автор: David Makinson; Jacek Malinowski; Heinrich Wansing
Название: Towards Mathematical Philosophy
ISBN: 1402090838 ISBN-13(EAN): 9781402090837
Издательство: Springer
Рейтинг:
Цена: 23058.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Logical investigations in cognitive science have successfully utilized methods and systems of belief revision, non-monotonic logic and dynamic epistemic logic. This title deals with focal issues of belief revision. It contains a collection of articles applying methods of logic or, more generally, of mathematics to solve problems.

Автор: 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.

Автор: Francisco Rodr?guez-Consuegra
Название: The Mathematical Philosophy of Bertrand Russell: Origins and Development
ISBN: 3034875355 ISBN-13(EAN): 9783034875356
Издательство: Springer
Рейтинг:
Цена: 6986.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: Russell was important in publicising the former and tutoring the latter, and also for working with Moore in the conversion of British philosophy from neo-Hegelianism to the new analytic tradition in the 1900s, but his own work on logic and especially logicism was very muddled.