Фонд замечательных оффтопиков
Предлагаю создать сабж, куда будут складываться троллиинтересные удаленные документы и комменты. Например, это, это или это. А то жалко.. =))
P.S. Не автор.
P.P.S. Как определить из какого топика был удален коммент?
комментариев: 9796 документов: 488 редакций: 5664
Ранее упоиналась упоминалась картинка про робота Фортрана, она в тему.
Вопрос не такой простой. Это вопрос о том, чем качественный текст отличается от некачественного. По нему можно отдельную статью написать или взять конкретный пример и сделать его полный разбор, но я быстро такой яркий пример не нашёл, поэтому ограничусь теорией.
Есть очень много литературы на эту тему, но я её читал мало и чаще действую по натитию. Из того, что недавно попалось на глаза — статья Годрайха «How to write a paper». Вообще, в интернете есть масса статей на эту тему. У меня сложилось такое впечатление, что любой состоявшийся специалист рано или поздно пишет что-то подобное либо в блог, либо в мемуары, либо в какой-нибудь Magazine, потому что это то, от чего устаёшь в жизни больше всего — от информационного мусора, с которым вынужден иметь дело. Даже уважаемые авторы часто оформялют свои статьи и работы в виде настолько несвязного текста, что хватаешься за голову.
Я не буду сейчас говорить о проблемах больших статей и книг — это отдельная тема, и там есть свои особенности, да и на тему «как правильно писать книги» пишут целые книги. Возьмём простой текст из нескольких предложений, как раз соответствующий форумным комментариям. Если он написан почти идеально, его структура — это искажённая, обезличенная, неформальная, но всё же структура доказательства какой-то теоремы, утверждение которой — то, что до нас хочет донести автор комментария. Трудно объяснить что-то формальное тому, кто никогда не читал математические доказательства, не придумывал свои, не искал протечки в чужих доказательствах, но я всё же попытаюсь.
Есть один единственный предмет в школе, который преподаётся аксиоматически (не знаю, почему, но так сложилось) — это геометрия. На её примере проще всего объяснить, что такое формальная теория. Итак, в основе теории лежат определения (или, как их ещё иногда называют, аксиомы) и неопределяемые понятия. Я не хочу сейчас вдаваться в тонксти родства теорий, вывода одного из другого и так далее — это неминуемо приведёт к бурбакизму и затуманит мысль. Будем упрощённо считать, что неопределяемые понятия берутся с потолка и жизненного опыта. В школьной геометрии это, например, понятия точки и прямой. Базовые определения (аксиомы) задают соотношения между неопределяемыми понятями — это постулаты, которые берутся как обобщение жизненного опыта. Цель теории — сделать аксиомы полными (достаточными для нужд теории), непротиворечивыми и неизбыточными (никакая аксиома не должна следовать из других).
Мы имеем аксиомы и неопреляемые понятия. Это каркас теории. Можно сказать, что они задают теорию, потому что после их фиксирования всё остальное из них следует, т.е., может быть показано, что любой факт можно «вывести» (доказать), опираясь на систему аксиом. Это так не только в геометрии, но и, например, в теоретической физике (из законов Ньютона следует вся классическая механика, а из законов термодинамики следует вся термодинамика, если говорить совсем по-школьному).
Естественно, что неопределяемые понятия — простые вещи, как и аксиомы, потому что сложно было бы работать с теорией, если бы это было не так, ведь наша цель — упростить описание мира: чем проще он будет объяснён, при прочих равных, тем лучше. Однако, многие объекты, с которыми нам приходится иметь дело, достаточно сложны, как и их свойства, поэтому непосредственно выводить всё из аксиом и неопределяемых понятий было бы крайне сложным (да и ненужным). Вместо этого создаётся иерархия: вначале доказывается ряд простых свойств и вводятся определения новых простых объектов. Далее на основе уже доказанных свойств и новых определений вводятся другие определения (объекты) и свойства, ещё более сложные, и так почти что до бесконечности. Например, после понятия точки и прямой вводят понятия отрезка. Из отрезков составляют простейшие фигуры на плоскости: треугольники, квадраты. Потом переходят из двумерного пространства в трёхмерное и рассматривают фигуры типа пирамид и шаров (здравствуй, капча). Затем можно перейти в n-мерное пространство и рассматривать те же шары, пирамиды (симплексы) в нём (капча, ты где?). Доказанные свойства треугольников используются для доказательства свойств сечений пирамиды плоксостью, а свойства параллелограммов — для доказательства свойств параллелепипедов. Это примерная логическая структура, которая стоит за любой формальной теорией.
Есть ряд существенных осложнений, возникающих из-за того, что не любое знание является формальной теорией, но люди стремятся построить формальную теорию любого знания. Чем более формальная (ещё говорят «аксиоматическая») теория построена, тем лучше понимание вопроса, лучше понимание связи между разными объектами теории и их свойствами. Некоторые теории зарождаются на наших глазах, но всё ещё далеки от завершения — например, теория анонимных сетей. Разные науки в разной степени соответствуют формальным теориям, а полностью не соответствует ни одна, даже сама математика. В порядке убывания «формальности» знания идут примерно так: математика; теоретическая физика; теоретическая экономика и финансовый анализ; химия и физика; биология; теоретическая лингвистика, социология, политология, филология. Политоту не любят, потому что она в конце списка. Это означает, что есть спекуляции, но нет ничего строго доказуемого.
Теперь я могу вернуться к понятию форумного поста как элемента доказательства какой-то теоремы. Посты пишутся не про математические объекты, поэтому границы того, что считать ранее доказанными теоремами и уже известными понятиями (и их свойствами) слишком расплывчаты. Тем не менее, в рамках компетентных специалистов даже в гумманитарных науках есть нечто, что принимается как за известные факты, так и за следствия известных фактов. Форумный пост — доказательство, вывод чего-то нового из ранее известного. Любое доказательство можно представить в виде логической схемы. Пусть утверждения (свойства) обозначаются буквами A, B и т.д., а следствие одного из другого — знаком логического следствия «⇒», тогда доказательство имеет какую-то логическую структуру типа:
Обратите внииание, что
Так вот, отличие технаря от гумманитария состоит в том, что технарии, из-за профессиональной деформации, даже посты в интернете пишут формальным языком, поскольку именно им достигается главная цель формализма:
- Передать тот смысл, который хотел сказать.
- Не быть превратно понятым читателем (не будет передан тот смысл, который передавать не было цели, т.е., оно не имелось в виду).
- Передать всю мысль полностью во всём её многообразии, но не добавлять ненужных паразитных смыслов, т.е. высказаться точно, полно и конкретно. Т.е., так, как будто это предназначено к выгравированию на камне.
Когда один технарь читает другого, он видит за каждым постом структуру доказательства с чёткими утверждениями и чёткими логическими связами, он понимает, из-за чего в тексте столько паразитных слов (иначе пришлось бы излагать в терминах кванторов), но у гумманитарных текстов такой структуры нет. Иногда последние всё же понятны, если всё легко сводится к здравому смыслу, но чем более сложные вещи обсуждаются, тем труднее понять, что они хотели сказать: вместо доказательства имеем «поток сознания» без знаков препинаний, без делёжки на утвреждения, а про связи между ними даже говорить не приходится.Одна из причин этой проблемы в том, что, как выразились классики, «перевод бывает либо красивым, либо точным». Точный и формальный текст хорош для коммуникации мысли, но читать его тяжело, он изобилует одним и тем же набором паразитных вводных слов, которые раздражают, но ничего не поделаешь. Впрочем, формальные тексты читаются не для наслаждением словом (в хорошем смысле этого слова), а для уяснения для себя чего-то нового. Для наслаждения тонкостями филологии (кто-то бы сказал графомании) есть другие тексты: художественная литература, поэмы, стихи, но вынести из них что-то конкретное не получится. Их можно слушать, как музыку, но знаний от них не прибавляется, — это, если угодно, эмоции. Наконец, поскольку форум всё же о ИБ, которая инженерно-технически-научная вещь, эмоции здесь только вредят изучению нового и пониманию текущего. Думаю, сим постом я донесу мысль до тех, до кого она упорно не доходит.
Мне не удалось быстро найти гумманитарный текст, который не даёт выстроить связи (такие посты обычно короткие, запомнить их трудно). Правда, чтобы её нарушать, не нужно быть гумманитарием, вот пара технических постов в плохом стиле: /comment51867 и /comment52898 — изобилие сленга, собственновведённых определений и т.д. Порой приходится по 10 раз перечитывать, чтобы найти такую трактовку поста, которая наиболее хорошо соответствует тексту и не противоречит ему. Некоторые думают, что сленг — это хорошо, но сленг — оно как соль, он хорош к месту, и когда его немного. Даже на лурке (куда ещё ниже опускаться?) опускали любителей двачерского сленга, потому что некоторые начаинают думать, что писать предложения, целиком состоящие из мемов и сленга — хорошо. Они думают, что незакодированне в сленг сообщение — потраченное время зря, поэтому любое слово, любое понятие заменяется на сленг. Вместо «цензура» говорят какое-нибудь словосочетание, имеющее отношение к Китаю, вместо Оккама говорят «старик с бритвой» и т.д. Причём набор замен абсолютно индивидуален, нет никакой гарантии, что даже опытные обитатели интернета поймут этот сленг правильно, каждый пост превращается в пост-закадку «пойми, что я хотел сказать». Если это ещё множится на отсутствие логической структуры, получается в буквальном смысле мусор.
«Почему так получилось» — неудивительно. Рефераты и сочнения в школах пишутся не на техническую тему, да и те, что пишутся, списываются. Курсовые — так же. Единственный бастион, который, возможно, приходится среднестатистическому интернетчику преодолеть — это написание диплома. Это первый и последний опыт написания связного текста на (возможно, техническую) тему, когда кто-то (в данном случае — руководитель) читает текст, хватается за голову и говорит, что надо переделывать почти всё и переписывать заново, потому что технические тексты так бесструктурно не пишут.
Последняя мысль от классиков на эту тему — «статья бывает лёгкой либо для читателя, либо для писателя, но никогда для них обоих однорвременно». Т.е., чем проще было написать текст писателю, чем меньше он вкладывал своих усилий в него, чем меньше переделывал и исправлял его, тем больше в нём проблем, и тем тяжелее его будет понять читателю. И, наоборот, то, что читается легко, и то, чем восхищаются — как правило, текст, выдержанный втечение длительного срока, который уже 100 раз редактировали перед публикацией, а сама мысль, высказанная в тексте, вынашивалась и улучшалась много лет.
Фонд замечательных постов с матом, фонд замечтального спама, фост замечтального флуда.Так создан же уже! См. конец списка, там так и написано: «Оффтопик». Зачем ещё один?
И, в частности, никакой набор формальных (технических, алгоритмических) критериев не подойдёт для решения задач определения отсутствия смысла (т.е. нереализуемости в системе понятий) в общем случае.
Поэтому отличить "гения от безумца" (или от злодея) – задача творческая, модераторам надо выдавать молоко за вредность!
Но и недобросовестный модератор может "закосить под дурака", и это – эффективнейшая цензура! Ну вот не нашёл модератор не только связи с темой, но и даже смысла, что ж с ним поделать – не все у нас семи пядей во лбу!
комментариев: 11558 документов: 1036 редакций: 4118
[йумор]
Декан, рассматривая бюджет на предстоящий год, бубнит себе под нос: "Физики, химики... Да сколько у них затрат на оборудование и реактивы! Другое дело математики: всего три статьи — бумага, карандаши и ластики. А с философами и того лучше: даже ластиков не надо".
[/йумор]
Вам было объяснено простым человеческим языком. Этот язык был выбран специально, чтобы было понятно, вместо этого вы продолжаете выкабениваться. Про т. Гёделя, кстати, забудьте, её упоминание к месту и нет — моветон, потому что как бы намекает на тот факт, что это всё, о чём вы когда-либо слышали (то же касается и теоремы Ферма, например). Если бы мне было наплевать на читателя полностью, я мог всё то же изложить в трёх предложениях. Кстати, а какого вы арифметикой пользуетесь, если она т. Гёделя противоречит?
Цель изучения математики сугубо утилитарная, даже если это математика ради математики. Это не зарядка для ума сама для себя, это изучение универсального языка, который может быть применён при решении практических задач — именно для этого её и учат.
Жить вечно невозможно, поэтому стреляйте себе в висок сразу же, как доберётесь до пистолета.
Под смыслом текста понималась возможность получить из него законченное утверждение. Это основа любой коммуникации. Утверждение может быть осмысленным или нет, но если канал зашумлён настолько, что даже утверждение не передаётся, то вопрос о "смысле самого утверждения" вообще бессмысленен.
Всё-таки вы аутентичный тролль. Спор ради спора, троллинг ради троллинга. Вместо попыток понять систему пытаетесь сыграть на извечном балабольстве, старом как этот мир: нет полной формальности ⇒ правила не нужны вообще. Правило не работает хотя бы в одном случае ⇒ за правилом нет вообще никакого смысла. Идеалов нет ⇒ тогда давайте вообще ничего не делать и отрицать заранее любую идею. Идеальный блочный шифр невозможен ⇒ криптографию вообще надо всю выкинуть на помойку сейчас же.
Цель любой теории сугубо утилитарная, даже абстрактной математики. Нет абстрактной цели найти какую-то идеальную истину (это невозможно), цель — сэкономить мозг при решении задач. Аксоиматизация теории успешно упрощает анализ, а гумманитарщина, махание руками и общие смыслы наоборот затрудняют. Я то же самое писал, причём вам, ещё несколько лет назад, а вы упорно продолжаете стоять на своём. Дискуссия с вами неконструктивна, на нормальные пояснения идей отвечаете тупым троллингом. Считайте, что выводы в отношении вас сделаны.
Это всего лишь побочный эффект, причем, по мнению, например, знаменитого физика Паули, скорее нежелательный. Цель же скорее религиозная – совершенствование собственной души, и уже через это – всего мира.
Некоторые знаменитости считают иначе, и даже учения с многочисленными последователями имеются.
А вот за такие слова нынче и бан схлопотать можно :)
Повторю (слова М.В.Ломоносова): математику уже затем учить нужно, что она ум в порядок приводит. И по прочим импликациям – это всего лишь ваше мнение о моём. Моё же мнение, (на самом деле в этом, похоже, совпадающее с вашим) в том, что формализация – удобный инструмент, но отнюдь не идол, и поклоняющиеся ей рано или поздно потерпят эпический фейл. Это и к "sed lex" относится может даже в большей степени, чем к науке.
Вы меня ни с кем не путаете? Ссылку киньте, если выводы ещё не окончательные сделаны.
Вообще хотел даже похвалить вас за замечательную попытку объяснения. Сожалею, что вы меня неправильно поняли.
P.S.
"К людям надо относиться мягше, а на вещи смотреть ширше" :)
В этом мире субьективно всё, но из этого не следуют те выводы, которые вы делаете.
Добро пожаловать в античность, пифагореизм [точнее, пифагорейство]. Осталось только создать
совместное распитиесимпозиум с распитием спиртных напитков, где бы мы в полуотключке бормотали друг другу цифры и занимались магическими практиками. Всё это было уже в веках, бывших прежде нас © Екклезиаст.[1], [2], [3]. И это только вершина айсберга, то, что вспоминается сразу. Почитайте эти посты, а то ваши аргументы по второму кругу пошли при том, что я на них уже когда-то развёрнуто отвечал.
Тогда все доказательства в математике и вообще всю логику рассуждений в жизни (не говоря уже о форумных постах) надо заранее отвергнуть, ибо теоремя Гёделя, неразрешимость и всё такое. Раз для любого рассуждения можно найти такого тролля, который будет его опровергать ⇒ любое рассуждение ошибочно. Вам платят за засорение сайта мусорными постами?