комп это КА, МТ, 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)