вторник, 21 сентября 2021 г.

Символ

Символ что-то символизирует и может о чем-то сигнализировать с нашей потенциальной реакцией. В связи с этой темой надо вроде обратить внимание на "семиотику", но там полностью отсутствует хоть какой-то конструктив. Семиотики как марткетологи, продающие воздух и даже не старающие его, например, очищать. Но в этой части и логики с рассуждениями об обозначении недалеко ушли. Ну да, есть, наблюдаемые нами, объекты и есть их обозначения другими объектами. И что дальше? Кто-то попытался, например, классифицировать их отношения? Говорят ещё о неких объектах, репрезентирующих нашей психикой. Но их никто никогда не видел. Но когда их описывают, то тоже замещают только обозначениями. Мы можем наблюдать объекты и репрезентировать их, описывая только уже свои репрезентации. И делам последнее с помощью сконструированных объектов. И больше здесь и нечего добавить. Отношениях между объектами, их референциями, занимается уже не семиотика.

49. Символ

вторник, 7 сентября 2021 г.

Принцип

Мы либо конструируем - программируем, проектируем, либо вычисляем, выводим, доказываем. В первом случае действуем по принципу "снизу вверх" по лестнице абстрагирования, во втором наоборот, "сверху вниз". Синтез и анализ. Если интеллект - только вычислительная процедура, то это скорее про второе, но рефлексия - точно первое. Но как при этом классифицировать операцию распознавания? Как распознавать сами операции распознавания объекта и его именования? А как конструируются новые имена? Как распознавать процесс моделирования от процесса описания модели и кодирования? Или это один процесс?

47. Принцип

суббота, 28 августа 2021 г.

Рефлесия

"Если долго мучиться, что-нибудь получится ...". Сухо, формально, но тем и лучше. А главная мысль, что она просто рефлекс и мы можем легко избавиться от концептуально перегруженных "мышление" и "сознание".

46. РЕФЛЕКСИЯ

суббота, 21 августа 2021 г.

Тема ТИП

Типизация — классификация, таксономия, семантика, грамматика, спецификация, атрибуция, характеристика, дефиниция, идентификация, параметризация … В программировании, где, прежде всего, парсинг осуществляется с цепочкой символов некоторого алфавита, то количество символов в цепочке — тип. Элементарный тип — номер, индекс, натуральное число (но и позиция тоже определяет тип). Процесс нумерации можно интерпретировать как именование упорядоченных элементов, а само именование как выделение, фиксация. Фактически, типизация, суть абстрагирования или классификации. Поэтому, с одной стороны, любые попытки конструирования теорий типов, привлекают внимание, как метатеория, а с другой, они же демонстрируют, что сам по себе термин ТИП — предельная категория, без которой вполне можно обойтись. То, что понимают под формализмом «тип» теоретики (собственно, сам «формализм»), имеет косвенное отношение к проблеме организации памяти в программировании. Вся политика программирования сводится к вопросу ответственности за приведение к формату протокола, до использования сервиса или сервис должен верифицировать валидность своих параметров. Эти две проблемы следует отделить друг от друга как обозначение и значение. Из теории типов следует, что тип — предикат. Под предикатом в традиционной математике понимают высказывание с характеристикой "истина" и "ложь", а эта конструкция - синтаксический сахар. Нет смысла разделять высказывание, синонимом которого просто предикация или пропозиция. В этом ключе можно было бы считать типы атрибутами, то есть типизацию атрибуцией объекта, если бы мы не классифицировали сами объекты с позиции организации в памяти и определенных операций. Кстати, две эти точки зрения по существу принципиально разные. Типы не нужны, типизация по-существу и есть конструирование абстрактной и гетерогенной структуры и как следствие поиск по ней. Здесь уместно вернуться к изначальным реальным проблемам и их дескрипциям, тупо идентифицировать. Что, когда и зачем. Обычное дело, когда теория оторвалась от практики и превратилась в интеллектуальную игру вместо моделирования реальной практики. А то что предикация описывает по сути отношение, то да ... это по сути функция и в случае "типизации" тоже. А когда функция отображает структуру в структуру, то типизация уже функции становится все равно не понятным.

https://telegra.ph/Tip-08-21

https://t.me/KODIFIKATION/933

https://t.me/KODIFIKATION/921

https://t.me/KODIFIKATION/920

суббота, 14 августа 2021 г.

Параметры и Блоки

Две темы за недельный период. Фронтальные и связанные темы в грамматике и программировании. Фундаментальные, наряду с нумерацией и переходами.

43. Параметр

44. Блок

суббота, 7 августа 2021 г.