из Вашингтона спрашивают

[juan_gandhi]

"В своё время Питер Нортон сказал, что в СССР была очень сильная математика, поэтому нас ждут очень хорошие успехи в области программирования.

Но если оглядеться, то российских программных продуктов на мировом рынке очень немного. А те, которые вынужденно становятся массовыми (как 1с), восторга не вызывают.

Так в чем здесь проблема? Уровень математики всё же оказался недостаточно высоким?" 

Т.к. я не знаю ответа, могу только языком почесать, то приглашаю желающих. Особенно Дениса, конечно.

Comments

[juan_gandhi]

Небулева логика - это отдельная песня.

Все это делается.

[bowhill]

И что, в небулевой логике будет разрыв между аксиомой и выводом? Не в иллюстрации же дело, это не модель. А иллюстрация в том, как по независящим причинам «аксиоматика» меняется.

[juan_gandhi]

Думаешь, мне интересно спорить на темы логики и теории моделей с человеком, у которого нет знаний, но есть мнение? Нет, не интересно.

У меня был вопрос, как на модели и теорию глядит физика; ты дал вполне удовлетворивший меня ответ; ну и спасибо.

[bowhill]

Знания выглядят иначе.

И я с тобой не спорил, а сказал что в науке и, в своей степени, в жизни, выступает в роли аксиоматики.

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