topmenu
Wyniki wyszukiwania:
wyszukanych pozycji: 6
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
645,58 |
 |
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. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
645,58 |
 |
The Philosophy of Mathematics and Logic in the 1920s and 1930s in Poland
ISBN: 9783034808309 / Angielski / Twarda / 2014 / 228 str. Termin realizacji zamówienia: ok. 22 dni roboczych (Bez gwarancji dostawy przed świętami) 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...
|
cena:
201,72 |
 |
Mechanization of Reasoning in a Historical Perspective
ISBN: 9789051838046 / Angielski / Miękka / 1995 / 267 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) 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... This volume is written jointly by Witold Marciszewski, who contributed the introductory and the three subsequent chapters, and Roman Murawski who is t...
|
cena:
161,86 |
 |
Essays in the Philosophy and History of Logic and Mathematics
ISBN: 9789042030909 / Angielski / Twarda / 2010 / 343 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) 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:
460,01 |
 |
Philosophy of Mathematics
ISBN: 9783110468304 / Angielski / Miękka / 2018 / 474 str. Termin realizacji zamówienia: ok. 30 dni roboczych (Bez gwarancji dostawy przed świętami) |
cena:
297,94 |
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
