May 6th, 2010

kurit

кстати о бритвах

А вот об этом я раньше не слышал:

http://fat-yankey.livejournal.com/93861.html

Слова "Entia non sunt multiplicanda, praeter necessitatem" Оккаму не принадлежат. Впервые появились они в комментарии 17 века к Иоанну Дунсу Скотту, а Оккаму приписаны и того позже, в 19м. Причем смысл их совсем был не тот, что сейчас. Когда знатный номиналист Оккам говорил (хоть и другими словами) "не умножай сущности без необходимости", он имел в виду отрицание реальности общих понятий ("идеальных сущностей" (якобы) Платона).

Я, как твердый противник номинализма и почитатель бритвы Оккама, могу всю эту путаницу только приветствовать. Реализм торжествует, хоть и таким кривым путем.
kurit

картинки

Математики работают визуально, но затем выдают результаты в виде канонически предписанной смеси естественно-языковых текстов и алгебраических/логических выражений. Мало кто занимался попытками отмоделировать то, что у крутых математиков происходит во время мыслительного процесса "в голове" с целью затем создать нотацию на основе выявленных образов. А ведь это было бы очень интересно!
( http://ailev.livejournal.com/831024.html )

Абсолютно согласен. А если картинка не возникает, то полный затык, даже читать невозможно: "каноническая смесь" так и остается цепочкой символов, скучных и ненужных. В свое время я из-за этого сбежал из классификации конечных простых групп на обочину, к разглядыванию конкретных групп, а потом и вовсе в графы. Недавно попробовал заглянуть - опять не вышло. Так никогда и не узнаю, почему группы нечетного порядка разрешимы.