(Ilmumisaeg: 01-Sep-2025, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783662709986)
The covered topics include the history of mathematical logic, formal systems, axiomatic number theory and set theory, proof theory, Gödels incompleteness theorems, computability theory, algorithmic information theory, and model theory....Loe edasi...
This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced...Loe edasi...
This book features more than 20 papers that celebrate the work of Hajnal Andréka and István Németi. It illustrates an interaction between developing and applying mathematical logic. The papers offer new results as well as surveys in areas influenced...Loe edasi...
This is a collection of new investigations and discoveries on the theory of opposition (square, hexagon, octagon, polyhedra of opposition) by the best specialists from all over the world. The papers range from historical considerations to new mathe...Loe edasi...
Colleen E. Crangle, Adolfo Garcia de la Sienra, Helen E. Longino
Sari: Lecture Notes
(Ilmumisaeg: 15-May-2015, Hardback, Kirjastus: Centre for the Study of Language & Information, ISBN-13: 9781575867441)
saadame teile pakkumise kasutatud raamatule, mille hind võib erineda kodulehel olevast hinnast
During his long and continuing scholarly career, Patrick Suppes has contributed significantly both to the sciences and to scientific philosophies. In this volume, an international group of Suppes’s colleagues, collaborators, and students seeks t...Loe edasi...
Colleen E. Crangle, Adolfo Garcia de la Sienra, Helen E. Longino
Sari: Lecture Notes
(Ilmumisaeg: 15-Apr-2015, Paperback / softback, Kirjastus: Centre for the Study of Language & Information, ISBN-13: 9781575867458)
During his long and continuing scholarly career, Patrick Suppes has contributed significantly both to the sciences and to scientific philosophies. In this volume, an international group of Suppes’s colleagues, collaborators, and students seeks t...Loe edasi...
The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathematicians and philosophers in the 1920s and 1930s....Loe edasi...
Ernst Zermelo, Heinz-Dieter Ebbinghaus, Akihiro Kanamori, David P Kramer, Enzo De Pellegrin
Sari: Schriften der Mathematisch-naturwissenschaftlichen Klasse
(Ilmumisaeg: 28-Aug-2015, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642432316)
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics.This e...Loe edasi...
In the last century, Bertrand Russell famously held that pure mathematics is part of pure logic—a theory known as logicism. The present work is a study of Russell’s logicism considered in its historical development, in its philosophical context, in...Loe edasi...
In the last century, Bertrand Russell famously held that pure mathematics is part of pure logic—a theory known as logicism. The present work is a study of Russell’s logicism considered in its historical development, in its philosophical context, in...Loe edasi...
Ernst Zermelo, Heinz-Dieter Ebbinghaus, Akihiro Kanamori, David P Kramer, Enzo De Pellegrin
Sari: Schriften der Mathematisch-naturwissenschaftlichen Klasse
(Ilmumisaeg: 10-Sep-2013, Hardback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783540708551)
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and is best-known for the first formulation of the axiom of choice. However, his papers also include pioneering work in applied mathematics and mathematical physics....Loe edasi...
Ernst Zermelo, Heinz-Dieter Ebbinghaus, Enzo de Pellegrin, Akihiro Kanamori, Craig G. Fraser
Sari: Schriften der Mathematisch-naturwissenschaftlichen Klasse
(Ilmumisaeg: 01-Mar-2012, Paperback / softback, Kirjastus: Springer-Verlag Berlin and Heidelberg GmbH & Co. K, ISBN-13: 9783642262098)
Ernst Zermelo (1871-1953) is regarded as the founder of axiomatic set theory and best-known for the first formulation of the axiom of choice. However, his papers include also pioneering work in applied mathematics and mathematical physics.T...Loe edasi...
Mathematics has stood as a bridge between the Humanities and the Sciences since the days of classical antiquity. For Plato, mathematics was evidence of Being in the midst of Becoming, garden variety evidence apparent even to small children and the un...Loe edasi...
Constructibility and complexity play central roles in recent research in computer science, mathematics and physics. For example, scientists are investigating the complexity of computer programs, constructive proofs in mathematics and the randomnes...Loe edasi...
In the last years, it was observed an increasing interest of computer scientists in the structure of biological molecules and the way how they can be manipulated in vitro in order to define theoretical models of computation based on genetic engineeri...Loe edasi...
The section Foundations of Logic, Mathematics and Computer Science is represented by three papers, Foundations of Physical Sciences by six papers, Foundations of Biological Sciences by three papers, Foundations of Cognitive Science and AI by one pap...Loe edasi...
