Search
Now showing items 1-10 of 12
Вокруг теоремы Геделя
(Рига: Зинатне, 1992)
Проведен методологический анализ природы математики.
Показано, что сущность математического метода состоит в исследовании
застывших моделей. Обоснована несостоятельность утверждений об
ограниченности аксиоматического ...
Теорема Гёделя о неполноте
(Издательство МЦНМО, 2010)
Если оценивать открытия ХХ века по их влиянию на образ научного мышления,
то открытие Курта Гёделя следует (по значению) приравнять к открытию
принципов теории относительности и квантовой механики.
What is Mathematics: Gödel's Theorem and Around (Edition 2015)
(2015-01-25)
Hyper-textbook for students in mathematical logic and foundations of mathematics. Edition 2015.
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 – ...
Вокруг теоремы Геделя
(Latvia State University, 1981)
Проведен методологический анализ природы математики. Показано, что сущность математического метода состоит в исследовании застывших моделей. Обоснована несостоятельность утверждений об ограниченности аксиоматического метода. ...
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 2021
(2021-02-07)
Textbook for students in mathematical logic. First order languages. Axioms of constructive and classical logic. Proving formulas in propositional and predicate logic. Glivenko's theorem and constructive embedding. Axiom ...