Automated Development of Fundamental Mathematical Theories, Art Quaife

Автор: Hantao Zhang
Название: Automated Mathematical Induction
ISBN: 9401072507 ISBN-13(EAN): 9789401072502
Издательство: Springer
Рейтинг:
Цена: 19564.00 р.
Наличие на складе: Есть у поставщика Поставка под заказ.

Описание: It has been shown how the common structure that defines a family of proofs can be expressed as a proof plan [5]. A proof plan has two complementary components: a proof method and a proof tactic. By prescribing the structure of a proof at the level of primitive inferences, a tactic [11] provides the guarantee part of the proof.

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