2014 dxdy logo

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

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




 
 Странный баг
Сообщение06.02.2014, 18:57 
Аватара пользователя
Мастак в сообщении #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 
Аватара пользователя
Я думаю, форумный движок распознаёт [b] внутри формулы ("\Phi[b]") как открывающий тег жирного шрифта и пытается закрыть его тегом [/b], закрывающим ник. Т. е. BB-коды обрабатываются до обработки формул.

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

 
 
 
 Re: Странный баг
Сообщение06.02.2014, 20:19 
Аватара пользователя
Спасибо.

 
 
 [ Сообщений: 3 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group