Discreet and not discrete.

...макет исторического центра Питера.

Судя по всему, блог Ульмана захвачен кем-то, представляющимся его женой Екатериной.

Вот же ж! :(

Очень часто встречаю в русском ЖЖ (и, вообще, в русском Интернете) термин "линейная логика," обычно, с добавкой "простая линейная логика."

Применяется он в смысле "простых логических рассуждений."

Вообще-то, линейная логика Жана-Ива Жирара штука сложная и тонкая. Ее еще надо уметь применять и простой ее назвать очень сложно. ;)

Правильнее говорить о "формальной логике," "простой формальной логике," причем, исключительно об Аристотелевой ее части - основе всех основ.

PS
Ну у меня и тон. ;)

Ну и пусть. ;)