Metamathematics of First-Order Arithmetic, Petr Hajek

Àâòîð: Hájek Petr
Íàçâàíèå: Metamathematics of Fuzzy Logic
ISBN: 1402003706 ISBN-13(EAN): 9781402003707
Èçäàòåëüñòâî: Springer
Ðåéòèíã:
Öåíà: 12157.00 ð.
Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.

Îïèñàíèå: This book presents a systematic treatment of deductive aspects and structures of fuzzy logic understood as many valued logic sui generis. It aims to show that fuzzy logic as a logic of imprecise (vague) propositions does have well-developed formal foundations and that most things usually named ‘fuzzy inference’ can be naturally understood as logical deduction. It is for mathematicians, logicians, computer scientists, specialists in artificial intelligence and knowledge engineering, and developers of fuzzy logic.

Àâòîð: Simpson
Íàçâàíèå: Subsystems of Second Order Arithmetic
ISBN: 052188439X ISBN-13(EAN): 9780521884396
Èçäàòåëüñòâî: Cambridge Academ
Ðåéòèíã:
Öåíà: 23285.00 ð.
Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.

Îïèñàíèå: What are the appropriate axioms for mathematics? Through a series of case studies, this volume examines these axioms to prove particular theorems in core areas including algebra, analysis, and topology, focusing on the language of second-order arithmetic, the weakest language rich enough to express and develop the bulk of mathematics.

Àâòîð: McCall Storrs
Íàçâàíèå: The Consistency of Arithmetic: And Other Essays
ISBN: 0199316546 ISBN-13(EAN): 9780199316540
Èçäàòåëüñòâî: Oxford Academ
Ðåéòèíã:
Öåíà: 10296.00 ð.
Íàëè÷èå íà ñêëàäå: Åñòü ó ïîñòàâùèêà Ïîñòàâêà ïîä çàêàç.

Îïèñàíèå: This volume contains six new and fifteen previously published essays - plus a new introduction - by Storrs McCall. Some of the essays were written in collaboration with E. J. Lowe of Durham University. The essays discuss controversial topics in logic, action theory, determinism and indeterminism, and the nature of human choice and decision.