Кажется, что за ООП стоит формализм сессионных типов, которым в мире математики соответствуют субструктурные логики (в частности линейная логика). Из пруфов есть ссылка на слова профессора CMU, который преподает и публикуется по озвученным направлениям th-cam.com/video/VPP8dD2n_wE/w-d-xo.html :)
Есть очень интересная концепция, что существует всего 3 предельно обобщающих понятия: Материя, Информация и Мера. Таким образом можно сказать, что "Материя преОбразуется по Мере развития". А Энергия - это всего лишь частный случай переходного состояния материи.
энергия это мера интенсивности движения. данные это информация с нулевой ценностью. движение материи турбулентно, в результате чего формируются структуры элементарных частиц. Естественно упорядочивание материи несет в себе определенную информацию.
Без субъекта информация не бывает. Человек делает выбор. Ценность этой инфы определяется количеством тех кто ею владеет. Мера неопределенности это количество инфы. мера инфы это выбор уменьшающий неопределенность вдвое. т.е. если у нас 2 варианта и мы выбрали один, то имеется 1 единица инфы, т.е. бит. См. лекцию по Динамической теории информации Чернавский Дмитрий Сергеевич.
Последнее время вертится мысль, что в основе программы лежат структуры данных. т.е. чтобы разработать программное решение, нужно сначала выделить структуры данных. имея их легко понять как ими можно манипулировать.
Кажется, что за ООП стоит формализм сессионных типов, которым в мире математики соответствуют субструктурные логики (в частности линейная логика). Из пруфов есть ссылка на слова профессора CMU, который преподает и публикуется по озвученным направлениям th-cam.com/video/VPP8dD2n_wE/w-d-xo.html :)
Есть очень интересная концепция, что существует всего 3 предельно обобщающих понятия: Материя, Информация и Мера. Таким образом можно сказать, что "Материя преОбразуется по Мере развития". А Энергия - это всего лишь частный случай переходного состояния материи.
энергия это мера интенсивности движения. данные это информация с нулевой ценностью. движение материи турбулентно, в результате чего формируются структуры элементарных частиц. Естественно упорядочивание материи несет в себе определенную информацию.
По ДТИ определение Касплера: Информация это запомненный выбор одного из N возможных и равноправных значений.
Информация - это смысл! И точка. :)
Без субъекта информация не бывает. Человек делает выбор. Ценность этой инфы определяется количеством тех кто ею владеет. Мера неопределенности это количество инфы. мера инфы это выбор уменьшающий неопределенность вдвое. т.е. если у нас 2 варианта и мы выбрали один, то имеется 1 единица инфы, т.е. бит. См. лекцию по Динамической теории информации Чернавский Дмитрий Сергеевич.
в закладки
Последнее время вертится мысль, что в основе программы лежат структуры данных. т.е. чтобы разработать программное решение, нужно сначала выделить структуры данных. имея их легко понять как ими можно манипулировать.
По мимо структуры ещё есть и поведение
Для того чтоб сделать конечный не делимый программой элемент, одной лиж структуры будет не достаточно