(Izdošanas datums: 01-Sep-2025, Paperback / softback, Izdevniecība: 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....Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
Colleen E. Crangle, Adolfo Garcia de la Sienra, Helen E. Longino
Sērija : Lecture Notes
(Izdošanas datums: 15-May-2015, Hardback, Izdevniecība: Centre for the Study of Language & Information, ISBN-13: 9781575867441)
Šī grāmata vairs netiek publicēta. Jums tiks paziņota lietotas grāmatas cena
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 Suppess colleagues, collaborators, and students seeks t...Lasīt vairāk
Colleen E. Crangle, Adolfo Garcia de la Sienra, Helen E. Longino
Sērija : Lecture Notes
(Izdošanas datums: 15-Apr-2015, Paperback / softback, Izdevniecība: 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 Suppess colleagues, collaborators, and students seeks t...Lasīt vairāk
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....Lasīt vairāk
Ernst Zermelo, Heinz-Dieter Ebbinghaus, Akihiro Kanamori, David P Kramer, Enzo De Pellegrin
Sērija : Schriften der Mathematisch-naturwissenschaftlichen Klasse
(Izdošanas datums: 28-Aug-2015, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
In the last century, Bertrand Russell famously held that pure mathematics is part of pure logica theory known as logicism. The present work is a study of Russells logicism considered in its historical development, in its philosophical context, in...Lasīt vairāk
In the last century, Bertrand Russell famously held that pure mathematics is part of pure logica theory known as logicism. The present work is a study of Russells logicism considered in its historical development, in its philosophical context, in...Lasīt vairāk
Ernst Zermelo, Heinz-Dieter Ebbinghaus, Akihiro Kanamori, David P Kramer, Enzo De Pellegrin
Sērija : Schriften der Mathematisch-naturwissenschaftlichen Klasse
(Izdošanas datums: 10-Sep-2013, Hardback, Izdevniecība: 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....Lasīt vairāk
Ernst Zermelo, Heinz-Dieter Ebbinghaus, Enzo de Pellegrin, Akihiro Kanamori, Craig G. Fraser
Sērija : Schriften der Mathematisch-naturwissenschaftlichen Klasse
(Izdošanas datums: 01-Mar-2012, Paperback / softback, Izdevniecība: 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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
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...Lasīt vairāk
