Обсуждение:Декартово замкнутая категория

Untitled

В таком варианте начало тяжелое и малоинформативное --VEW 22:27, 24 марта 2008 (UTC)

Вы хотите сказать, что раньше оно было информативное? Там же вообще не было ничего конкретного. Люди в энциклопедию обращаются за информацией, а не за водой. Загляните хотя бы в английскую вики. Хацкер 22:35, 24 марта 2008 (UTC)

д.з.к. полезное представление, но не стоит им пугать.--VEW 22:43, 24 марта 2008 (UTC)

Никто не собирается никого пугать. Я лишь стремлюсь сделать статью полезной. ДЗК — это достаточно продвинутое понятие, и открывать эту статью без элементарных знаний в теории категорий вообще не имеет смысла. В таком случае человек всё равно не поймет зачем она нужна. Если так объяснять как вы - то не видно в чём разница между теорией множеств, ДЗК и, скажем, топосами. В таком случае это слово превращается просто в фетиш — никто ничего не понимает, но звучит классно, респектабельно. Хацкер 22:52, 24 марта 2008 (UTC)

Имеется ввиду алгебра Гейтинга? --VEW 04:41, 26 марта 2008 (UTC)

Верно. Я не встречал никогда этой фамилии в русскоязычных источниках, поэтому не знаю, есть ли у нас уже достаточно распостранённая традиция её транслитерации. Возможно, следует переименовать статью. Хацкер 08:59, 26 марта 2008 (UTC)

Его вклад в основания математики, в основном, развитие представлений об [| интуиционизме]. --VEW 16:38, 26 марта 2008 (UTC)

Да, я в курсе. Проблема была только в написании имени. Очевидно Гейтинг — более распространённый вариант. Исправил. Хацкер 17:52, 26 марта 2008 (UTC)