Свойства и их абстракции.

[pittite]

kolas в сообщении #382328 писал(а):

Зачем переехали? Вопрос и был открыт в контексте, как данный подход реализуется в физике.

Вопрос не является специфическим для физики. Обсудите с профильным модератором - может, он перенесет в МД.

[kolas]

Munin в сообщении #382414 писал(а):

Фейерабенд пишется через "д", а "коралл" - через "о" и два "л".

Пардон, виноват

Munin в сообщении #382414 писал(а):

Всё решает не время, а конкретные усилия учёных. И для них первичной задачей является исследовать сущности, а не объединить их.

Хм, действительно, похоже на правду. Да и объединять без конца не получиться, все равно упремся в такую абстракцию, которая уже не делимая, наверное.

[Joker_vD]

kolas в сообщении #382454 писал(а):

все равно упремся в такую абстракцию, которая уже не делимая, наверное.

"Сущее". Все, дальше некуда.

[Munin]

kolas в сообщении #382454 писал(а):

Да и объединять без конца не получиться, все равно упремся в такую абстракцию, которая уже не делимая, наверное.

Дело в том, что объединение - не самоцель. Объединение - это способ экономить усилия при изучении разных сущностей. Если нет изучения, то и объединять незачем. Изучать "сущее" нельзя, для этого нет ни конкретных задач, ни конкретных методов. Поэтому такого объединения и не делают.

[kolas]

Munin в сообщении #382461 писал(а):

Объединение - это способ экономить усилия при изучении разных сущностей.

Вот что это за способ, как это происходит? Или это и называется - научная революция?

[kolas]

Кстати, может попробуем здесь составить диаграмму классов свойств и явление физических объектов?

Я начинаю:
твердое тело + жидкость -> конденсированное состояние в-ва
газ + конденсированное состояние -> агрегатные состояния в-ва
агрегатные состояния в-ва + ??? -> атомарная структура

Таких диаграмм получится несколько, просто интересно на это все взглянуть, как они друг с другом собираются.

[kolas]

атомы + элементарная частица -> частица
атом + элементарная частица + эм излучение -> волна
частица + волна -> ???(пока частица_волна)

Здесь вырисовывается такой шаблон как "композит", в проектировании он используется для описания объектов объединенные в иерархии.
Введем знак агрегирования : <>->. Агрегирование значит: объект содержит в себе. Например: агрегатное состояние <>-> атомы, также агрегатное состояние наследует свойства атома: агрегатное состояние + ... -> атомы.
Получается композит, т.е. иерархическая структура:
агрегатное состояние <>-> атомы
агрегатное состояние + ... -> атомы + ... -> частица + волна -> частица_волна
Т.е. мы получили объект агрегатное состояние, как иерархический объект, который наследует свойства частица_волна. Это же конденсат Бозе-Эйнштейна.

[Joker_vD]

Товарищ kolas, у меня такое ощущение, что вы пытаетесь составить "иерархию типов" для реального мира, причем составить "максимально плотную" иерархию — чтоб между любыми двумя типами нельзя было уже вставить промежуточный. Задача, конечно, интригующая, но бесполезная.

[kolas]

Joker_vD в сообщении #382769 писал(а):

чтоб между любыми двумя типами нельзя было уже вставить промежуточный

Почему же нельзя, любая реализация может наследовать несколько абстракций, например:
человек + пароход -> имя
человек + пароход -> барионная материя
человек + пароход -> температура
и тд.

Вообще я в этом топике изложил так называемые принципы объектно-ориентированного дизайна, эти принципы очень гибкие, хотелось бы применить этот подход к физике.

[Munin]

kolas в сообщении #382680 писал(а):

Таких диаграмм получится несколько

Примерно толщиной со стопку учебников - курс физики. Может, не будем дурью маяться?

kolas в сообщении #382692 писал(а):

Т.е. мы получили объект агрегатное состояние, как иерархический объект, который наследует свойства частица_волна. Это же конденсат Бозе-Эйнштейна.

Излишний программизм вредит мозгам. Никакого "наследует свойства" нет. Есть конкретные свойства, с ними надо отдельно разбираться.

-- 02.12.2010 14:51:56 --

kolas в сообщении #382774 писал(а):

Вообще я в этом топике изложил так называемые принципы объектно-ориентированного дизайна, эти принципы очень гибкие, хотелось бы применить этот подход к физике.

Незачем. Физика прекрасно 400 лет жила без ООД, и ещё проживёт. А ООД - очень примитивная поделка, его принципы гибкие, но неглубокие. Извините, физикам ценнее более глубокие принципы, выработанные в недрах их собственной науки: общие законы сохранения, лагранжево описание, симметрии.

[kolas]

Munin в сообщении #382775 писал(а):

Незачем. Физика прекрасно 400 лет жила без ООД, и ещё проживёт.

Кто Вам дал право отвечать за физику?

[Joker_vD]

kolas в сообщении #382774 писал(а):

Вообще я в этом топике изложил так называемые принципы объектно-ориентированного дизайна,

Хочу вас огорчить — общепринятых принципов нет. Нету общепринятой точки зрения ни по наследованию, ни по самому определению того, что такое "объект".

И, кстати, идея "наследования нескольких абстракций" совсем не нуждается в объектных идеях. Haskell поддерживает такое наследование являясь функциональным языком.

[Munin]

kolas в сообщении #382780 писал(а):

Кто Вам дал право отвечать за физику?

Скорее, кто дал вам право наезжать на всю физику?

[kolas]

Joker_vD в сообщении #382786 писал(а):

Хочу вас огорчить — общепринятых принципов нет. Нету общепринятой точки зрения ни по наследованию, ни по самому определению того, что такое "объект".

Да принципов нет, это правда, все определяется тем, насколько полна информация о предметной области, которую мы описываем с помощью ООД. "Объект" в ООД это как раз та абстракция которая неделимая, т.е. самая базовая абстракция.

Munin в сообщении #382820 писал(а):

Скорее, кто дал вам право наезжать на всю физику?

Опять Munin - д`Артаньян. Защитник Вы наш, с чего Вы взяли, что я наезжаю на физику? Ваша паранойя уже до смешного доходит.

А вот пример еще одного композита:
атом <>-> элементарные частицы
атом + элементарные частицы -> цастица_волна

-- Пт дек 03, 2010 10:46:25 --

Joker_vD в сообщении #382786 писал(а):

Haskell поддерживает такое наследование являясь функциональным языком.

Что еще раз доказывает универсальность принципов ООД.

[kolas]

Также можно ввести обобщенный тип, например как принципы. Введем такое обозначение:
принцип<класс явления или свойства>

Пример:
принцип Ле Шателье - Брауна -> действие_порождает_противодействие<термодинамика>
третий закон Ньютона -> действие_порождает_противодействие<механика>