» książki » Mathematics - Logic
topmenu
 |
Memoirs of a Proof Theorist: Godel and Other Logicians
ISBN: 9789812382795 / Angielski / Twarda / 135 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume is a translation of the book Gvdel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a memoir of K Gvdel, Takeuti's personal recollections, and his interpretation of Gvdel's attitudes towards mathematical logic. It also contains Takeuti's recollection of association with some other famous logicians. Everything in the book is original, as the author adheres to his own experiences and interpretations. There is also an article on Hilbert's second problem as well as on the author's fundamental conjecture about second order logic.
This volume is a translation of the book Gvdel, written in Japanese by Gaisi Takeuti, a distinguished proof theorist. The core of the book comprises a...
|
cena:
284,07 |
 |
Proof and Other Dilemmas: Mathematics and Philosophy
ISBN: 9780883855676 / Angielski / Twarda / 378 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. For the majority of the twentieth century, philosophers of mathematics focused their attention on foundational questions. However, in the last quarter of the century they began to return to basics, and two new schools of thought were created: social constructivism and structuralism. The advent of the computer also led to proofs and development of mathematics assisted by computer, and to questions concerning the role of the computer in mathematics. This book of sixteen original essays is the first to explore this range of new developments in the philosophy of mathematics, in a language...
For the majority of the twentieth century, philosophers of mathematics focused their attention on foundational questions. However, in the last quarter...
|
cena:
284,07 |
 |
Geometric Transformations: Volume 4, Circular Transformations
ISBN: 9780883856482 / Angielski / Miękka / 293 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The familiar plane geometry of secondary school - figures composed of lines and circles - takes on a new life when viewed as the study of properties that are preserved by special groups of transformations. No longer is there a single, universal geometry: different sets of transformations of the plane correspond to intriguing, disparate geometries. This book is the concluding Part IV of Geometric Transformations, but it can be studied independently of Parts I, II, and III. The present Part IV develops the geometry of transformations of the plane that map circles to circles (conformal or...
The familiar plane geometry of secondary school - figures composed of lines and circles - takes on a new life when viewed as the study of properties t...
|
cena:
284,07 |
 |
Distilling Ideas: An Introduction to Mathematical Thinking
ISBN: 9781939512031 / Angielski / Miękka / 188 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Designed for undergraduate students and lecturers, this text guides its users to develop the skills, attitudes, and habits of mind of a mathematician. It presents a carefully designed sequence of exercises and theorems so that its readers will be directed to discover mathematical ideas, strategies of proof, and strategies of thinking. Through the exploration of interesting mathematical content including graphs, groups, and calculus, this book helps to foster habits of inquiry. This book can be used by instructors as a text for an inquiry-based introduction to proof course, or as an...
Designed for undergraduate students and lecturers, this text guides its users to develop the skills, attitudes, and habits of mind of a mathematician....
|
cena:
284,07 |
 |
Proven Impossible
ISBN: 9781009349505 / Twarda / 256 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
284,66 |
 |
The Philosophy of Mathematics
ISBN: 9780198751205 / Angielski / Miękka / 328 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This volume offers a selection of the most interesting and important work from recent years in the philosophy of mathematics, which has always been closely linked to, and has exerted a significant influence upon, the main stream of analytical philosophy. The issues discussed are of interest throughout philosophy, and no mathematical expertise is required of the reader. Contributors include W.V. Quine, W.D. Hart, Michael Dummett, Charles Parsons, Paul Benacerraf, Penelope Maddy, W.W. Tait, Hilary Putnam, George Boolos, Daniel Isaacson, Stewart Shapiro, and Hartry Field.
This volume offers a selection of the most interesting and important work from recent years in the philosophy of mathematics, which has always been cl...
|
cena:
284,66 |
 |
Mathematics as a Science of Patterns
ISBN: 9780198250142 / Angielski / Miękka / 304 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathematics a science he implies that it has a factual subject-matter and that mathematical knowledge is on a par with other scientific knowledge; in calling it a science of patterns he expresses his commitment to a structuralist philosophy of mathematics. He links this to a defense of realism about the metaphysics of mathematics--the view that mathematics is about things that really exist.
This book expounds a system of ideas about the nature of mathematics which Michael Resnik has been elaborating for a number of years. In calling mathe...
|
cena:
284,70 |
 |
Varieties of Constructive Mathematics
ISBN: 9780521318020 / Angielski / Miękka / 160 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop??'s school, but intuitionism. Russian constructivism and recursive analysis are also treated, with comparisons between the various approaches included where appropriate. Constructive mathematics is now enjoying a revival, with interest from not only logicans but also category theorists, recursive function theorists and theoretical computer scientists. This account for non-specialists in these and other disciplines.
This is an introduction to, and survey of, the constructive approaches to pure mathematics. The authors emphasise the viewpoint of Errett Bishop??'s s...
|
cena:
284,70 |
 |
(Co)End Calculus
ISBN: 9781108746120 / Angielski / Miękka / 330 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
284,70 |
 |
Logical Dynamics of Information and Interaction
ISBN: 9781107417175 / Angielski / Miękka / 386 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents with conversation, argumentation and games as guiding examples. It provides one uniform account of dynamic logics for acts of inference, observation, questions and communication, that can handle both update of knowledge and revision of beliefs. It then extends the dynamic style of analysis to include changing preferences and goals, temporal processes, group action and strategic interaction in games. Throughout, the book develops a mathematical theory unifying all...
This book develops a new view of logic as a theory of information-driven agency and intelligent interaction between many agents with conversation, arg...
|
cena:
288,90 |
 |
Series Expansion Methods for Strongly Interacting Lattice Models
ISBN: 9780521143592 / Angielski / Miękka / 338 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Perturbation series expansion methods are sophisticated numerical tools used to provide quantitative calculations in many areas of theoretical physics. This book gives a comprehensive guide to the use of series expansion methods for investigating phase transitions and critical phenomena, and lattice models of quantum magnetism, strongly correlated electron systems and elementary particles. Early chapters cover the classical treatment of critical phenomena through high-temperature expansions, and introduce graph theoretical and combinatorial algorithms. The book then discusses high-order...
Perturbation series expansion methods are sophisticated numerical tools used to provide quantitative calculations in many areas of theoretical physics...
|
cena:
288,90 |
 |
Logic Colloquium '03: Lecture Notes in Logic 24
ISBN: 9781568812939 / Angielski / Twarda / 420 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials and research articles from some of the world's preeminent logicians. One article is a tutorial on finite model theory and query languages that lie between first order and second order logic. The other articles cover current research topics in all areas of mathematical logic, including Proof Theory, Set Theory, Model Theory, and Computability Theory, and Philosophy.
A compilation of papers presented at the 2003 European Summer Meeting of the Association for Symbolic Logic, Logic Colloquium '03 includes tutorials a...
|
cena:
288,92 |
 |
Computability Theory: An Introduction to Recursion Theory
ISBN: 9780123849588 / Angielski / Twarda / 174 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary computability theory, techniques, and results. The basic concepts and techniques of computability theory are placed in their historical, philosophical and logical context. This presentation is characterized by an unusual breadth of coverage and the inclusion of advanced topics not to be found elsewhere in the literature at this level. The text includes both the standard material for a first course in computability and more advanced looks at... Computability Theory: An Introduction to Recursion Theory provides a concise, comprehensive, and authoritative introduction to contemporary ... |
cena:
288,92 |
 |
The Reason's Proper Study: Essays Towards a Neo-Fregean Philosophy of Mathematics
ISBN: 9780199266326 / Angielski / Miękka / 470 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In addition to fourteen previously published papers, the volume features a new paper on the Julius Caesar problem; a substantial new introduction mapping out the program and the contributions made to it by the various papers; a section explaining which issues most require further attention; and bibliographies of references and further useful sources. It will be recognized as the most powerful presentation yet of a neo-Fregean program.
Here, Bob Hale and Crispin Wright assemble the key writings that lead to their distinctive neo-Fregean approach to the philosophy of mathematics. In a...
|
cena:
289,34 |
 |
Intuitionistic Analysis: A Constructive Frame of Mind
ISBN: 9783032164902 / Angielski / 06-04-2026 Książka dostępna od: 06-04-2026 |
|
Termin ukazania się książki: 06-04-2026
Książkę można już zamówić z rabatem 5% |
|
276,76 |
 |
In All Likelihood
ISBN: 9780198950936 / Angielski / Miękka / 30-06-2026 / 544 str. Książka dostępna od: 30-06-2026 |
|
Termin ukazania się książki: 30-06-2026
Książkę można już zamówić z rabatem 5% |
|
276,81 |
 |
Structural Proof Theory
ISBN: 9780521068420 / Angielski / Miękka / 276 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics, and computer science. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated.
Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a...
|
cena:
293,49 |
 |
Infinity
ISBN: 9781107685482 / Angielski / Miękka / 326 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. The infinite No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other concept stands in greater need of clarification than that of the infinite. David Hilbert This interdisciplinary study of infinity explores the concept through the prism of mathematics and then offers more expansive investigations in areas beyond mathematical boundaries to reflect the broader, deeper implications of infinity for human intellectual thought. More than a dozen world renowned researchers in the fields of mathematics, physics,...
The infinite No other question has ever moved so profoundly the spirit of man; no other idea has so fruitfully stimulated his intellect; yet no other...
|
cena:
293,49 |
 |
Handbook of Categorical Algebra: Volume 1, Basic Category Theory
ISBN: 9780521061193 / Angielski / Miękka / 364 str. Termin realizacji zamówienia: ok. 5-8 dni roboczych. A Handbook of Categorical Algebra, in three volumes, is a detailed account of everything a mathematician needs to know about category theory. Each volume is self-contained and is accessible to graduate students with a good background in mathematics. Volume 1 is devoted to general concepts. After introducing the terminology and proving the fundamental results concerning limits, adjoint functors and Kan extensions, the categories of fractions are studied in detail; special consideration is paid to the case of localizations. The remainder of the first volume studies various "refinements" of the...
A Handbook of Categorical Algebra, in three volumes, is a detailed account of everything a mathematician needs to know about category theory. Each vol...
|
cena:
293,49 |
 |
The Elements of Advanced Mathematics
ISBN: 9781032102795 / Angielski Termin realizacji zamówienia: ok. 5-8 dni roboczych. |
cena:
293,81 |
Czytaj nas na:
Zobacz: Księgarnia Czeska | Wydawnictwo Książkowe Klimaty | Mapa strony | Lista autorów
KrainaKsiazek.PL - Księgarnia Internetowa
KrainaKsiazek.PL - Księgarnia Internetowa
