bo_ba's Journal
[Most Recent Entries]
[Calendar View]
[Friends View]
Wednesday, March 2nd, 2005
Time |
Event |
10:55p |
все-таки Миша бывает хорошим Математические науки бывают условно двух типов. Для какой-то области, чтобы нечто понять, нужно сначала изучить сто томов гениальных предшественников. Особенно этим характерна алгебраическая геометрия и дифференциальная. Типа одно большое здание-небоскреб, и с фундаментом, уходящим на столько же вниз. Другой полюс - наука состоит из набора связанных друг с другом, но независимых результатов, и чтобы читать работы, достаточно образования на уровне матшколы и знакомства с терминологией. Примеры называть не буду, ибо симпатии мои на стороне тех наук, которые похожи на небоскреб, а не тех, которые похожи на караван-сарай.зы. а конференция хорошая и похожа на обычные конференции в естественных науках, хотя компьютер-сайенс - это целиком караван-сарай, а не небоскреб, особенно этот опен-сорс. К тому же они сами именно так себя и квалифицируют, базар. Против собора. И дальше, о том, что наука - это по сути создание языка. Гротендик писал, что понимание науки наступает, когда люди находят понятийную базу, в которой никаких доказательств уже не надо - все содержательные результаты более-менее сразу вытекают из определений.зы. компьютерная наука, кажется, сосредоточила все свои усилия на второй конечной части этого языкообразующего процесса - она создает определения, для которых не требуется предварительного усилия доказывания. из отсутствия первой части словотворчества и вытекает ее "базарность" и фундаментальная ущербность. многие утверждают, что слово "наука" должно быть вообще выброшено из этого бинарного сочетания или употребляться с большой осторожностью. |
|