вопрос оснований математики
и страха перед парадоксами(гильбертовско канторовский рай)

а для конкретных задач формализм не нужен, нужен комп.

(Reply to this) (Parent) (Thread)

>комп
модели в итоге на том же формализме

основания математики имеет смысл относить к философии

(Reply to this) (Parent) (Thread)

не, комп-физическое устройство и не знает аксиом, там ассоциативность, дистрибутивность...
устройство обеспечивающее поток исходов/событий(операций/вычислений).

а модели это программирование от "испорченых формализацией" пользователей.

без оснований математика это религия,
набор провдоподобных рассуждений-наука не точная.

(Reply to this) (Parent) (Thread)

комп это КА, МТ, etc.
физика->математика->выч.метод->код

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

примеры конретных задач: лекарства, графены и т.п.

кстати, можно пример с неадекватностью матстата в КМ?
не понимаю куда конкретно смотреть.

(Reply to this) (Parent) (Thread)

первое, что приходит в голову это расходимости вероятностей(потребность в ренормгруппе).
период полураспада-- времена жизни (метастабильных состояний), ширины спектральных линий, темная энергия...

(Reply to this) (Parent) (Thread)

а при чем тут колмогоров?

(Reply to this) (Parent) (Thread)

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

но ведь он не заставлял никого использовать это...
да и вероятности он не факторизовал до волновых функций

(Reply to this) (Parent) (Thread)

славные же были мудрецы: галилей, гегель, гедель и колмогоров )

(Reply to this) (Parent)

>не, комп-физическое устройство и не знает аксиом, там ассоциативность, дистрибутивность... устройство обеспечивающее поток исходов/событий(операций/вычислений).

и как эта приблуда помогает конкретные задачи решать?
или речь про квантовый комп?

(Reply to this) (Parent) (Thread)

интерпретация
ток есть -0
тока нет -1

(Reply to this) (Parent) (Thread)

ага, транзисторы там всякие.
and, or и т.д.
а дальше что?

(Reply to this) (Parent) (Thread)

дальше-больше
детекторы,датчики, микроскопы, телескопы
подключение к потоку физических событий и попытки его прогноза

неадекватность матстат/теорвер в том, что физическое окружение метастабильно, а не стабильно как предполагается в теории(для "красоты" и удобства),
нету точного определения вероятности, температуры...(нету бесконечности необходимой для их определения)

и прогноз это по сути оценка времени жизни метастабильного состояния,
именно того чего в теории нету(или можно сказать что в теории это время бесконечно)

(Reply to this) (Parent) (Thread)

понятно

правда, так и осталось не ясно, что же хотел сказать автор поста?
видимо, Cassini–Huygens считается бесполезным для народного хозяйства,
либо считается, что это было бы возможно при наличии православных
калькуляторов и какого-то альтернативного состояния науки, техники, экономики, социума.

хорошо хоть, что М-теории не вспомнили.
страшно подумать, какие там выводы можно сделать.
а shafer vovk занятно, почитаем, спасибо.

(Reply to this) (Parent)