The completeness of the algorithm algebra with data (original) (raw)

Algorithmic Apophenia and Aestheticization of Data / Алгоритмическая апофения и эстетизация данных

Бохоров К.Ю. Алгоритмическая апофения и эстетизация данных // Художественная культура. 2021. № 3. С. 242-255.

The article suggests taking a look at the artistic development of “artificial intelligence” not in the aspect of its humanization and challenge to humanism, but as a tool for processing data, the number of which and the features technically exceed the capabilities of human understanding. The influence of dataism on culture is considered. The article analyzes the works of contemporary artists (Mario Klingemann, Zach Blas, etc.) working with the phenomenon of “algorithmic apophenia”. The thesis is considered that the transformation of data into information in computer neural networks is methodologically comparable to the creative approaches of modernist artists, which allows us to reach a new level of artistic reflection in the culture that conditioned by machine civilization. Critical and reflexive models of apophenia in contemporary art are collided. / В статье предлагается взглянуть на художественное освоение «искусственного интеллекта» не в аспекте его очеловечивания и вызова гуманизму, а как на инструмент обработки данных, количество которых и признаки технически превосходят возможности человеческого осмысления. Рассматривается влияние датаизма на культуру. Анализируются работы современных художников Марио Клингемана, Зака Бласа и др., работающих с феноменом «алгоритмической апофении». Выдвигается тезис, что превращение данных в информацию в нейронных сетях компьютера методологически сопоставимо с творческими подходами художников модернизма,— что позволяет достигать нового уровня художественной рефлексии в культуре, обусловленной машинной цивилизацией. Сталкиваются критическая и рефлексивная модели осмысления апофении в современном искусстве.

Elements of concrete algorithmics: computability and solvability

Problemy programmirovaniâ, 2020

Розглядається підхід до доведення фундаментальних результатів теорії рекурсивних функцій за допомогою використання конкретних алгоритмів. Для цього точно описуються основні конструкції алгоритму і переформульовується (конкретизується) теза Чорча для більш вузьких класів алгоритмічно обчислюваних функцій. За допомогою такого підходу належність функцій до класів алгоритмічно обчислюваних аргументується побудовою відповідних алгоритмів. Ключові слова: теза Чорча, розв'язність, універсальна функція. Рассматривается подход к доказательству фундаментальных результатов теории рекурсивных функций с помощью использования конкретных алгоритмов. Для этого точно описываются основные конструкции алгоритма и уточняется (конкретизируется) тезис Чорча для более узких классов алгоритмически вычислительных функций. С помощью такого подхода принадлежность функций к классам алгоритмически вычислимых аргументируется построением соответствующих алгоритмов. Ключевые слова: тезис Чорча, разрешимость, универсальная функция. An approach to proving the fundamental results of the theory of recursive functions using specific algorithms is consider. For this, the basic constructions of the algorithm are describing exactly and Church's thesis for more narrow classes of algorithmically computational functions is specified (concretized). Using this approach, the belonging of functions to classes of algorithmically computable is argued by the construction of the corresponding algorithms.

Проблема полноты передаваемой информации

This article presents an investigation of completeness’ problem of information transmitted by spherical electromagnetic wave from source to receiver. A space–time curvature caused by electromagnetic wave is an origin that influences on completeness. It is shown that that curvature has two parts, gravitational and diffractional ones. Light beam scattering parameters such as scattering angle and capture cross-section due to curvature of space-time are evaluated. It is shown that transmission of information from the Past to the Future with the help of spherical electromagnetic waves has quantum character.

On the Value of Data and Algorithmic Projection

2018

Abstract: The projective formalism makes it possible to represent digital data D, which is known to be produced and archived on a system S after running an algorithm A launched by a user H. The data D is then written as an algorithmic projection of a user H on a system S according to an algorithm A: D = PS (H/A).

Parallel Processing of Data and Knowledge by Means of N-tuple Algebra

SPIIRAS Proceedings, 2014

обработка данных и знаний методами алгебры кортежей. Аннотация. Алгебра кортежей-математическая система для формализации многоместных отношений. С ее помощью можно моделировать в одних и тех же структурах как данные (графы, многоместные отношения), так и знания (семантические сети, модели рассуждений, формулы исчисления высказываний и предикатов, продукционные системы, онтологии и т.д.). В то же время сами эти структуры имеют матрицеподобную форму, а все алгоритмы их обработки легко распараллеливаются. Ключевые слова: параллельные вычисления, алгебра кортежей, структуры данных, базы знаний.

О некоторых алгебрах, связанных с быстрыми алгоритмами

Дискретная математика, 1996

О некоторых алгебрах, связанных с быстрыми алгоритмами © 1996 г. В. Б. Алексеев В работе показано, что результаты о существовании быстрых билинейных алгоритмов для умножения комплексных чисел и кватернионов могут быть представлены просто как вложение данных алгебр в алгебры соответствую щей размерности с простой таблицей умножения. Для комплексных чисел возможности такого расширения исследованы полностью. Работа выполнена при финансовой поддержке Российского фонда фунда ментальных исследований, проект 94-01-01206а.

Representation of Universal Algebra

2009

Theory of representations of universal algebra is a natural development of the theory of universal algebra. Morphism of the representation is the map that conserve the structure of the representation. Exploring of morphisms of the representation leads to the concepts of generating set and basis of representation. In the book I considered the notion of tower of representations of FiF_iFi-algebras, i=1 ..., n, as the set of coordinated representations of FiF_iFi-algebras.

Аналіз алгоритмів ущільнення даних та їх програмних реалізацій

Інформаційні технології та комп'ютерна інженерія, 2016

Вінницький національний технічний університет Анотація. У статті розглянуто статистичні, словникові і арефметичні алгоритми ущільнення даних. З статистичних було виділено три основних класи: неадаптивні, напівадаптивні і адаптивні. Зі словникових виділено два основних алгоритма: LZ77 та LZ78, покращення яких породило багато нових методів. Проведено їх порівняльний аналіз, розглянута технічна сторона, принципи роботи та приведені приклади роботи розглянутих алгоритмів. Наведено список основних прикладних програм та розширень файлів які ефективно застосовують алгоритми ущільнення даних. Проаналізовано які алгоритми вони використовують та у якій сфері. Проведено аналіз та наведені основні методи вбудовананих класів для стиснення даних. Ключові слова: кодування, ущільнення. Аннотация. В статье рассмотрены статистические, словарные и арефметични алгоритмы сжатия данных. С статистических было выделено три основных класса: неадаптивные, полуадаптивные и адаптивные. Из словарных выделено два основных алгоритма: LZ77 и LZ78, улучшение которых породило много новых методов. Проведен их сравнительный анализ, рассмотрена техническая сторона, принципы работы и приведены примеры работы рассмотренных алгоритмов. Приведен список основных приложений и расширений файлов эффективно применяющих алгоритмы сжатия данных. Проанализированы какие алгоритмы они используют и в какой сфере. Проведен анализ и приведены основные методы встроеных классов для сжатия данных. Ключевые слова: кодирование, сжатие. Abstract. In the article analyzed statistics, dictionary and data compaction algorithms arefmetychni. From the statistics were three main classes: neadaptyvni, napivadaptyvni and adaptive. With the dictionary highlighted two main algorithm: LZ77 and LZ78, which has generated much improved new methods. A comparative analysis reviewed the technical side, principles of operation and given examples of the considered algorithms. Are the main applications and file extensions that effectively seals algorithms used data. The analysis algorithms they use and in what area. The analysis and are the main methods vbudovananyh classes for data compression.

A Process Algebra Semantics for Message SequenceCharts Including

2007

Message Sequence Charts (MSCs) are a graphical and textual language for the spec-iication of message passing systems, in particular telecommunication systems. MSCs are standardised by the Internal Telecommunication Union in standard Z.120. Included in the standard is a formal semantics for MSCs by means of a process algebra. This semantics covers the complete language of single MSCs but lacks an interpretation for conditions which are used as continuation points of MSCs within an MSC document (a collection of MSCs). In this paper, we give a process algebraic semantics for basic MSCs including conditions, enabling the formal interpretation of entire MSC documents.

Психологістична та алгоритмічна складність

English version below Стаття порівнює поняття складності в математичній теорії обчислювальності та в психології інтелекту. Чи є ці складності еквівалентними, чи взагалі можливо їх порівнювати? Яке це значення має для теоріх обчислювальності та штучного інтелекту?Описується концептуальна генеза поняття з деяких філософських проблем епістемічної логіки та класичних проблем філософії математики. Проводиться ретельне порівняння психологістичної складності та існуючих розробок у галузі алгоритмічної складності. Paper in ukrainian "Psychologistic and algorithmic complexity" compares the complexity in psychology and computation theory. Also it studies the consequences for Artificial Intelligence. The conceptual genesis of the problem form some philosophical issues of epistemic logic and classical problems of philosophy of mathematics is described. The complex study of both psychologistic complexity and algorithmic complexity is provided. Paper contains short English summary.