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

[juan_gandhi]

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

Comments

[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) явным образом помог Цермело. Вообще, в самом начале имелось много неосуществлённых возможностей. Но в конечном итоге, как заметил Дана Скотт, теория множеств явилась разновидностью теории типов.