2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




Начать новую тему Ответить на тему
 
 Странный баг
Сообщение06.02.2014, 18:57 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
Мастак в сообщении #823207 писал(а):
Аксиома выделения: "Из каждого множества можно выделить [по меньшей мере одно] подмножество c, высказав суждение о каждом элементе b данного множества a" :: $ \forall a \exists!c \forall b \ ( b \in c \leftrightarrow b \in a \ \land \ \Phi<span style=.
Например, парадокс:
«Мэры всех городов должны жить не в своем городе, а в специальном Городе мэров». Где должен жить мэр Города мэров?
Записываем по схеме выделения:
$b$ - произвольный мэр
$c$ - множество жителей города мэров
$a$ - множество мэров
$\Phi[b]$ - не должен жить в своем городе.
Xaositect в сообщении #823209 писал(а):
А теперь все это в виде формул теории множеств, пожалуйста.
Присоединяюсь к просьбе. [b]Мастак, будьте любезны, запишите свой парадокс на языке теории множеств "по схеме выделения".

Если убрать выделение жирным шрифтом псевдонима "Мастак", то формула отображается нормально.

 Профиль  
                  
 
 Re: Странный баг
Сообщение06.02.2014, 19:12 
Админ форума
Аватара пользователя


19/03/10
8952
Я думаю, форумный движок распознаёт [b] внутри формулы ("\Phi[b]") как открывающий тег жирного шрифта и пытается закрыть его тегом [/b], закрывающим ник. Т. е. BB-коды обрабатываются до обработки формул.

Если добавить пробел перед "b" ("\Phi[ b]"), то вроде всё отображается правильно.

 Профиль  
                  
 
 Re: Странный баг
Сообщение06.02.2014, 20:19 
Заслуженный участник
Аватара пользователя


23/07/05
17973
Москва
Спасибо.

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: cepesh, Forum Administration



Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group