Search
Now showing items 11-16 of 16
What is Mathematics: Gödel's Theorem and Around (Edition 2013)
(2013-06-23)
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2013. ATTENTION! New Edition 2015 available at https://dspace.lu.lv/dspace/handle/7/5306.
Truth Demystified
(2015-11-05)
For further development, see Karlis Podnieks in ResearchGate.
How could we recognize truth, if we only have models, means of model-building, and the history of their evolution? Where is the truth in the cloud of models – ...
Explanation and Understanding in a Model-Based Model of Cognition
(2017-11-20)
This article is an experiment. Consider a minimalist model of cognition (models, means of model-building and history of their evolution). In this model, explanation could be defined as a means allowing to advance: production ...
Towards a General Definition of Modeling
(2010-11-24)
What is a model? Surprisingly, in philosophical texts, this question is asked (sometimes), but almost never – answered. Instead of a general answer, usually, some classification of models is considered. The broadest possible ...
Introduction to Mathematical Logic (Edition 2017)
(2017-05-24)
This is Edition 2017. Read the NEW Edition 2021 at https://dspace.lu.lv/dspace/handle/7/53914. Hyper-textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving ...
Introduction to Mathematical Logic (Edition 2014)
(2014-08-25)
Hyper-textbook for students. This is Edition 2014. ATTENTION! New Edition 2021 available at https://dspace.lu.lv/dspace/handle/7/53914