Loading AI tools
Из Википедии, свободной энциклопедии
Излишнее уточнение: второе — ссылка на первое. -- 2A00:1370:8190:1610:21B5:8EAE:6AE9:BF75 07:15, 8 февраля 2023 (UTC)
"Очевидно". Переименовано. --wanderer (обс.) 19:16, 16 февраля 2023 (UTC)
Назван Иоакимом в Энциклопедическом словаре Брокгауза и Ефрона. Что касается написания имён, источник устарел (там, кстати, Виллануэва, что явно неправильно). Да, священник, но не папа римский и как святой не почитается, а просто на основании принадлежности к духовенству имена «переводить» на русский сейчас не принято (кроме очень специфических случаев вроде служащего в России епископа Павла Пецци, но Вильянуэва и к России отношения не имеет). Mapatxea (обс.) 08:44, 8 февраля 2023 (UTC)
Цитата:
С первых же занятий по мат. аппарату на кафедре концептуального анализа и проектирования студенты учатся рисовать красивую готическую букву «B» и применять термин «булеан». Немногим, однако, известно, что появление самого этого термина — результат недоразумения.
В книгах по теории множеств (от монографии Хаусдорфа до современных учебников) вы не встретите ни термина «булеан», ни буквы B (простой или готической) для обозначения множества всех подмножеств данного множества. Чаще всего для этого используется буква P (скорее всего, от слова part, т. к. множество P(A) также называют множеством частей A или множеством-степенью A).— Иван Пономарёв, к. ф.-м. н., доцент кафедры алгоритмов и технологий программирования МФТИ О термине «булеан» и некорректности использования буквы «B»
К цитате можно придраться: мол, самиздат. Но если рассмотреть по сути? Попытка найти термин «булеан» в «Математической энциклопедии», похоже, не удалась. В «Большой советской энциклопедии» — тоже. В «Большой российской энциклопедии» — «ничего не найдено».
В цитате выше интересующий нас объект называется не булеаном, а всего-лишь множеством подмножеств. На сайте кафедры общей топологии и геометрии механико-математического факультета МГУ — тоже:
Аксиома множества подмножеств: для любого множества существует множество , состоящее из всех подмножеств множества …
. С уважением, NN21 (обс.) 10:03, 8 февраля 2023 (UTC)
Неделя прошла. Возражений, как видим, не поступило. Похоже, можно переименовать. С уважением, NN21 (обс.) 10:40, 16 февраля 2023 (UTC)
множество подмножеств
сразу приносит «богатый улов» . Возьмём первую ссылку, что там? С уважением, NN21 (обс.) 13:09, 20 февраля 2023 (UTC)Напр., множество всех подмножеств данного множества имеет мощность бо́льшую, чем множество .
NN21 (обс.) 13:13, 20 февраля 2023 (UTC)КА́НТОРА ТЕОРЕ́МА, установленная Г. Кантором (1878) теорема о мощности множества подмножеств; см. Кардинальное число.
Итак, просматривается альтернатива как «булеану», так и «множеству подмножеств». С уважением, NN21 (обс.) 13:22, 20 февраля 2023 (UTC)Аксиома степени, утверждающая, что совокупность всех подмножеств данного множества является множеством.
С уважением, NN21 (обс.) 13:25, 20 февраля 2023 (UTC)Примеры решёток: множество всех подмножеств данного множества, упорядоченное по включению…
С уважением, NN21 (обс.) 13:29, 20 февраля 2023 (UTC)Множество всех подмножеств множества не равномощно ни самому , ни его подмножеству (теорема Кантора).
С уважением, NN21 (обс.) 13:31, 20 февраля 2023 (UTC)Обобщённая континуум-гипотеза утверждает, что для любого множества первая мощность, превосходящая мощность этого множества, есть мощность множества всех подмножеств множества .
С уважением, NN21 (обс.) 13:35, 20 февраля 2023 (UTC)Примерами частично У. м. являются множество всех действительных функций на отрезке… и множество всех подмножеств данного множества…
С уважением, NN21 (обс.) 13:36, 20 февраля 2023 (UTC)Примером Б. а. является упорядоченная по включению система всех подмножеств фиксированного множества . Такая Б. а. обозначается …
Выше коллега сообщил, что «термин „булеан“ чаще встречается у общеалгебраистов, чем, скажем, у логиков или топологов». Это ценное замечание достойно того, чтобы его обсудить отдельно. С уважением, NN21 (обс.) 21:05, 21 февраля 2023 (UTC)
множество "всех подмножеств"
) на сайте кафедры математической логики и теории алгоритмов результатов почему-то не дал, хотя через Яндекс я нашёл вот этот файл. С уважением, NN21 (обс.) 21:46, 21 февраля 2023 (UTC)множество "всех подмножеств"
приносит немало ссылок. С уважением, NN21 (обс.) 21:52, 21 февраля 2023 (UTC)Выводы
С уважением, NN21 (обс.) 22:03, 21 февраля 2023 (UTC)
Еще один возможный источник по теме — «Математический энциклопедический словарь», в бумажной версии которого мне не удалось обнаружить булеана. (Зато там неоднократно упоминается множество подмножеств.) Чуть позже надеюсь обсудить подробности. С уважением, NN21 (обс.) 14:22, 22 февраля 2023 (UTC)
Итак, 1) попытка найти в этом источнике булеан ни к чему не привела: статья «БУЛЕВА АЛГЕБРА» идёт сразу после статьи «БУКВА» (стр. 100). В то же время множество подмножеств/множество всех подмножеств присутствует. С уважением, NN21 (обс.) 17:50, 22 февраля 2023 (UTC)
Да, должен признать, что отдельной статьи нет (увы и ах), но термин «множество всех подмножеств» (или кратко — «множество подмножеств») присутствует в других статьях. Вот они:
Следует оговориться, что список может оказаться неполным.
Следует также оговориться, что и упоминание где-нибудь «булеана» исключить полностью я не могу: проштудировать от корки до корки 800 с лишком страниц — труд немалый. Но могу сказать, что встретить этот термин хоть в какой-то статье из данной книги мне не удалось. С уважением, NN21 (обс.) 18:06, 22 февраля 2023 (UTC)
Как указал выше мой коллега и оппонент, термин «булеан» присутствует в «Математической энциклопедии» в статье «Базис», в чём я смог убедиться, используя Google и его возможность расширенного поиска. С уважением, NN21 (обс.) 18:33, 22 февраля 2023 (UTC)
Теперь обсудим, в каких статьях «Математической энциклопедии» присутствует «множество всех подмножеств». Вот они (найдены всё тем же расширенным поиском):
С уважением, NN21 (обс.) 19:08, 22 февраля 2023 (UTC)
Добавлю, что в указанном издании имеются статьи, где упоминаются семейство или совокупность всех подмножеств, но в список выше они не включены. С уважением, NN21 (обс.) 08:54, 23 февраля 2023 (UTC)
Исследование вопроса показало, что 1) термин «булеан» действительно используется, однако 2) существенно уступает по частоте использования термину «множество всех подмножеств» (иногда сокращаемому до «множества подмножеств»). В частности, в «Математической энциклопедии» первый термин используется в 1 (одной) статье, второй — в 10 (десяти); в «Математическом энциклопедическом словаре» первый термин обнаружить пока не удалось, а второй встречается в 5 статьях; в «Большой российской энциклопедии» первый термин отсутствует, второй выявлен в 6 статьях.
К этим результатам можно относиться по-разному. В частности, можно посетовать на то, что «булеан» лаконичен (и с этим не поспоришь), а «множество всех подмножеств» — не очень. Но выбирать на основе лаконичности и не принимать в расчёт частотность использования вряд ли будет обоснованным решением. С уважением, NN21 (обс.) 09:13, 23 февраля 2023 (UTC)
Как показано выше, в энциклопедических источниках, обладающих наивысшей авторитетностью, используется термин «множество всех подмножеств». Соответственно, статью следует назвать именно так. С уважением, NN21 (обс.) 16:46, 6 октября 2023 (UTC)
См. выше о некорректности термина «булеан». Там же — цитата, где использован термин «аксиома множества подмножеств». С уважением, NN21 (обс.) 10:10, 8 февраля 2023 (UTC)
И здесь возражениий нет. Переименовать. С уважением, NN21 (обс.) 10:40, 16 февраля 2023 (UTC)
{{Переименовано}}
, размещёнными на соответствующих страницах обсуждения. С уважением, NN21 (обс.) 13:02, 20 февраля 2023 (UTC)Возможный вариант именования, который также надо рассмотреть, поскольку он присутствует в источниках, — «Аксиома степени». С уважением, NN21 (обс.) 14:25, 22 февраля 2023 (UTC)
Вот небольшой обзор источников: вариант «аксиома степени» используется в «Большой российской энциклопедии» (статья АКСИОМАТИ́ЧЕСКАЯ ТЕО́РИЯ МНО́ЖЕСТВ), а также в одноимённых статьях «Математического энциклопедического словаря» (стр. 44) и «Математической энциклопедии», однако в аналогичной статье из БСЭ она именуется описательно и длинно — «аксиомой существования множества… всех частей произвольного множества». Итак, три из четырёх весьма авторитетных источников склоняют нас назвать статью «Аксиома степени». С уважением, NN21 (обс.) 12:28, 24 февраля 2023 (UTC)
Обсуждение показало, что предпочтительный вариант именования — «Аксиома степени». Так и назовём. С уважением, NN21 (обс.) 17:02, 6 октября 2023 (UTC)
По-русски заглавные буквы в середине слов не пишутся. На такое написание есть источники в статье. Schrike (обс.) 16:22, 8 февраля 2023 (UTC)
Переименовано. --wanderer (обс.) 19:13, 16 февраля 2023 (UTC)
По обсуждению были переименованы 3 игры из серии, согласно официальной локализации компании Новый Диск. При том,все остальные почему-то были проигнорированы, хотя статьи по всем в то время уже были. Компания Новый Диск прекратила перевод серии после части Усыпальница пропавшей королевы, однако было анонсировано и название следующей игры - Смертельное устройство, т.к. в конце большинства игр данной серии показывается трейлер к следующим. Однако, игра так и не была локализована и выпущена в России.
Была официальная локализация. Название встречается в авторитетных источниках: например, в «Игромании». Переименовано. GAndy (обс.) 09:12, 14 мая 2023 (UTC)
Была официальная локализация. Название встречается в авторитетных источниках: например, в «Игромании». Переименовано. GAndy (обс.) 09:40, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 10:01, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 10:19, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 13:05, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 13:19, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 13:50, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 14:06, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 14:06, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 14:34, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 15:36, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 15:47, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 16:02, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 17:03, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 17:11, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 17:28, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 17:53, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 18:15, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 18:26, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 18:47, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 19:00, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 19:09, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 19:18, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 19:29, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 19:42, 14 мая 2023 (UTC)
Есть официальная локализация. Переименовано. GAndy (обс.) 19:50, 14 мая 2023 (UTC)
После прекращения официальных локализаций игр серии этим занялись нелегально и насколько я смог найти, переводами занималась одна конкретная группа и русскоязычные названия "закрепились" без особой вариативности.
В связи с объёмом работы,личной занятостью и поздним временем, шаблоны на все статьи смогу установить только завтра.Надеюсь это не помешает обсуждению.
С уважением, — Medbrat99 (обс.) 17:48, 8 февраля 2023 (UTC)
Шпион: 1 2 3
Медальон 1 2 3
Приводить по всем не буду т.к. источники по всем остальным примерно те же самые каналы.
Использование именно этих названий на различных сайтах и сервисах например : здесь и здесь
Также именно эти версии перевода используются наиболее крупными русскоязычными тематическими сообществами.
Вот и получается некая ловушка правил когда узнаваемость у русскоязычных вариантов есть ( это не случай с The Lust of Us когда вопреки официальной локализации в рускоязычных АИ используется оригинальное название) но в отличие от изначальных английский названий она не подкрепляется АИ , просто потому что их в целом по серии ( а не только по последним играм) практически нет.
Статьи про персоналии же именуются на русском языке, даже если русскоязычные АИ по этим людям отсуствуют и статьи написаны полностью по иностранным АИ, так что и в данном случае, надеюсь, здравый смысл восторжествует над бездумным следованием букве закона, в конце концов "Полезно помнить о том, что руководства по именованию — это всего лишь временные договорённости, а не «высеченные на камне» законы". Medbrat99 (обс.) 17:09, 10 февраля 2023 (UTC)
Река явно известнее упразднённого округа, который был по ней же и назван, и английского юридического термина. ИНН, вероятно, известнее среди русскоязычной аудитории, но он всё же пишется только заглавными буквами. — Дарёна (обс.) 20:56, 8 февраля 2023 (UTC)
С учётом, что при наименовании статей рассматриваются не только омографы, но и омофоны (а аббревиатура - из их числа), а также ввиду единодушия коллег в обсуждении - оставлено прежнее название. ~ Всеслав Чародей (обс) 13:57, 14 мая 2023 (UTC)
Seamless Wikipedia browsing. On steroids.
Every time you click a link to Wikipedia, Wiktionary or Wikiquote in your browser's search results, it will show the modern Wikiwand interface.
Wikiwand extension is a five stars, simple, with minimum permission required to keep your browsing private, safe and transparent.