wyszukanych pozycji: 6
![]() |
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems
ISBN: 9780792359043 / Angielski / Twarda / 1999 / 395 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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 Godel'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...
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theo...
|
cena:
650,12 |
![]() |
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
ISBN: 9783034808309 / Angielski / Twarda / 2014 / 228 str. Termin realizacji zamówienia: 22 dni roboczych 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 thedevelopment 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...
The aim of this book is to present and analyze philosophical conceptions concerning mathematics and logic as formulated by Polish logicians, mathemati...
|
150,81 |
![]() |
Recursive Functions and Metamathematics: Problems of Completeness and Decidability, Gödel's Theorems
ISBN: 9789048152988 / Angielski / Miękka / 2010 / 395 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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 Godel'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...
Recursive Functions and Metamathematics deals with problems of the completeness and decidability of theories, using as its main tool the theo...
|
cena:
650,12 |
![]() |
Essays in the Philosophy and History of Logic and Mathematics
ISBN: 9789042030909 / Angielski / Twarda / 2010 / 343 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. 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...
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 ...
|
cena:
754,11 |
![]() |
Philosophie der Mathematik
ISBN: 9783110545197 / Niemiecki / Miękka / 2019 / 538 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
236,21 |
![]() |
Philosophy of Mathematics
ISBN: 9783110468304 / Angielski / Miękka / 2018 / 474 str. Termin realizacji zamówienia: ok. 16-18 dni roboczych. |
cena:
318,90 |