Catalog > Sciences > Math > Roman Murawski: Logos and Mathema : Studies in the Philosophy of Mathematics and History of Logic (PDF)

Roman Murawski
Logos and Mathema : Studies in the Philosophy of Mathematics and History of Logic [PDF ebook]
Studies in the Philosophy of Mathematics and History of Logic

Support

Cover of Roman Murawski: Logos and Mathema : Studies in the Philosophy of Mathematics and History of Logic (PDF)

The volume contains twenty essays devoted to the philosophy of mathematics and the history of logic. They have been divided into four parts: general philosophical problems of mathematics, Hilbert’s program vs. the incompleteness phenomenon, philosophy of mathematics in Poland, mathematical logic in Poland. Among considered problems are: epistemology of mathematics, the meaning of the axiomatic method, existence of mathematical objects, distinction between proof and truth, undefinability of truth, Goedel’s theorems and computer science, philosophy of mathematics in Polish mathematical and logical schools, beginnings of mathematical logic in Poland, contribution of Polish logicians to recursion theory.

€76.63

Buy this ebook and get 1 more FREE!

Language English ● Format PDF ● ISBN 9783653010305 ● Publisher Peter Lang GmbH, Internationaler Verlag der Wissenschaften ● Published 2011 ● Downloadable 6 times ● Currency EUR ● ID 5782780 ● Copy protection Adobe DRM

Requires a DRM capable ebook reader

More ebooks from the same author(s) / Editor

Roman Murawski Murawski Roman Murawski

50,053 Ebooks in this category

Cover of Chris P. Underwood: HVAC Control Systems

Chris P. Underwood: HVAC Control Systems

This important new book bridges the gap between works on classical control and process control, and those dealing with HVAC control at a more elementary level, which generally adopt a qualitative and …

Cover of Crista Arangala: Exploring Calculus

Crista Arangala: Exploring Calculus

This text is meant to be a hands-on lab manual that can be used in class every day to guide the exploration of the theory and applications of differential and integral calculus. For the most part, la …

Cover of Rafael A. Irizarry: Data Analysis for the Life Sciences with R

Rafael A. Irizarry: Data Analysis for the Life Sciences with R

This book covers several of the statistical concepts and data analytic skills needed to succeed in data-driven life science research. The authors proceed from relatively basic concepts related to com …

Cover of Willem Adriaan (University of Trento, ITALY) de Graaf: Computation with Linear Algebraic Groups

Willem Adriaan (University of Trento, ITALY) de Graaf: Computation with Linear Algebraic Groups

Designed as a self-contained account of a number of key algorithmic problems and their solutions for linear algebraic groups, this book combines in one single text both an introduction to the basic t …

Cover of Leo Breiman: Classification and Regression Trees

Leo Breiman: Classification and Regression Trees

The methodology used to construct tree structured rules is the focus of this monograph. Unlike many other statistical procedures, which moved from pencil and paper to calculators, this text”s use of …

Cover of Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

Vidyadhar S. (Michigan State University, East Lansing, USA) Mandrekar & David A. (Indiana University-Purdue University, Fort Wayne) Redett: Weakly Stationary Random Fields, Invariant Subspaces and Applications

The first book to examine weakly stationary random fields and their connections with invariant subspaces (an area associated with functional analysis). It reviews current literature, presents central …

Cover of J.S. Maritz: Empirical Bayes Methods with Applications

J.S. Maritz: Empirical Bayes Methods with Applications

The second edition of Empirical Bayes Methods details are provided of the derivation and the performance of empirical Bayes rules for a variety of special models. Attention is given to the problem of …

Cover of Rene Thom: Structural Stability And Morphogenesis

Rene Thom: Structural Stability And Morphogenesis

First Published in 2018. It is now some fifteen years since Structural Stability and Morphogenesis was first published in the French edition. The purely mathematical theory of singularities of smooth …

Cover of Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell'Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

Daniele (University of Roma Tor Vergata, Rome, Italy) Bertaccini & Fabio (Universita degli Studi dell’Insubria, Dipartimento di Scienza ed Alta Tecnologia, Como, Italy) Durastante: Iterative Methods and Preconditioning for Large and Sparse Linear Systems

This book describes, in a basic way, the most useful and effective iterative solvers and appropriate preconditioning techniques for some of the most important classes of large and sparse linear syste …

Cover of S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

S.K. Kar & B.M. Mohan: Continuous Time Dynamical Systems

Optimal control deals with the problem of finding a control law for a given system such that a certain optimality criterion is achieved. An optimal control is a set of differential equations describi …