Да уж ((( При попытки почитать книги из списка по дизайну (взяла его в контакте Игоря Леонардовича) пренеприятным сюрпризом оказалась стоимость книг в районе 2000 - 3000 ((( И толку с этого скорочтения, чтобы весь список прочесть около 200 тысяч надо, и это только по дизайну...
> вменяемой обширной электронной библиотеки не существует
Хорошие университетские библиотеки обычно закупают очень дорогие книги по специальности. В такие библиотеки может записаться любой желающий, за адекватные деньги.
Мне кажется, что мы говорим об одном. Но следует заметить, как греческие словарь не является математичемким трактатом несмотря на использование букв греческого алфавита, так и использование греческих букв в формулах не делает меня математиком. Как думают и работают математики я не знаю.
Мне представляется, что знание некой математической концепции обеспечивается как минимум одной совокупностью знания других математических концепций; наверняка существуют альтернативные подходы. Формально можно было бы представить как: Концепция_1 получается из Конципции_2, Концепции_3, Концепции_4 ; или { К_2, K_3, K_4 } |-- K_1 , в свою очередь { K_5, K_6, K_7, K_8 } |-- K_2 , { K_5, K_9 } |-- K_3 , etc. Из этого можно построить граф, представляющий знание математики. Некоторые черты просматриваются в гораздо более богатом описании ( #100 ), но я не могу сказать, возможна ли достаточная формализация, которая позволить создать мета-яызк, достаточно богатый и непритиворечивый, для создания полноценной базы знаний.
Подобная форма позволяет распределённое асинхронное заполнение базы знаний, а так же, при условии достаточной полноты базы знаний и соответствующих инструментов обработки знаний, по запросу индивида, выстраивание обеспечивающего суб-графа для конкретной концепции, требующей дополнительного времени на вникание в оную. Если же возвратиться к половине страницы текста, то этот условный объём можно набрать как из одной страницы (К_1), в случае отсутствия невежества обеспечивающих математических концепции,так и их нескольких (K_1, K_2, K_5, ...), если присутствует недостаточное знание обеспечивающих концепций на один или на несколько уровней в глубину. К слову, соответствующие инструменты обработки знаний могут позволить начерно оценить знания обеспечивающих концепций, после чего построить индивидуальный план обучения.
По поводу метода чтения, вспомнилась ссылка http://blog.gde.to/2014/03/write-in-books.html Для себя пакет иероглифов (пока?) не создал; просто системно системно подхожу к отбору литературы, строю планы и веду дневник читателя.
Предлагаю следующий вариант решения проблемы (при условии исключения коррупции правоохранительных органов):
Подготовка:
Издать запрет на размещение таких объявлений и определить наказание - принуждать нарушителя устранять, скажем 20 объявлений за каждое нарушение. нарушитель так же обязан записывать номера других объявлений до чистки (можно фотографии). Списки этих номеров превратятся в базу данных, с которой можно работать.
Действие:
Назначить команды из правоохранительных органов, которые прозванивали бы нарушителей "от лица потенциального клиента", и, назначив встречу, и предлагали бы выбор между щеткой и штрафом.
> Хорошие университетские библиотеки обычно закупают очень дорогие книги по специальности. В такие библиотеки может записаться любой желающий, за адекватные деньги.
>
Теперь про граф стало понятно. Мое мнение, что сделать наверно можно, но смысла в этом нет. Грубо говоря, проблема в том как понять К_i, а на что оно опирается (в формальном смысле, как ребро графа) обычно ясно из книги, лекции, общения с коллегами и учителями. Я думаю любой математик сможет привести историю из своих студенческих лет, когда все предыдущие понятия твердо освоены, а вот смысл нового ускользает. Т.е. формально все определения и теоремы прочитаны, любое доказательсво легко воспроизводится, упражнения решаются, а понимания все равно нет. У меня из таких были: проективное пространство, внешняя алгебра и связность Кошуля. У нескольких людей с которыми я про это говорил таким " сложными" понятиями были группы или, скажем, нормальные подгруппы. Фон Нойман говорил, что понять новое математическое понятие нельзя, можно только привыкнуть. Видимо, играя с ним, находя связи с другими понятиями и убеждаясь в полезности.
В математике, наверно, наиболее отчетливо видна эта фаза "понимания/привыкания", но она ни в коем случае не уникальная для математики. В других областях есть тоже самое, но менее заметно. Например, в программировании, вряд ли цикл или ветвление может вызвать какие-то усилия по освоению, на понятие класса может потребоваться некоторое усилие, на понятия функционального программирования еще чуть больше усилий. Но тут понятие учится один раз, а потом применяется в прикладном аспекте. В таком ключе математика выглядит как развитие и усложнение стандарта языка на протяжении тысячелетий, и достижение математиков состоят в усложнении и расширении языка путем добавление новой полезной конструкции или парадигмы.
Еще одна причина по которой в математике это видно особенно выпукло это особый стиль, который сформировался за последнюю сотню лет. Правилом хорошего тона при написании статей считается максимально сухое и сжатое изложение технических деталей, без мотивировок, примеров и объяснений. Мне кажется, в последние годы это стало меняться в лучшую сторону, но типичный образец это Séminaire de Géométrie Algébrique du Bois Marie. Сочинение на многие тысячи страниц огромной важности в моей области. Такой стиль удобен специалисту, но делает самостоятельное освоение текста студентом в высшей мере трудным занятием.
Возвращаясь к графу и базе данных. В моей области есть одна такая попытка, основанная на тегах: http://stacks.math.columbia.edu/browse Онлайн текст на 5338 страниц и продолжающий рости. Связи легко отследить по ссылкам, но это не решает проблемы сложности каждого отдельного куска. Желающий может посмотреть первые главы 4-8 предварительных сведений, формально не требующие наличия подготовки и оценить стиль, а также скорость с которой это можно читать.
Пожалуй, на концепт базы я смотрел со своей колокольни. Для решения некой задачи мне иногда приходиться вникать в новую для себя дисциплину. Хорошее решение отдельной задачи предполагает достаточные знания дисциплины, что зачастую связано не со всей совокупностью знаний дисциплины, а её частьюю. Однако, не обладая знанием дисциплины, трудно выделить образовательный пакет концепций дисциплины, необходимый для полноценного решения задачи. Трудно понять с чего начинать, много времени уходит на самообразование, в котором для рашения задачи нет необходимости. Характерным примером является написание заявок на многодисциплинарные исследовательские проекты.
Полагаю, фон Нейман говорил о привыкании к совершенно новым концепциям, в качестве примера можно привести концепцию гравитации как искажения пространства. Для менее новых и странных концепций можно найти ассоциации с уже существующими, прочно засевшими в интуитивной части сознания, тем самым привязав к личному фундаменту понимания чего-либо, что позволяет потом обогатить мышление в исследовательской деятельности, о чём, на мой взгляд, говорилось в четвёртом параграфе ( #93 ).
Сфера моих интересов находится гораздо ближе к земле, я работаю и натаскиваю себя на работу с артефактами, для чего выстраиваю универсальную систему понимания нового и выработки ассоциаций. Смысл артефакта определяется её использованием. Использование является зеркальным отображением функции, которая является частью 4D формализма описания артефакта. Смысл позволяет определить семантический и этический аспект атефакта, конструкция и функция (в основном) -- эстетический аспект. Семантика-этика-эстетика позволяет быстро и полно перемещать новый концепт из области непонятного в область понимаемого. Возможно и в математике подобные системы существуют, на мой взгляд, если размещать на одну линию, то ближе к нулю будут находиться свободные ассоциации, за которыми способы из #93.4 , за которыми следуют менее богатые, но и менее рыхлые способы, подобные моему подходу.