Loading

Портал суфизм.ру | Что такое суфизм? | Суфийский орден Ниматуллахи | Правила поведения на форуме | В помощь начинающим
Четвертый путь | Карта сайтов | Журнал "Суфий" | Контакты | Архив электронного журнала | Архив форума

Автор Тема: доказывать стало сложнее  (Прочитано 1275 раз)

0 Пользователей и 1 Гость просматривают эту тему.

kopernick

  • Бодхисаттва
  • *******
  • Сообщений: 3626
  • Reputation Power: 22
  • kopernick barely matters.kopernick barely matters.
    • Просмотр профиля
    • http://www.sufism.ru
доказывать стало сложнее
« Ответ #1 : 20 дХТаРЫп 2006, 19:22:40 »
Mathematical proofs getting harder to verify
http://www.newscientist.com/channel/fundamentals/dn8743.html

Любопытная статья о том, что даже в такой точной науке как математика становится меньше абсолютно точных и точно верифицируемых данных. Причина этого - возрастание сложности и объема доказательств, которые все труднее проверять.


Цитировать
As an example, he points to the Classification of Finite Simple Groups, a claimed proof announced in 1980 that resulted from a collaboration in which members of a group each contributed different pieces. "Twenty-five years later we're still not sure if it's correct or not. We sort of think it is, but no one's ever written down the complete proof," Devlin says. Part of the difficulty is the computer code used nowadays to construct proofs, says Thomas Hales, at the University of Pittsburgh, Pennsylvania, US, as this makes the proofs less accessible, even to experts.



Цитировать

And Devlin adds that all of this uncertainty about new proofs could be good for the discipline of maths: "It makes it more human."
"...и козлов Я накажу" (Захария 10:3)

 

Персидский суфизм | Антология суфийской поэзии | Энциклопедия духовной культуры | Галерея "Страна Востока"
Издательство "Риэлетивеб" | Джалал ад-Дин Руми | Музыка в суфизме | Идрис Шах | Суфийская игра | Клуб Айкидо на Капитанской

Rambler's Top100 Rambler's Top100