расовые вопросы

[juan_gandhi]

Если б кто лет сто назад сказал американским белым людям, что большая часть умственного труда на территории США сто лет спустя будет выполняться людьми с тёмной (а также "желтой") кожей, просто в силу их умственного превосходства над белым населением...

Comments

[ivan-gandhi.livejournal.com]

При всём моём уважении к Вейценбауму, он написал чушь. С таким же успехом можно наехать на математиков.

[larvatus.livejournal.com]

Вся разница в том, что у математиков вместо конкретных компьютеров наблюдаются абстрактные объекты. Программирование компьютеров суть такой же умственный труд, как техобслуживание автомобилей.

[vaddimka.livejournal.com]

а "сервис-мануал" для программирования тех же шахмат найдете? :) с указаниями, типа, такую-то гайку таким-то моментом

не надо путать программирование с администрированием, хотя и там на основе готовых блоков можно много чего относительно нового наворотить

[larvatus.livejournal.com]

Посмотрите на несерийную продукцию автомобилей. Там тоже много чего относительно нового наворачивают.

С другой стороны, не надо путать подобную халтуру с машиностроением, или программирование с инженерным делом.

[ivan-gandhi.livejournal.com]

Вы или шутите так оригинально, или ни хрена не разбираетесь в теме. Может быть, в 76-м программирование и было чем-то вроде техобслуживания, но эти времена давно прошли. Если Вы думаете, что любая собака может пойти и накатать твиттер или 4square, так вы сильно тут ошибаетесь.

[larvatus.livejournal.com]

Если Вы считаете, что границы умственного труда определяются тем, что отличает человека от собаки, все предыдущие претензии и последующие вопросы отпадают.

[ivan-gandhi.livejournal.com]

Вы ведь не математик и не физик? Не знаю, человек какой ещё профессии мог бы свысока относиться к интеллектуальному уровню занятий программированием. Мне кажется, Вы чего-то тут серьёзно недопонимаете.

[larvatus.livejournal.com]

Моё математическое образование ограничивается первой серией Бурбаки вплоть до функционального анализа. Мой опыт программирования ограничивается разложением многочленов с несколькими независимыми переменными в рамках непосредственного предшественника програмы Mathematica. Мой опыт техобслуживания автомобилей и мотоциклов ограничивается итальянскими машинами типа Maserati Bora, Ducati 900SS, Moto Guzzi Le Mans и Laverda Jota. А во всём остальном Вы совершенно правы.

[ivan-gandhi.livejournal.com]

Wow, Бурбаки. Человек, который прочитал "Теорию Множеств", имеет право на обоснованное мнение.

[larvatus.livejournal.com]

Мне не известны читатели первого тома Бурбаки, равно как и первой главы их Алгебры. Теорию множеств я изучал по Френкелю, Бар Хиллелу, Коэну, и т.д. В алгебре моим главным источником является Ван дер Варден.

Зайдём по новой. Как бы Вы охарактеризовали на английском языке пролетария работника умственного труда в формулировке Вашего предполагаемого предсказания столетней давности?

Для предотвращения следующего перехода на личности, в профессиональном плане я являюсь анальным клоуном. Но к нашему разговору я отношусь сугубо любительски.

[ivan-gandhi.livejournal.com]

Прошу прощения, конечно, за переход на личности. Слишком быстро переключал контекст.

По-английски "работника умственного труда" я затрудняюсь сформулировать, но если человек большую часть рабочего дня занят решением умственных задач, хотя бы и несравнимых по сложности с доказательством, что x=x (поминая Бурбаков), то это работник умственного труда.

[larvatus.livejournal.com]

Я вообще не возражаю против перехода на личности, но в настоящий момент это ещё неуместно. Что касается работников умственного труда, меня интересует их сравнительный статус, к примеру в контрасте с сапожниками или скульпторами. Кстати, я не знаком с доказательством, что x=x.

[rqk.livejournal.com]

"суть" - это множественное число, вообще-то.

[ivan-gandhi.livejournal.com]

Видимо, мы с тобой, как люди низших профессий, не можем расчитывать на то, чтобы философ признал наше мнение относительно родного языка сколь-нибудь значительным. В пример, небось, Бродского приведёт...

[marco-polo-sf.livejournal.com]

К слову сказать, какую нишу, согласно политэкономии, занимает программирование, а? И уж не является ли оно случайно продажной девкой империализма?

[larvatus.livejournal.com]

Спасибо за науку. А какое единственное?

[ivan-gandhi.livejournal.com]

Аз есмь, ты еси, Он есть.

[larvatus.livejournal.com]

Спасибо. Похоже, что я перепутал существительное с глаголом.

[ivan-gandhi.livejournal.com]

А. Перечитал ещё раз.

Нет, у программистов сплошные абстрактные объекты. Те же LinkedLists. Всё довольно хитро на самом деле. А теперь уже и это, уже и функторы дифференцируют и в ряд раскладывают.

Компьютер ведь тоже вещь абстрактная.

[larvatus.livejournal.com]

Все объекты знания по сути абстрактны. Но не все объекты работы остаются таковыми. В этом состоит контраст между математиками и программистами, хотя несомненно некоторая часть программирования в большей мере использует методы прикладной математики (http://books.google.com/books?id=Xnv5fXu1vFoC&pg=PA17#v=onepage&q=&f=false).

[anhinga-anhinga.livejournal.com]

хозяин блога довольно много занимается вопросами использования теории категорий в программировании :-)

[larvatus.livejournal.com]

Насчёт теории категорий могу предложить нравоучительную историю. Давным-давно, лет за шесть или семь до того, как я нашёл своё призвание анального клоуна, у меня гостил философ-категорист. Я его по случаю попытался устроить на коллоквиум в UCLA. Философский факультет отказался принимать сторонника гипотезы, что метаматематика застряла на уровне 19го века в исходной дисциплине, пренебрегая достижениями Гротендика и ему подобных. Собрались математики. Выслушали доклад. А в прениях один из них, пожалуй наиболее маститый теоретик множеств, спросил докладчика: «Вы считаете, что то, чем мы здесь занимаемся, имеет онтологический статус волшебной сказки?» А тот в ответ задаёт встречный вопрос: «Скажите, а что именно зависит в вашей работе от реального существования недостигаемых кардинальных чисел?» Ну, они пошумели и разошлись. Ясное дело, моему гостю “Костаки не судья”, и взаимно тем более. Мне же почему-то пришли на ум гипотезы Гёделя (http://books.google.com/books?id=sKGz7SiCVpEC&pg=PA124#v=onepage&q=&f=false) и Улама (http://www.fas.org/sgp/othergov/doe/lanl/pubs/00285740.pdf) о насущных и возможных применениях теории высших бесконечностей. Но это всё я к тому, что “вопросы использования” самодостаточных исследований никоим образом не входят в самоё содержание оных исследований.

[ivan-gandhi.livejournal.com]

Вот спасибо, очень интересное чтение! Я и не знал, что foundation axiom оригинально не была частью zf; а уж представить альтернативную математику, где foundation нету... Напоминает развлечения Рувима Гуревича, когда AC выражалась в терминах теории игр - каково-то будут в этом случае выглядеть аксиомы отделимости?

Я знал одного такого любопытного философа, подсевшего на Гротендике - это Акчурин. (Я-то тоже придерживаюсь примерно того же мнения относительно онтологического статуса теорий множеств, но кто меня спрашивает).

Спасибо за интересную тему.

[larvatus.livejournal.com]

Здесь Мириманов (http://plato.stanford.edu/entries/paradoxes-contemporary-logic/#SetTheParCirSetOthMat) явным образом помог Цермело. Вообще, в самом начале имелось много неосуществлённых возможностей. Но в конечном итоге, как заметил Дана Скотт, теория множеств явилась разновидностью теории типов.