{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,6]],"date-time":"2025-08-06T12:31:31Z","timestamp":1754483491971},"reference-count":15,"publisher":"Cambridge University Press (CUP)","issue":"1","license":[{"start":{"date-parts":[[2014,3,12]],"date-time":"2014-03-12T00:00:00Z","timestamp":1394582400000},"content-version":"unspecified","delay-in-days":9873,"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["J. symb. log."],"published-print":{"date-parts":[[1987,3]]},"abstract":"<jats:p>The interpretation of the ZF set theory reported in this paper is, actually, part of a wider effort, namely, a new approach to the foundation of mathematics, which is referred to as <jats:italic>The Cybernetic Foundation<\/jats:italic>. A detailed exposition of the Cybernetic Foundation will be published elsewhere. Our approach leads to a full acceptance of the formalism of the classical set theory, but interprets it using only the idea of potential, but not actual (completed) infinity, and dealing only with finite objects that can actually be constructed. Thus we have a finitist proof of the consistency of ZF. This becomes possible because we set forth a metatheory of mathematics which goes beyond the classical logic and set theory and, of course, cannot be formalized in ZF, yet yields proofs which are as convincing\u2014at least, from the author's viewpoint\u2014as any mathematical proof can be.<\/jats:p><jats:p>Our metatheory is based on the following two ideas. Firstly, we define the semantics of the mathematical language using the cybernetical concept of knowledge. According to this concept, to say that a cybernetic system (a human being, in particular) has some knowledge is to say that it has some models of reality. In the Cybernetic Foundation we consider mathematics as the art of constructing linguistic models of reality.<\/jats:p>","DOI":"10.2307\/2273872","type":"journal-article","created":{"date-parts":[[2006,5,6]],"date-time":"2006-05-06T22:20:33Z","timestamp":1146954033000},"page":"172-201","source":"Crossref","is-referenced-by-count":13,"title":["A constructive interpretation of the full set theory"],"prefix":"10.1017","volume":"52","author":[{"given":"Valentin F.","family":"Turchin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2014,3,12]]},"reference":[{"key":"S0022481200030097_bib004","volume-title":"Foundations of set theory","author":"Fraenkel","year":"1967"},{"key":"S0022481200030097_bib008","doi-asserted-by":"publisher","DOI":"10.2307\/2024634"},{"key":"S0022481200030097_bib009","first-page":"311","volume-title":"The L. E. J. Brouwer centenary symposium","author":"Martino","year":"1982"},{"key":"S0022481200030097_bib002","first-page":"139","article-title":"Historical background, principles and methods of intuitionism","volume":"49","author":"Brouwer","year":"1952","journal-title":"South African Journal of Science"},{"key":"S0022481200030097_bib001","first-page":"1235","volume-title":"Library of the tenth international congress of philosophy (Amsterdam, 1948)","volume":"I","author":"Brouwer","year":"1949"},{"key":"S0022481200030097_bib012","volume-title":"Theory of recursive functions and effective computability","author":"Rogers","year":"1967"},{"key":"S0022481200030097_bib005","volume-title":"The consistency of the axiom of choice and the generalized continuum hypothesis with the axioms of set theory","author":"G\u00f6del","year":"1940"},{"key":"S0022481200030097_bib006","first-page":"332","volume-title":"Introduction to metamathematics","author":"Kleene","year":"1952"},{"key":"S0022481200030097_bib007","first-page":"138","volume-title":"Problems in the philosophy of mathematics (proceedings of the international colloquium in the philosophy of science, London 1965)","volume":"1","author":"Kreisel","year":"1967"},{"key":"S0022481200030097_bib015","doi-asserted-by":"publisher","DOI":"10.1007\/BF01449999"},{"key":"S0022481200030097_bib013","volume-title":"Prace Towarzystwa Naukowego Warszawskiego, Wydzial III","author":"Tarski","year":"1933"},{"key":"S0022481200030097_bib010","doi-asserted-by":"publisher","DOI":"10.1007\/BF00673010"},{"key":"S0022481200030097_bib011","doi-asserted-by":"publisher","DOI":"10.1007\/BF01880263"},{"key":"S0022481200030097_bib014","volume-title":"The language Refal","author":"Turchin","year":"1980"},{"key":"S0022481200030097_bib003","doi-asserted-by":"publisher","DOI":"10.1007\/BF01444205"}],"container-title":["The Journal of Symbolic Logic"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0022481200030097","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,4,11]],"date-time":"2022-04-11T08:14:21Z","timestamp":1649664861000},"score":1,"resource":{"primary":{"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/www.cambridge.org\/core\/product\/identifier\/S0022481200030097\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987,3]]},"references-count":15,"journal-issue":{"issue":"1","published-print":{"date-parts":[[1987,3]]}},"alternative-id":["S0022481200030097"],"URL":"https:\/\/2.zoppoz.workers.dev:443\/https\/doi.org\/10.2307\/2273872","relation":{},"ISSN":["0022-4812","1943-5886"],"issn-type":[{"value":"0022-4812","type":"print"},{"value":"1943-5886","type":"electronic"}],"subject":[],"published":{"date-parts":[[1987,3]]}}}