16
т.д. Во многих случаях вопрос о предпочтении того или иного варианта
остается открытым. Поэтому выбор математического аппарата - акт
генерации ценной условной информации.
В принципе математика - аксиоматизированная область знаний, что
делает ее единой наукой, имеющей свою логическую структуру. Идеал
языка такой науки - это система правил оперирования со значками.
Чтобы задать "исчисление", необходимо составить алфавит первичных
элементов - знаков, задать начальные слова исчисления, построить
правила получения новых слов. Математическая мысль и система кодов
неразделимы. Символы имеют для математика принципиальное
значение. Так, методологические установки Гильберта согласно Клини
основаны на том, что символы сами по себе являются окончательными
предметами и не должны использоваться для обозначения чего-либо,
отличного от них самих.
Математическое знание содержится в кратких высказываниях -
математических структурах. Возникает вопрос: содержат ли новую
информацию доказательства теорем? Вопрос не тривиален. С одной
стороны, доказательство теорем приводится как классический пример
творчества (то есть генерации информации). С другой стороны, теорема
- следствие аксиом и, следовательно, не содержит новой (по сравнению
с аксиомами) информации. Доказательство теоремы есть извлечение
ценной информации из аксиом, то есть рецепция. Тем не менее,
творческий элемент при доказательстве теорем, конечно, присутствует.
Он связан с выбором пути доказательства. Как правило теорема может
быть доказана несколькими способами. Выбор наиболее простого и
доступного пути - генерация ценной информации.
Третье. Наиболее интересным и острым остается вопрос об условности
(или безусловности) информации в естественных науках. Принято
думать, что, изучая природу, мы рецептируем безусловную, вполне
объективную информацию. Это действительно так, если речь идет об
экспериментальных качественных результатах.
Например, информация о том, что одноименные заряды отталкиваются,
а разноименные притягиваются, является безусловной. Математическое
описание этого явления в виде закона Кулона было сформулировано на
определенном языке (векторной алгебре). Выбор языка (кода) всегда
условен. Можно было бы описать это явление на языке дискретных
множеств или игр автоматов. Поэтому выбор математического языка -
пример генерации условной информации.
Научное творчество в области естественных наук содержит два
необходимых элемент
а: рецепцию безусловной информации от природы
и генерацию условной (теоретической) информации. Успех зависит от
того, в какой мере выбранный алгоритм описания уже принят в научном
сообществе, то есть от тезауруса этого сообщества.