Модально-темпоральная логика на временном континуу

Сообщение №12561 от Van 05 августа 2002 г. 05:18
Тема: Модально-темпоральная логика на временном континуу

Пришло время перемен. После долгих десяти лет трудов группы ученых готова модально-темпоральная логика на временном континууме. Она поможет как профессиональным физикам так и экономистам и психологам в построении модально
темпоральных моделей реальности.
Суть ее в следующем. Вместо обычных предикатов рассматриваются предикаты, зависящие от времени, добавляются несколько связок и кванторов. Например, добавляется квантор "по всем переменным". Данная логика призвана решить проблему
Гильберта аксиоматизации физики. Для более подробного ознакомления с материалами
диссертации необходимо обратиться в ГПНТБ РАН. Название диссертации:
"О некоторых аспектах модально-темпоральной логики на временном континууме".
Автор: Вайнштейн Петр Адольфович.


Отклики на это сообщение:

> Пришло время перемен.

Ну,... допустим

>После долгих десяти лет трудов группы ученых

А защищался ОДИН ученый?

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

Формальная логика вроде бы инвариантна относительно интерпретаций в предметной области.
"Время" как еще одну переменную рассматривать нельзя? Вместо n-местных предикатов ассматривать (n+1) местные?
Что собственно нового сделано для логики?

>добавляются несколько связок и кванторов. Например, добавляется квантор "по всем переменным".

А то же самое, но несколько кванторов навесить? По всем переменным.
Или в Вашей "логике" ЗАПИСЬ формул короче?

>Данная логика призвана решить проблему
> Гильберта аксиоматизации физики.

Ну каковы виды на успех? Или он уже пришел?

>Для более подробного ознакомления с материалами
> диссертации необходимо обратиться в ГПНТБ РАН.

ГПНТБ России (не РАН!) или ГПНТБ СО РАН?

> Название диссертации:
> "О некоторых аспектах модально-темпоральной логики на временном континууме".
> Автор: Вайнштейн Петр Адольфович.

Далеко от меня ГПНТБ (обе!).
А ссылки на публикации можно?
А где и когда была защита?
Специальность, оппоненты?
Утвердили?


Физика в анимациях - Купить диск - Тесты по физике - Графики on-line

Реклама:
Rambler's Top100