Roman Murawski's Books

Mechanization of Reasoning in a Historical Perspective

By: Witold Marciszewski,Roman Murawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Mechanization of Reasoning in a Historical Perspective

By: Witold Marciszewski,Roman Murawski

This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is the author of the next ones - those concerned with the 19th century and the modern inquiries into formalization, algebraization and mechanization of reasonings. Besides the authors there are other persons, as well as institutions, to whom the book owes its coming into being.The study which resulted in this volume was carried out in the Historical Section of the research project Logical Systems and Algorithms for Automatic Testing of Reasoning,1986-1990, in which participated nine Polish universities; the project was coordinated by the Department of Logic, Methodology and Philosophy of Science of the Bia??l??ystok Branch of the University of Warsaw, and supported by the Ministry of Education (some of its results are reported in (Srzednicki (Ed.) 1987). The major part of the project was focussed on the software for computer-aided theorem proving called Mizar MSE (Multi-Sorted first-order logic with Equality, reported in (Marciszewski 1994a)) due to Dr. Andrzej Trybulec. He and other colleagues deserve a grateful mention for a hands-on experience and theoretical stimulants owed to their collaboration.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

288

Publisher

Rodopi

Published Date

ISBN 10

9051837909

ISBN 13

9789051837902

Philosophy of Mathematics

By: Thomas Bedürftig,Roman Murawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Philosophy of Mathematics

By: Thomas Bedürftig,Roman Murawski

The present book is an introduction to the philosophy of mathematics. It asks philosophical questions concerning fundamental concepts, constructions and methods - this is done from the standpoint of mathematical research and teaching. It looks for answers both in mathematics and in the philosophy of mathematics from their beginnings till today. The reference point of the considerations is the introducing of the reals in the 19th century that marked an epochal turn in the foundations of mathematics. In the book problems connected with the concept of a number, with the infinity, the continuum and the infinitely small, with the applicability of mathematics as well as with sets, logic, provability and truth and with the axiomatic approach to mathematics are considered. In Chapter 6 the meaning of infinitesimals to mathematics and to the elements of analysis is presented. The authors of the present book are mathematicians. Their aim is to introduce mathematicians and teachers of mathematics as well as students into the philosophy of mathematics. The book is suitable also for professional philosophers as well as for students of philosophy, just because it approaches philosophy from the side of mathematics. The knowledge of mathematics needed to understand the text is elementary. Reports on historical conceptions. Thinking about today‘s mathematical doing and thinking. Recent developments. Based on the third, revised German edition. For mathematicians - students, teachers, researchers and lecturers - and readersinterested in mathematics and philosophy. Contents On the way to the reals On the history of the philosophy of mathematics On fundamental questions of the philosophy of mathematics Sets and set theories Axiomatic approach and logic Thinking and calculating infinitesimally – First nonstandard steps Retrospection

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

514

Publisher

Walter de Gruyter GmbH & Co KG

Published Date

ISBN 10

3110470772

ISBN 13

9783110470772

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

By: Roman Murawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

By: Roman Murawski

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. It was a remarkable period in the history of Polish science, in particular in the history of Polish logic and mathematics. Therefore, it is justified to ask whether and to what extent the development of logic and mathematics was accompanied by a philosophical reflection. We try to answer those questions by analyzing both works of Polish logicians and mathematicians who have a philosophical temperament as well as their research practice. Works and philosophical views of the following Polish scientists will be analyzed: Wacław Sierpiński, Zygmunt Janiszewski, Stefan Mazurkiewicz, Stefan Banach Hugo Steinhaus, Eustachy Żylińsk and Leon Chwistek, Jan Łukasiewicz, Zygmunt Zawirski, Stanisław Leśniewski, Tadeusz Kotarbiński, Kazimierz Ajdukiewicz, Alfred Tarski, Andrzej Mostowski and Henryk Mehlberg, Jan Sleszyński, Stanisław Zaremba and Witold Wilkosz. To indicate the background of scientists being active in the 1920s and 1930s we consider in Chapter 1 some predecessors, in particular: Jan Śniadecki, Józef Maria Hoene-Wroński, Samuel Dickstein and Edward Stamm.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

235

Publisher

Springer

Published Date

ISBN 10

3034808313

ISBN 13

9783034808316

Recursive Functions and Metamathematics

Problems of Completeness and Decidability, Gödel’s Theorems

By: Roman Murawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Recursive Functions and Metamathematics

Problems of Completeness and Decidability, Gödel’s Theorems

By: Roman Murawski

Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theory of recursive functions. This theory is first introduced and discussed. Then Gödel's incompleteness theorems are presented, together with generalizations, strengthenings, and the decidability theory. The book also considers the historical and philosophical context of these issues and their philosophical and methodological consequences. Recent results and trends have been included, such as undecidable sentences of mathematical content, reverse mathematics. All the main results are presented in detail. The book is self-contained and presupposes only some knowledge of elementary mathematical logic. There is an extensive bibliography. Readership: Scholars and advanced students of logic, mathematics, philosophy of science.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

416

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9401728666

ISBN 13

9789401728669

AI

Unexplainable, Unpredictable, Uncontrollable

By: Roman V. Yampolskiy

Write a review Read reviews Take a Quiz Solve Book Puzzle

AI

Unexplainable, Unpredictable, Uncontrollable

By: Roman V. Yampolskiy

Delving into the deeply enigmatic nature of Artificial Intelligence (AI), AI: Unexplainable, Unpredictable, Uncontrollable explores the various reasons why the field is so challenging. Written by one of the founders of the field of AI safety, this book addresses some of the most fascinating questions facing humanity, including the nature of intelligence, consciousness, values and knowledge. Moving from a broad introduction to the core problems, such as the unpredictability of AI outcomes or the difficulty in explaining AI decisions, this book arrives at more complex questions of ownership and control, conducting an in-depth analysis of potential hazards and unintentional consequences. The book then concludes with philosophical and existential considerations, probing into questions of AI personhood, consciousness, and the distinction between human intelligence and artificial general intelligence (AGI). Bridging the gap between technical intricacies and philosophical musings, AI: Unexplainable, Unpredictable, Uncontrollable appeals to both AI experts and enthusiasts looking for a comprehensive understanding of the field, whilst also being written for a general audience with minimal technical jargon.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

240

Publisher

CRC Press

Published Date

ISBN 10

1003846912

ISBN 13

9781003846918

Technoscientific Research

Methodological and Ethical Aspects

By: Roman Z. Morawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Technoscientific Research

Methodological and Ethical Aspects

By: Roman Z. Morawski

From the content: Introduction Mathematical modelling Measurement Scientific explanation Context of discovery Context of justification Uncertainty of scientific knowledge Morality and moral philosophy System ofvalues associated with science General principles of moral decision-making Researchethics Methodological and ethical issues related to experimentation Methodological and ethical issues to researchinformation Methodological and ethical issuesrelated to legal protection of intellectual property

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

660

Publisher

Walter de Gruyter GmbH & Co KG

Published Date

ISBN 10

3110584123

ISBN 13

9783110584127

Pearls from a Lost City

The Lvov School of Mathematics

By: Roman Duda

Write a review Read reviews Take a Quiz Solve Book Puzzle

Pearls from a Lost City

The Lvov School of Mathematics

By: Roman Duda

The fame of the Polish school at Lvov rests with the diverse and fundamental contributions of Polish mathematicians working there during the interwar years. In particular, despite material hardship and without a notable mathematical tradition, the school made major contributions to what is now called functional analysis. The results and names of Banach, Kac, Kuratowski, Mazur, Nikodym, Orlicz, Schauder, Sierpiński, Steinhaus, and Ulam, among others, now appear in all the standard textbooks. The vibrant joie de vivre and singular ambience of Lvov's once scintillating social scene are evocatively recaptured in personal recollections. The heyday of the famous Scottish Café--unquestionably the most mathematically productive cafeteria of all time--and its precious Scottish Book of highly influential problems are described in detail, revealing the special synergy of scholarship and camaraderie that permanently elevated Polish mathematics from utter obscurity to global prominence. This chronicle of the Lvov school--its legacy and the tumultuous historical events which defined its lifespan--will appeal equally to mathematicians, historians, or general readers seeking a cultural and institutional overview of key aspects of twentieth-century Polish mathematics not described anywhere else in the extant English-language literature.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

247

Publisher

American Mathematical Society

Published Date

ISBN 10

1470410761

ISBN 13

9781470410766

Cavalry from Hoof to Track

By: Roman Jarymowycz

Write a review Read reviews Take a Quiz Solve Book Puzzle

Cavalry from Hoof to Track

By: Roman Jarymowycz

History of cavalry from horses to tanks and helicopters.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

570

Publisher

Stackpole Books

Published Date

ISBN 10

0811750930

ISBN 13

9780811750936

Recursive Functions and Metamathematics

Problems of Completeness and Decidability, Gödel’s Theorems

By: Roman Murawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Recursive Functions and Metamathematics

Problems of Completeness and Decidability, Gödel’s Theorems

By: Roman Murawski

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

416

Publisher

Springer Science & Business Media

Published Date

ISBN 10

9401728666

ISBN 13

9789401728669

Philosophy of Mathematics

By: Thomas Bedürftig,Roman Murawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Philosophy of Mathematics

By: Thomas Bedürftig,Roman Murawski

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

514

Publisher

Walter de Gruyter GmbH & Co KG

Published Date

ISBN 10

3110470772

ISBN 13

9783110470772

Essays in the Philosophy and History of Logic and Mathematics

By: Roman Murawski

Write a review Read reviews Take a Quiz Solve Book Puzzle

Essays in the Philosophy and History of Logic and Mathematics

By: Roman Murawski

The book is a collection of the author’s selected works in the philosophy and history of logic and mathematics. Papers in Part I include both general surveys of contemporary philosophy of mathematics as well as studies devoted to specialized topics, like Cantor's philosophy of set theory, the Church thesis and its epistemological status, the history of the philosophical background of the concept of number, the structuralist epistemology of mathematics and the phenomenological philosophy of mathematics. Part II contains essays in the history of logic and mathematics. They address such issues as the philosophical background of the development of symbolism in mathematical logic, Giuseppe Peano and his role in the creation of contemporary logical symbolism, Emil L. Post's works in mathematical logic and recursion theory, the formalist school in the foundations of mathematics and the algebra of logic in England in the 19th century. The history of mathematics and logic in Poland is also considered. This volume is of interest to historians and philosophers of science and mathematics as well as to logicians and mathematicians interested in the philosophy and history of their fields.

Average ratings

N/A

Write a review

Solve jigsaw puzzle

Age

Page Count

327

Publisher

BRILL

Published Date

ISBN 10

9042030917

ISBN 13

9789042030916

Book's by Roman Murawski

Mechanization of Reasoning in a Historical Perspective

Mechanization of Reasoning in a Historical Perspective

Philosophy of Mathematics

Philosophy of Mathematics

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland

Recursive Functions and Metamathematics

Recursive Functions and Metamathematics

AI

AI

Technoscientific Research

Technoscientific Research

Pearls from a Lost City

Pearls from a Lost City

Cavalry from Hoof to Track

Cavalry from Hoof to Track

Recursive Functions and Metamathematics

Recursive Functions and Metamathematics

Philosophy of Mathematics

Philosophy of Mathematics

Essays in the Philosophy and History of Logic and Mathematics

Essays in the Philosophy and History of Logic and Mathematics

Username

Password

Username

Password

Password again

Birthday

Email