В книжках Бурбаки используется тау-символ. Это разновидность эпсилон-оператора Гильберта. Тау-символ нужен в качестве имени, символизирующего десигнат. Десигнат имени - это идеальный умозрительный объект, способный называться именем.
Например, знакосочетание "τx : x - столица России" способно быть именем для Москвы. Знакосочетание "τx : x - дерево" способно быть именем для берёзы, баобаба, тополя и т.п. Здесь у знакосочетаний есть не только десигнат (умозрительный образ), но и денотат - именующаяся этим именем вещь из объективной реальности, которую можно потрогать. Можно показать какую-нибудь конкретную берёзу, существующую независимо от мыслителя, и сказать: "Вот, это берёза".
Денотат не обязателен. Например, знакосочетание "τx : x - невидимый розовый единорог" имеет десигнат, но не имеет денотата; можно помыслить невидимого розового единорога, но нельзя показать что-то, способное называться этим именем. По крайней мере, так же безоговорочно, как берёза.
Тау-символ не категоричен: связанное им знакосочетание может быть именем для многих разных объектов. Нельзя сказать, что только одна из берёз вселенной является конкретной реализацией идеи "берёза". "τx : x - берёза" обозначает не какую-то одну конкретную берёзу, но может обозначать любую из берёз.
Бурбаки настаивает, что в его формальной теории десигнат полностью выражается как чисто синтаксическое отношение букв между собой; знакосочетания могут иметь денотат, но не обязаны его иметь. Бурбаки не интересуется, есть ли денотат у знакосочетаний, которыми он пользуется.
Этот текст написан для тех, кто знает, кто такой Бурбаки.
Прохожие благоволят проходить мимо.
- Но нахуя, если всё работает другим способом, к которому все привыкли?
- пук кек мвех бвех
Пардон?
>читать Бурбаки
Проблема в том, что это НАХУЙ не нужно и не имеет практической пользы. Если практической пользы, то это нахуй не нужно
слушай анон вижу ты умный раз читаешь Бурбаки, хоть это и не оправданно. Пошли к нам в /math
Если нет практической пользы*
тут одна лишь проблема, почему ты отказываешься пойти нахуй. Как нам решить проблему?
Оооо, аутиста-теоретика порвало))))))))))))000))
даунжинер, недопрограммист, дискретник пукнул в треде
Нужность для разных людей разная.
Кому-то НАХУЙ энтот ваш инторнет не нужон.
Кому-то не нужон метагнозис.
Что теперь, деградировать?
Ланглэндс плиз
Нет, вообще мимо.
>>247567818
А может развиваться в ПРИКЛАДНЫХ областях?
У всех свои интересы. Мне интереснее смотреть аниме. Кому-то интереснее прокладывать трубы. Люди разные.
>Нет, вообще мимо.
ухххх бля, еще хуже, гуманитарий.
>А может развиваться в ПРИКЛАДНЫХ областях?
лучше пойти нахуй
Снова мимо!
анон анон погнали к нам в /math
ДОКАЖИ. Ведь ДОПУСТИМ мой хуй у тебя за щекой. Опровергнуть ты не сможешь
Тогда уж Гротендик. Он огорчился, что его идеи не реализовали в жёлтеньких книжках, и написал синенькие книжки, на порядок тяжеловеснее.
ну тогда безработное тупое быдло.
Ты на дваче сидишь тоже, чтобы развиваться в прикладных областях?
могу, приняв свой ряд аксиом, где я ебу твою жирную мать мамашу.
ПОГНАЛИ К НАМ В /MATH
Да
>>247568031
ЧАСТИЧНО
>>247568065
Я топологически превращаю её в твою собственную мать, похудевшей модели. ПАРИРУЙ
>ЧАСТИЧНО
полностью
>Я топологически превращаю её в твою собственную мать, похудевшей модели. ПАРИРУЙ
это дискретная алгебра, не можешь
Я оп некоторых математико-тредов в /sci, которые были ещё до /math.
ты оп этого треда?
Могу.
нет
Докажи
>Я оп некоторых математико-тредов в /sci, которые были ещё до /math.
да вы легенда тогда, случаем не ты приложил руку к созданию матемача ?
не поймешь, быдло, даже не гуманитарий
Пойму, лол. Я эту хуйню в своё время дрочил
Не, оно без меня как-то.
какую хуйню?
Дискретную алгебру, а началось всё с линала
ну давай проверим, сколько айгенвекторов в этой матрице?
|1 1|
|0 1|
Сколькими способами теорему о ЖНФ можешь доказать?
а точнее собственных векторов. А то я часто использую английские слова.
Интереснее попросить написать жорданову нормальную форму этой матрицы. :3
да не, немного продвинутая вещь для линала, пока пусть базовые вещи скажет
>>247568951
Вроде как должен быть один
>>247568905
Вот это я хз что это, не пригождалось никогда
вроде?
Как я говорил - на практике не пригождалось никаким образом
ты безработный, о какой практике идет речь?
Я студент
ну то есть безработный желторотик. Понимаю, если ты был охуевшим специалистом технарем и мне в лицо сказал бы, что в жизни не нашел применение собственным векторам пока шелестел бы 300 к заработанным за время пока ты это мне говорил. Я бы замолчал, но это не так, желторотик.
Ну, один собственный вектор над числовым полем в принципе быть не может. Собственный вектор - это такой ненулевой v, что оператор A действует на него как умножение на число a, т.е. Av = av.
Если v - собственный вектор, то и kv - собственный вектор для любого ненулевого числа k, потому что A(kv) = k(Av) = kav = a(kv).
не, студентишка прав, там и вправду один собственный вектор. Это дефектная матрица.
ааа понял тебя. В общем там одно одномерное инвариативное пространство. Да если доебаться, то там одного вектора не может быть.
ну и чудик ваш Бурбаки. Небось француз?
/math мёртв
не надо тут. Вполне жив. Посты постятся.
Большинство из его составляющих - да, французы.
Нет, отнюдь. Бурбаки не занимались Игрой.
>дефектная матрица
Ты где такой термин услышал?
нигде, я просто на свой лад перевел слово defective