RO  EN
IMI/Publicaţii/CSJM/Ediţii/CSJM v.20, n.3 (60), 2012/

Basics of Intensionalized Data: Presets, Sets, and Nominats

Authors: M. Nikitchenko, A. Chentsov
Keywords: Set theory, alternative set theories, notion intension, intensionality, presets, nominats, computability, intensionalized computability.

Abstract

In the paper we consider intensional aspects of the notion of data. We advocate an idea that traditional set-theoretic platform should be enhanced with new data structures having explicit intensional component. Among such data we distinguish the notions of preset and nominat. Intuitively, presets may be considered as collections of "black boxes", nominats may be considered as collections of "grey boxes" in which "white boxes" are names and "black boxes" are their values, while sets may be treated as collections of "white boxes". We describe intensions and properties of the introduced notions. We define operations over such data as functions computable in a special intensionalized sense.

Mykola Nikitchenko
Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590519
E-mail:

Alexey Chentsov
Taras Shevchenko National University of Kyiv
01601, Kyiv, Volodymyrska st, 60
Phone: +38044 2590511
E-mail:

Fulltext

Adobe PDF document0.21 Mb