Вокруг "Цитатника"

[madschumacher]

_Ivana в сообщении #1280045 писал(а):

(Хабр, перевод выступления некоего немолодого американца):

Ну да, всего-то Р.Хэмминга, одного из имён, присутствующих в теории информации и теории связи, вместе с другими неизвестными учёными, типа Клода Шеннона и Алана Тьюринга...

[realeugene]

(Оффтоп)

pogulyat_vyshel в сообщении #1284848 писал(а):

realeugene в сообщении #1284468 писал(а):

то, что утверждение не доказано, является эквивалентным тому, что оно ложное

Простите, что именно вам в этой фразе показалось смешным? Это совершенно серьёзное утверждение означает презумпцию ложности. В науке презумпция ложности общепринята. В математике (и в формальной логике) её, разумеется, нет, но на то математика и искусство, а не наука.

[Brukvalub]

realeugene в сообщении #1284903 писал(а):

В науке презумпция ложности общепринята. В математике (и в формальной логике) её, разумеется, нет, но на то математика и искусство, а не наука.

Так вот почему ученую степень "Д.Ф.-М. Н" собираются переименовывать в "искусствовед-международник"! А мужики-то и не знают...

[Modest]

Обсуждение цитаты о презумпции ложности и последующая дискуссия о научности математики отделены в «Критерий Поппера и научность математики».

[fred1996]

alesha_popovich в сообщении #1290001 писал(а):

EtCetera в сообщении #1289925 писал(а):

Это какие-то полумеры. Давно пора уже использовать русский язык повсеместно в науке и технике:

$$\operatorname{\text{син}}^2\textit{а}+\operatorname{\text{кос}}^2\textit{а}=1$$

$$\textit{э}^{\textit{ме}\cdot \textit{а}}=\operatorname{\text{кос}}\textit{а}+\textit{ме}\cdot\operatorname{\text{син}}\textit{а}$$

$$\textit{э}^{\operatorname{\text{нл}}\textit{а}}=\textit{а}$$

$$\operatorname{\text{лог}}_{\textit{в}}(\textit{а}\cdot\textit{б})=\operatorname{\text{лог}}_{\textit{в}}\textit{а}+\operatorname{\text{лог}}_{\textit{в}}\textit{б}$$

$$\textit{С}=\textit{Г}\frac{\textit{м}_1\textit{м}_2}{\textit{р}^2}$$

$$2\text{На}\text{Бр}+\text{Хл}_2\rightarrow 2\text{На}\text{Хл}+\text{Бр}_2$$

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

[amon]

fred1996 в сообщении #1290147 писал(а):

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

Не-а. Это язык машины МИР (Машина для Инженерных Расчетов). Я её ещё в живых застал. Вещь для своего времени была исключительная. В нее на аппаратном уровне были вставлены аналитические преобразования выражений. Соответственно, и язык отличался от Алгола. В начале 60-х СССР и США шли более-менее голова в голову на рынке ЭВМ, и на каком языке будут говорить машины тогда было еще не ясно.

[fred1996]

amon

(Оффтоп)

Ну да. Помню-помню. Лабораторные нас заставляли считать на этом Мире. Как сейчас помню, одной из задач было - сосчитать матрицу обратную 10x10. Приходилось со стопками перфокарт ездить из Петергофа на ВО

[iifat]

amon в сообщении #1290159 писал(а):

на каком языке будут говорить машины

Вообще говоря, ключевые слова (в отличие от имён переменных) на родном языке — сомнительный плюс. Помнится, в Японии собирались одно время перевести какой-то язык на японский. Потом отказались: иероглифы, коими ключевые слова как раз и являются, должны быть непонятными, дабы не сбивать человека ненужными ассоциациями.

[photon]

fred1996 в сообщении #1291324 писал(а):

Dachnik в сообщении #1291271 писал(а):

Для тела в ванне закон Архимеда не работает...

Конечно, не работает - он там отдыхает.

[Anton_Peplov]

iifat в сообщении #1290179 писал(а):

Вообще говоря, ключевые слова (в отличие от имён переменных) на родном языке — сомнительный плюс. Помнится, в Японии собирались одно время перевести какой-то язык на японский. Потом отказались: иероглифы, коими ключевые слова как раз и являются, должны быть непонятными, дабы не сбивать человека ненужными ассоциациями.

Эмм... Довольно странно, учитывая, в скольких языках программирования ключевыми являются короткие английские слова ("if", "else", "double"...) либо прозрачные сокращения от них ("int", "var"...).

[Евгений Машеров]

fred1996 в сообщении #1290161 писал(а):

Ну да. Помню-помню. Лабораторные нас заставляли считать на этом Мире. Как сейчас помню, одной из задач было - сосчитать матрицу обратную 10x10. Приходилось со стопками перфокарт ездить из Петергофа на ВО

Так у вас "МИР-3" был? Их же вроде совсем мало сделали.

[iifat]

Anton_Peplov в сообщении #1291357 писал(а):

странно, учитывая, в скольких языках программирования ключевыми являются короткие английские слова

Ну да, англичанам с американцами приходится мучаться. Или вы о чём?

[Anton_Peplov]

iifat в сообщении #1291360 писал(а):

Ну да, англичанам с американцами приходится мучаться.

Ну да, мазохисты такие. Полвека с лишним язык за языком придумывают и всё время тиражируют мучительное решение. Плачут, колются, но едят кактус.

Мне кажется, реалистичнее версия, что ключевые слова на родном языке существенного дискомфорта не доставляют. А у японцев были какие-то иные мотивы и/или нюансы.

[photon]

Anton_Peplov в сообщении #1291382 писал(а):

Мне кажется, реалистичнее версия, что ключевые слова на родном языке существенного дискомфорта не доставляют. А у японцев были какие-то иные мотивы и/или нюансы.

Восток - дело тонкое: может, у других не доставляют, а у них - доставляют.

[iifat]

Anton_Peplov в сообщении #1291382 писал(а):

Ну да, мазохисты такие

Действительно странно. Глядя на историю языков программирования мы видим исключительную продуманность решений. Никаких поспешных решений, не говоря уж об откровенных глупостях, никаких традиций, семь раз отмерь, потом отрежь...
Кстати говоря, касательно

Anton_Peplov в сообщении #1291357 писал(а):

ключевыми являются короткие английские слова

про Кобол не читали? А ведь один из первых.