Loading
Портал суфизм.ру | Что такое суфизм? | Суфийский орден Ниматуллахи | Правила поведения на форуме | В помощь начинающим
Четвертый путь | Карта сайтов | Журнал "Суфий" | Контакты | Архив электронного журнала | Архив форума
Отправлено: kopernick от 20 дХТаРЫп 2006, 19:22:40
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."
Персидский суфизм | Антология суфийской поэзии | Энциклопедия духовной культуры | Галерея "Страна Востока"
Издательство "Риэлетивеб" | Джалал ад-Дин Руми | Музыка в суфизме | Идрис Шах | Суфийская игра | Клуб Айкидо на Капитанской
|