2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему На страницу Пред.  1 ... 29, 30, 31, 32, 33, 34, 35 ... 65  След.
 
 Re: Вокруг "Цитатника"
Сообщение30.12.2017, 10:51 
Заслуженный участник
Аватара пользователя


28/04/16
2388
Внутри ускорителя
_Ivana в сообщении #1280045 писал(а):
(Хабр, перевод выступления некоего немолодого американца):

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

 Профиль  
                  
 
 Re: Цитатник dxdy.ru
Сообщение17.01.2018, 09:24 


27/08/16
9426

(Оффтоп)

pogulyat_vyshel в сообщении #1284848 писал(а):
realeugene в сообщении #1284468 писал(а):
то, что утверждение не доказано, является эквивалентным тому, что оно ложное

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

 Профиль  
                  
 
 Re: Цитатник dxdy.ru
Сообщение17.01.2018, 13:47 
Заслуженный участник
Аватара пользователя


01/03/06
13626
Москва
realeugene в сообщении #1284903 писал(а):
В науке презумпция ложности общепринята. В математике (и в формальной логике) её, разумеется, нет, но на то математика и искусство, а не наука.
Так вот почему ученую степень "Д.Ф.-М. Н" собираются переименовывать в "искусствовед-международник"! А мужики-то и не знают... :facepalm:

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение22.01.2018, 03:59 
Модератор


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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение04.02.2018, 23:42 
Аватара пользователя


09/10/15
4227
где-то на диком Западе. У самого синего моря.
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$$


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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение05.02.2018, 02:04 
Заслуженный участник
Аватара пользователя


04/09/14
5003
ФТИ им. Иоффе СПб
fred1996 в сообщении #1290147 писал(а):
Помню, когда появился Алгол, почти тогда же появился Алмир - язык программирования на базе русского.
Не-а. Это язык машины МИР (Машина для Инженерных Расчетов). Я её ещё в живых застал. Вещь для своего времени была исключительная. В нее на аппаратном уровне были вставлены аналитические преобразования выражений. Соответственно, и язык отличался от Алгола. В начале 60-х СССР и США шли более-менее голова в голову на рынке ЭВМ, и на каком языке будут говорить машины тогда было еще не ясно.

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение05.02.2018, 02:24 
Аватара пользователя


09/10/15
4227
где-то на диком Западе. У самого синего моря.
amon

(Оффтоп)

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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение05.02.2018, 06:43 
Заслуженный участник


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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение09.02.2018, 12:27 
Экс-модератор
Аватара пользователя


23/12/05
12046
fred1996 в сообщении #1291324 писал(а):
Dachnik в сообщении #1291271 писал(а):
Для тела в ванне закон Архимеда не работает...

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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение09.02.2018, 13:04 
Заслуженный участник
Аватара пользователя


20/08/14
8062
iifat в сообщении #1290179 писал(а):
Вообще говоря, ключевые слова (в отличие от имён переменных) на родном языке — сомнительный плюс. Помнится, в Японии собирались одно время перевести какой-то язык на японский. Потом отказались: иероглифы, коими ключевые слова как раз и являются, должны быть непонятными, дабы не сбивать человека ненужными ассоциациями.
Эмм... Довольно странно, учитывая, в скольких языках программирования ключевыми являются короткие английские слова ("if", "else", "double"...) либо прозрачные сокращения от них ("int", "var"...).

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение09.02.2018, 13:15 
Заслуженный участник
Аватара пользователя


11/03/08
9490
Москва
fred1996 в сообщении #1290161 писал(а):
Ну да. Помню-помню. Лабораторные нас заставляли считать на этом Мире. Как сейчас помню, одной из задач было - сосчитать матрицу обратную 10x10. Приходилось со стопками перфокарт ездить из Петергофа на ВО


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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение09.02.2018, 13:18 
Заслуженный участник


16/02/13
4105
Владивосток
Anton_Peplov в сообщении #1291357 писал(а):
странно, учитывая, в скольких языках программирования ключевыми являются короткие английские слова
Ну да, англичанам с американцами приходится мучаться. Или вы о чём?

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение09.02.2018, 14:39 
Заслуженный участник
Аватара пользователя


20/08/14
8062
iifat в сообщении #1291360 писал(а):
Ну да, англичанам с американцами приходится мучаться.
Ну да, мазохисты такие. Полвека с лишним язык за языком придумывают и всё время тиражируют мучительное решение. Плачут, колются, но едят кактус.

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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение09.02.2018, 14:46 
Экс-модератор
Аватара пользователя


23/12/05
12046
Anton_Peplov в сообщении #1291382 писал(а):
Мне кажется, реалистичнее версия, что ключевые слова на родном языке существенного дискомфорта не доставляют. А у японцев были какие-то иные мотивы и/или нюансы.

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

 Профиль  
                  
 
 Re: Вокруг "Цитатника"
Сообщение09.02.2018, 16:11 
Заслуженный участник


16/02/13
4105
Владивосток
Anton_Peplov в сообщении #1291382 писал(а):
Ну да, мазохисты такие
Действительно странно. Глядя на историю языков программирования мы видим исключительную продуманность решений. Никаких поспешных решений, не говоря уж об откровенных глупостях, никаких традиций, семь раз отмерь, потом отрежь...
Кстати говоря, касательно
Anton_Peplov в сообщении #1291357 писал(а):
ключевыми являются короткие английские слова
про Кобол не читали? А ведь один из первых.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 972 ]  На страницу Пред.  1 ... 29, 30, 31, 32, 33, 34, 35 ... 65  След.

Модератор: Модераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group