-
Recent Posts
-
Join 1,688 other subscribers
Archives
- Aerodynamics astronomy books chemistry children's books children's stories Editorial Mir electronics engineering folk tales foreign languages publishing french geology history life sciences little mathematics library malysh publishers mathematics mir books mir publishers physics popular science problem books progress publishers raduga publishers science science for everyone soviet technology Éditions Mir
Meta
Trackers on the site…
There are trackers on the site apart from Wordpress Stats. If you don't know what trackers are, or wish not to be tracked go here http://donttrack.us to get tools which allow you to do so.Blogroll
Tag Archives: logic
Plato (Man Through The Ages Series) by Alexei Losev; Aza Takho-Godi
Plato is one of the greatest classical Greek philosophers. Plato’s ideas are integral to the ideas of philosophy through last two thousand years or so. In this book Plato’s life and major philosophical ideas and works and their influence have … Continue reading
Posted in books
Tagged 1990, Academy, Aristotle, classical philosophy, Dionysius, Greek philosophy, history of philosophy, idealism, logic, Lyceum, myth, philosophy, plato's dialogues, reality, Socrates, utopianism
Leave a comment
Logic (Student’s Library) by Alexandra Getmanova
In this post, we will see the book Logic (Student’s Library) by Alexandra Getmanova. About the book Apart from the main forms of correct thought -concepts, judgements, inferences- this book also covers methods of demonstration and refutation, some of the … Continue reading
Posted in books
Tagged 1989, argumentation, concepts, hypothesis, inference, judgement, logic, logic in science, thinking
Leave a comment
Thinking Machines – Gutenmacher
In this post, we will see the book Thinking Machines by L. Gutenmacher. About the book & the author The book describes earliest computers, technologies and computing techniques and algorithms. The fundamental aspects of computation are well described in the … Continue reading
Cybernetics Within Us – Saparina
In this post, we will see the book Cybernetics Within Us by Yelena Saparina. About the book Can a rat tell the difference between a Raphael Madonna and a Picasso Girl in Blue? Would a Martian (if there is such … Continue reading
Posted in books, computers, mir books, mir publishers, peace publishers, psychology, science, soviet
Tagged automata, brains, circuits, cognition, cognitive science, cybernetics, information, interaction, language, learning, levels, logic, machine, mind, mir publishers, molecules, neural architecture, neurons, peace publishers, perception, pleasure centre, popular, science, systems, vision
6 Comments
Mathematical Logic – Ershov, Palyutin
In this post we will see Mathematical Logic by Yu. L. Ershov, E. A. Palyutin. This book presents in a systematic way a number of topics in modern mathematical logic and the theory of algorithms. It can be used as … Continue reading
Posted in books, mathematics, mir books, mir publishers, soviet
Tagged algebraic systems, algorithms, axiomatic systems, boolean algebra, calculus of predicates, compactness theorem, gentzen system, godels theorem, herbrand theorem, hilbertian calculus, logic, mathematics, mir, mir books, mir publishers, normal forms, proof theory, propositional calculus, recursive functions, set theory, skolem functions, soviet, undecidability
10 Comments
Little Mathematics Library – Gödel’s Incompleteness Theorem
After the last two posts by V. A. Uspenskii (check out his site here) which dealt with Post’s Machine, and Pascal’s Triangle, we now come to another book by him in the Little Mathematics Library series titled Gödel’s Incompleteness Theorem. … Continue reading
Posted in books, computers, little mathematics library, mathematics, philosophy
Tagged algorithms computers, Gödel's proof, godel, incompleteness theorem, logic
7 Comments
Mir Books 