Ключевое слово
28 | 02 | 2020
Новости Библиотеки
Шахматы Онлайн
Welcome, Guest
Username: Password: Remember me

TOPIC: Известные учёные и их открытия

Известные учёные и их открытия 23 Сен 2018 09:31 #661

  • инфолиократ
  • инфолиократ's Avatar
Vladimirovich wrote:
Grigoriy wrote:
Там интересны комменты...

Чтобы задать правильный вопрос, надо знать большую часть ответа
Чтобы понять коммент, надо знать большую часть вопроса
:beer:
Осмеливаюсь предположить после вчерашнего,
что сабж ЭТОТ ЗДЕСЬ И СЕЙЧАС
предполагает не только
доказательства
конструирование
обсуждение (осуждение)
аксиом лемм и теорем результата для но и БЕСЕДЫ удовольствия ради (мне, к примеру, пенсионеру, понравилась мысль - не моя- что хорошая беседа - см. беседку- такая, при которой можешь сказать что-то самому-себе неожиданное):
imarodessa

limarodessa's Avatar

Утром в понедельник 24 сентября - подвиг...
и, как выше отмечено, учитывая возраст...
Поэтому, кроме научного подхода
Чтобы задать правильный вопрос, надо знать большую часть ответа
Чтобы понять коммент, надо знать большую часть вопроса
и житейского (злободневнонасущного, типа а все-таки она вертится!), имеет место быть
упрощенно-личностно-привлекательное, типа как не я (не инфолио) считаю
1. что логику (науки) привлекают для того, чтобы ...
2. утверждая, обосновывая, критикуя одно, верифицируя. фальсифицируя другое, занимаясь и спекуляризацией с учетом третьего.
скажу что и физикам и лирикам (теоретикам и прикладникам), может помочь любой дополнительНый "наводящий вопрос "
даже неправильно задающего
и не знающего большей части
как и непонимающего всех-любых комментов.
И особенно актуально это с учетом ЛИНГВИСТИЧЕСКИХ достижений (пройдя по вышеприведенной ссылке зачитался- длиннющая цитата скрыта)
Warning: Spoiler! [ Click to expand ]

Известные учёные и их открытия 23 Сен 2018 21:42 #662

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
поможет ли формализм Бурбаков отсудить замашку сэра Майкла Атьи на бессмертье? ;)
Last Edit: 23 Сен 2018 21:46 by Хайдук.

Известные учёные и их открытия 24 Сен 2018 01:06 #663

  • Grigoriy
  • Grigoriy's Avatar
  • OFFLINE
  • Боярин
  • Posts: 14222
  • Thank you received: 366
  • Karma: 12
Сэр Майкл заработал бессмертие лет 60 назад.

Известные учёные и их открытия 24 Сен 2018 01:27 #664

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
бОльшее второе не помешает :xren:

Известные учёные и их открытия 24 Сен 2018 05:55 #665

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
Утром в понедельник 24 сентября - подвиг...

Ну и ?.. :dontknow:
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)

Известные учёные и их открытия 24 Сен 2018 06:17 #666

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
Хайдук wrote:
поможет ли формализм Бурбаков отсудить замашку сэра Майкла Атьи на бессмертье? ;)
Формализм Бурбаков не является практическим методом, а лишь концептуальной потенциальной возможностью, которая лишает математику всякой эмпиричности, присущей любой другой науке.
:xren:
Каждому - своё.

Известные учёные и их открытия 24 Сен 2018 06:27 #667

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
Vladimirovich wrote:
... является ... концептуальной потенциальной возможностью, которая лишает ... :xren:

хм... первый раз встречаю такую формулировку. Обычно потенциальная возможность что-то может дать, а не лишить чего-то... впрочем, потенциальная возможность пойти на ближайший вокзал предоставила Анне Карениной возможность лишить себя жизни... но там лишение жизни также было возможностью (была возможность и не делать этого)... в формулировке же Владимырыча, если я правильно интерпретирую, потенциальная возможность категорическим образом лишает всякой эмпиричности :dontknow:
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)
Last Edit: 24 Сен 2018 06:27 by limarodessa.

Известные учёные и их открытия 24 Сен 2018 07:09 #668

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
Vladimirovich wrote:
Формализм Бурбаков не является практическим методом, а лишь концептуальной потенциальной возможностью, которая лишает математику всякой эмпиричности, присущей любой другой науке.
:xren:
значит без формализма ложки эмпиричности-дёгтя в бочке математики всё равно будет? :idea:
Last Edit: 24 Сен 2018 07:45 by Хайдук.

Известные учёные и их открытия 24 Сен 2018 07:25 #669

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
limarodessa wrote:
Vladimirovich wrote:
... является ... концептуальной потенциальной возможностью, которая лишает ... :xren:

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

Формализм точного знания и наличие потенциальной возможности пить водку с паюсной икрой и горячими сосисками в томате совершенно оставляет в стороне эмпирические исследования чем лучше закусывать портвейн - палавленым сырком или килькой в томате
:xren:
Каждому - своё.

Известные учёные и их открытия 24 Сен 2018 07:26 #670

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
Хайдук wrote:
Vladimirovich wrote:
Формализм Бурбаков не является практическим методом, а лишь концептуальной потенциальной возможностью, которая лишает математику всякой эмпиричности, присущей любой другой науке.
:xren:
значит без формализма ложки эмпиричности-дёгтя в бочке математики всё равно будет? :idea:
Exactly
Каждому - своё.
Last Edit: 24 Сен 2018 07:46 by Хайдук.

Известные учёные и их открытия 24 Сен 2018 07:44 #671

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
что специально ложку эту составляет?

Известные учёные и их открытия 24 Сен 2018 07:58 #672

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
Vladimirovich wrote:
Формализм точного знания и наличие потенциальной возможности пить водку с паюсной икрой и горячими сосисками в томате совершенно оставляет в стороне эмпирические исследования чем лучше закусывать портвейн - палавленым сырком или килькой в томате
:xren:

Правильно ли я понял что если человек идет по улице и видит открытый чемодан с 1 млн. долл. (то есть у человека есть возможность взять деньги) то вариант того, что он его не поднимет и не унесет совершенно исключен ?
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)
Last Edit: 24 Сен 2018 07:58 by limarodessa.

Известные учёные и их открытия 24 Сен 2018 08:04 #673

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
Хайдук wrote:
что специально ложку эту составляет?
Неявное внесение содержания и физической интерпретации в используемые символы.
Собственно, так обычно и происходит, ибо формализм всегда на практике сокращается до общепринятого математического языка.
Проще, по-видимому, сказать, что можно было бы обойтись без метаматематических рассуждений, если бы формализованная математика была действительно записана: вместо использования „дедуктивных критериев" мы каждый раз вновь начинали бы последовательности операций, которые мы теперь хотим сократить тем, что предсказываем их результат. Но формализованная математика не может быть записана вся полностью, и потому в конце концов приходится питать доверие к тому, что можно назвать здравым смыслом математика,—
доверие, аналогичное тому, которое бухгалтер и инженер, не подозревая о существовании аксиом Пеано, питают к формуле или численной таблице и которое в конечном счете основано на том, что оно никогда- не было подорвано фактами.
Каждому - своё.

Известные учёные и их открытия 24 Сен 2018 10:16 #674

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
автоматизм формул и численной таблицы обеспечивает (практические, то бишь эмпирические и потому в итоге содержательные) безошибочность и точность безусловно эмпирических манипуляций символами/формализмом; разумеется, сама по себе эмпирическая работа формализма бессмысленная и скорее тривиальная, сама является предметом изучения дискретной математикой конечного :yess:
Last Edit: 24 Сен 2018 10:18 by Хайдук.

Известные учёные и их открытия 24 Сен 2018 10:18 #675

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
Британский математик представил доказательство гипотезы Римана. Оно занимает 15 строк

© 2018 N+1
nplus1.ru/news/2018/09/24/riemann-proof

nplus1.ru/

Британский математик сэр Майкл Фрэнсис Атья (Michael Francis Atiyah), лауреат премий Абеля и Филдса, известный своим вкладом в алгебраическую геометрию и топологию, представил на конференции в Гейдельберге доказательство знаменитой гипотезы Римана — одной из семи проблем тысячелетия, которая описывает, как расположены на числовой прямой простые числа. В интернете уже выложен препринт Атьи, большую часть статьи занимает исторический экскурс, само доказательство уместилось в 15 строк. Математическое сообщество в основном скептически отнеслось к заявлению Атьи.

Бернхард Риман сформулировал свою гипотезу почти 150 лет назад — в 1859 году. Она касается распределения простых чисел среди натуральных. Хотя никакой закономерности, которая бы описывала, как часто в числовом ряду появляются простые числа, найти не удалось, Риман обнаружил, что количество простых чисел, не превосходящих x, выражается через распределение так называемых «нетривиальных нулей» дзета-функции.

Гипотеза Римана утверждает, что все нетривиальные нули дзета-функции лежат на вертикальной линии Re=0,5 комплексной плоскости. Гипотеза Римана важна не только для чистой математики — дзета-функция постоянно всплывает в практических задачах, связанных с простыми числами, например, в криптографии.

Майкл Атья утверждает, что нашел очень простое доказательство гипотезы Римана, причем он пришел к нему анализируя проблемы, связанные с постоянной тонкой структуры, а в качестве инструмента использовал функцию Тодда. Для анализа предъявленного доказательства математикам понадобится время, однако многие математики уже утверждают, что оно некорректно.

«Мое поверхностное впечатление от статьи: крайне сомнительно», — рассказал N+1 Евгений Малькович, сотрудник Лаборатории римановой геометрии и топологии Института математики имени Соболева. Он напомнил, что Атья два года назад предложил решение одной из главных проблем дифференциальной геометрии — вопроса о существовании комплексной структуры на шестимерной сфере, которую пытались решать многие геометры, но безуспешно.

«Спустя два года единого мнения о том, верно ли это первое доказательство Атьи, нет. Соответственно, времени на решение гипотезы о нулях дзета-функции Римана у него было два года (хотя, возможно, он занимался этими задачами параллельно). Представить, что в течении нескольких лет 89-летнему математику удалось решить две крупнейшие математические задачи — это надо быть очень оптимистично настроенным, даже восторженным, человеком. Но исключать ничего нельзя, надо всё перепроверять. При этом проверка сложных доказательств — дело отнюдь не быстрое», — говорит Малькович.

Владимир Королев
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)

Известные учёные и их открытия 24 Сен 2018 10:19 #676

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
Вот само доказательство:

https://drive.google.com/file/d/17NBICP6OcUSucrXKNWvzLmrQpfUrEKuY/view
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)

Известные учёные и их открытия 24 Сен 2018 10:34 #677

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
Британский математик представил доказательство гипотезы Римана. Оно занимает 15 строк

© 2018 N+1
nplus1.ru/news/2018/09/24/riemann-proof

nplus1.ru/

Но исключать ничего нельзя, надо всё перепроверять. При этом проверка сложных доказательств — дело отнюдь не быстрое», — говорит Малькович.

Владимир Королев

Ну где справедливость: идеи Петровича может быть тоже нужно перепроверять очень долго, а его без всякой проверки зачислили в злобники :rofl:
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)
Last Edit: 24 Сен 2018 10:34 by limarodessa.

Известные учёные и их открытия 24 Сен 2018 10:39 #678

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
Хайдук wrote:
автоматизм формул и численной таблицы обеспечивает (практические, то бишь эмпирические и потому в итоге содержательные) безошибочность и точность безусловно эмпирических манипуляций символами/формализмом; разумеется, сама по себе эмпирическая работа формализма бессмысленная и скорее тривиальная, сама является предметом изучения дискретной математикой конечного :yess:

Ничего он не обеспечивает
Посчитайте вот безошибочно и эмпирически :)
[tex]\int \frac{sin x}{x} dx[/tex]

Для формализма не существует эмпирики. Это просто подстановки символов.
Схемы же взятия интегралов очевидно "неполны", а посему постоянно требуют добавления спец.функций и поэтому эмпиричны в этом смысле.
И "конечность" Вы тут привязали зря.
Так конечно определение X=X+1 определяет X как бесконечность
Конечность формализма не означает конечность математики, но данное определение создает условия для неполноты аксиоматического базиса подобно аксиомам Пеано
Каждому - своё.

Известные учёные и их открытия 24 Сен 2018 11:18 #679

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
Вот начало сегодняшнего обсуждения на dx dy:

Гипотеза Римана
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)

Известные учёные и их открытия 24 Сен 2018 11:29 #680

  • ))
  • ))'s Avatar
Я обнаружил в статье Атьи русскую букву ж. Это надо же! В ней, надо думать, и прячется ошибка. ))

Известные учёные и их открытия 24 Сен 2018 11:31 #681

  • limarodessa
  • limarodessa's Avatar
  • OFFLINE
  • Доцент
  • Posts: 14129
  • Thank you received: 43
  • Karma: 0
)) wrote:
Я обнаружил в статье Атьи русскую букву ж. Это надо же! В ней, надо думать, и прячется ошибка. ))

Это гендерная дискриминация !!! :angry: Почему есть буква Ж но нет М ? :unsure:
Страсти - это ветры, надувающие паруса корабля, иногда они его топят, но без них он не мог бы плавать. (Вольтер)
Last Edit: 24 Сен 2018 11:32 by limarodessa.

Известные учёные и их открытия 25 Сен 2018 17:41 #682

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
Vladimirovich wrote:
Для формализма не существует эмпирики. Это просто подстановки символов.
по-видимому, вкладываем разное содержание в слово эмпирика: действительно, сами по себе подстановки символов достаточно самоцельны и бессмысленны, дабы не заметить полного отсутствия отношения к какому-либо содержанию, включительно эмпирическому; с другой стороны, очевидно, что операции с конечным числом (графических или пиксельных) символов суть эмпирические факты и комбинаторика, поиск в линейных текстах и другие приёмы дискретной математики могут поиметь место быть.

Vladimirovich wrote:
Ничего он [автоматизм формул] не обеспечивает
Посчитайте вот безошибочно и эмпирически [некий интеграл]
из-за бесконечности (и даже несчётности) мат. объектов никакого конечного множества физико-эмпирических символов не хватит, конечно, но зато численные методы на базе безошибочного и сколь угодно точного автоматизма (!) той же численной таблицы могут вычислить любые интегралы, решения дифференциальных уравнений и пр.

Vladimirovich wrote:
конечное определение X=X+1 определяет X как бесконечность. Конечность формализма не означает конечность математики, но данное определение создает условия для неполноты аксиоматического базиса подобно аксиомам Пеано
я не уверен в чём причина неполноты, но бесконечная арифметика лишь сложения Пресбургера непротиворечива и должно полнА :glasses:
Last Edit: 25 Сен 2018 17:42 by Хайдук.

Известные учёные и их открытия 25 Сен 2018 17:52 #683

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
Хайдук wrote:
с другой стороны, очевидно, что операции с конечным числом (графических или пиксельных) символов суть эмпирические факты и комбинаторика
Очевидно, что нет. N=N+1 это опровергает

Хайдук wrote:
из-за бесконечности (и даже несчётности) мат. объектов никакого конечного множества физико-эмпирических символов не хватит, конечно, но зато численные методы на базе безошибочного и сколь угодно точного автоматизма (!) той же численной таблицы могут вычислить любые интегралы, решения дифференциальных уравнений и пр.
Численные методы не являются никаким доказательством чего-либо, ибо нуждаются как минимум в доказательстве сходимости, которое может быть чисто эмпирическим, не более

Хайдук wrote:
я не уверен в чём причина неполноты, но бесконечная арифметика лишь сложения Пресбургера непротиворечива и должно полнА :glasses:
Я не в курсе математики Пресбургера. Видимо разница где-то в глубинах принципа индукции, но я не в курсе
Каждому - своё.
Last Edit: 25 Сен 2018 19:38 by Хайдук.

Известные учёные и их открытия 25 Сен 2018 19:46 #684

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
Vladimirovich wrote:
Численные методы не являются никаким доказательством чего-либо, ибо нуждаются как минимум в доказательстве сходимости, которое может быть чисто эмпирическим, не более
да как же чисто эмпирическим, это неслыханно - кто бы широко применял эти методы везде и во всех критически важных расчётах, если сходимость эта не была строго доказанной? :O
Last Edit: 25 Сен 2018 19:47 by Хайдук.

Известные учёные и их открытия 26 Сен 2018 05:43 #685

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
Хайдук wrote:
Vladimirovich wrote:
Численные методы не являются никаким доказательством чего-либо, ибо нуждаются как минимум в доказательстве сходимости, которое может быть чисто эмпирическим, не более
да как же чисто эмпирическим, это неслыханно - кто бы широко применял эти методы везде и во всех критически важных расчётах, если сходимость эта не была строго доказанной? :O
Как она может быть везде строго доказанной для сложных случаев? :O
Иногда это получается, иногда нет. Для МКР например сильно зависит от выбранного базиса, а выбор базиса это чиста эмпирика. И т.д.
Каждому - своё.

Известные учёные и их открытия 26 Сен 2018 05:52 #686

  • ))
  • ))'s Avatar
Кто тут из вас двоих известный ученый? Сразу оба?

Известные учёные и их открытия 26 Сен 2018 06:14 #687

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
мы не говорим о физике, где в сложных случаях даже нет моделей, часто считают наугад, авось получится; говорим о мат. объектах как интегралах, дифурах и пр., чьих решений существование заведомо/строго установлено, но символической записи нет; она и не нужна, поскольку численная аппроксимация может неуклонно подойти сколь угодно близко; для того и нужен безошибочный автоматизм численного формализма, дабы отличить малюсенькие (но иногда критические) количественные отличия, которых на глаз не заметишь :yess:

Известные учёные и их открытия 26 Сен 2018 06:36 #688

  • Vladimirovich
  • Vladimirovich's Avatar
  • OFFLINE
  • Инквизитор
  • Posts: 83597
  • Thank you received: 1222
  • Karma: 56
Хайдук wrote:
говорим о мат. объектах как интегралах, дифурах и пр., чьих решений существование заведомо/строго установлено, но символической записи нет
Я не понимаю, что значит "символической записи нет". Нет записи, не о чем говорить
Что же касается "заведомо/строго установлено", установите это строго для уравнения Навье-Стокса и получите 1 лям баксов :)
Каждому - своё.

Известные учёные и их открытия 26 Сен 2018 06:57 #689

  • сам-пят
  • сам-пят's Avatar
  • OFFLINE
  • Боярин
  • Posts: 1046
  • Thank you received: 23
  • Karma: 3
Позволю себе прервать вас и вернуться к знаменитой гипотезе Римана. В связи с заявкой Атьи на ее доказательство я обратил внимание, что написано о дзета-функции в "Математической энциклопедии" (1977-85 гг.) в духе правила 4 + 1.

quantoforum.ru/science/2536-pravilo-4-1?start=510#439691
"Позвольте, товарищ, у меня все ходы записаны!"

Известные учёные и их открытия 26 Сен 2018 07:03 #690

  • Хайдук
  • Хайдук's Avatar
  • OFFLINE
  • Наместник
  • Posts: 39604
  • Thank you received: 89
  • Karma: 24
ну, всем известно, что многих интегралов наподобие Вашего [tex]\int \frac{sin x}{x} dx[/tex] нельзя записать формулами, но зато можно заведомо вычислить со сколь угодной точностью без никаких проблем - потому что они есть как мат. объект и нехватка обычных мат. символов для их записи совершенно их не колышет; разумеется, мы можем выдумать дополнительные символы для них специально, но пользы от этого не будет.

важно, что можем вычислять числа е и пи, сами означения "е" и "пи" совершенно пренебрежимы и ничтожны :tired:
Last Edit: 26 Сен 2018 07:06 by Хайдук.
Рейтинг@Mail.ru

Научно-шахматный клуб КвантоФорум