Вход на сайт
К вопросу о создании Палестинского государства.
4337 просмотров
Перейти к просмотру всей ветки
в ответ wittness 19.08.09 20:52, Последний раз изменено 20.08.09 12:09 (Leo_lisard)
В ответ на:
надо только определить сигнатуру перечислив функциональные и предикатные символы рассматриваемой теории и носитель ее интерпретации. Дальше сузив множество выводимых предикатов на основе анализа автоморфизмов носителай интерпретации мы получим просотой и удобный инструмент вывода консистентных высказываний. Как я сразу не догадался!
надо только определить сигнатуру перечислив функциональные и предикатные символы рассматриваемой теории и носитель ее интерпретации. Дальше сузив множество выводимых предикатов на основе анализа автоморфизмов носителай интерпретации мы получим просотой и удобный инструмент вывода консистентных высказываний. Как я сразу не догадался!
Первая статья, которую я начал читать, - Иннокентия Анненского - называлась ╚О современном лиризме╩.
Первая фраза была такая:
╚Жасминовые тирсы наших первых мэнад примахались быстро-╩
Мне отчасти до боли сделалось жаль наш бестолковый русский народ, а отчасти было досадно: ничего нельзя поручить русскому человеку- Дали ему в руки жасминовый тирс, а он обрадовался, и ну - махать им, пока примахал этот инструмент окончательно.
Фраза, случайно выхваченная мною из середины ╚лиризма╩, тоже не развеселила меня:
╚В русской поэзии носятся частицы теософического кокса, этого буржуазнейшего из Антисмертинов-╩
Это было до боли обидно.
Я так расстроился, что дальше даже не мог читать статьи ╚О современном лиризме╩-
(с)
Früher an Später denken!