Cтраница 1
Доказательство несуществования неприменимо к следующему острову, который посещает Смаллиан-острову зомби. Отличить зомби, которые всегда лгут, от людей, которые всегда говорят правду, нелегко. Ситуация осложняется еще больше тем, что на все вопросы, допускающие ответы типа да-нет, островитяне отвечают бал или да, но, к сожалению, не известно, какое из этих слов означает по-нашему да и какое нет. Предположим, что вы спрашиваете островитянина, означает ли бал по-нашему да, и он отвечает: Бал. Вы не можете определить, что означает бал, но можете ли вы сказать, кто встретившийся вам островитянин-зомби или человек. [1]
Принципиальной основой доказательства несуществования нового аналитического интеграла является лемма Пуанкаре ( § 1, гл. [2]
Член с тремя производными нарушает и операторное доказательство несуществования таких членов, приведенное в гл. [3]
Близкое соображение лежит в основе данного Пуанкаре доказательства несуществования первых интегралов в задаче трех тел. [4]
На страницах нашей книги мы неоднократно обращали внимание на важность доказательства несуществования. [5]
Обстоятельства сложились, как видно, так, что Эльтеков нашел второе, и еще более надежное, доказательство несуществования ацетилена, аллиленгидратов ( винилового, метилвинилового спиртов), которые, по мнению Бертло, он получил из ацетилена и аллилена. [6]
Если же звуковая линия имеет излом в точке, где р min L, то такая точка в потенциальном течении также не может существовать; доказательство совершенно аналогично доказательству несуществования К ( см. § 1, гл. [7]
Как показал в 1877 г. Эльтеков [21], результат опыта Толленса может быть истолкован и другим образом. Безупречное доказательство несуществования этилидена дано самим Эльтековым, действовавшим медью на тиоуксусный альдегид и получившим симметричный бутилен. [8]
Как показал в 1877 г. Эльтеков [21], результат опыта Толленса может быть истолкован и другим образом. Безупречное доказательство несуществования этилидена дано самим Эльтековым, действовавшим медью на тиоуксусный альдегид и получившим симметричный бутилен. [9]
Таким образом, существование любого из этих принципов гарантирует существование всех подчиненных ему принципов. Например, доказательство несуществования одного из принципов влечет за собой вывод о несуществовании всех предшествующих ему общих принципов. Если установлен полный принцип эволюции, то тем самым известны качественные свойства всех возможных процессов отбора и эволюции рассматриваемой модели. [10]
Во многих случаях доказательство негативной теоремы подсказывает ее позитивную форму. Например, в доказательстве несуществования квадратного круга мы встречаем примерно следующее утверждение. [11]
Два этих лагеря разделяет враждебность. Количественни-ки говорят, что существуют доводы в доказательство несуществования рыночных циклов. Практики говорят, что коли-чественники живут в мире грез и не имеют никаких доказательств. [12]
Из антиномии Кантора можно сделать примерно те же выводы, что и из антиномии Рассела. В частности, можно считать, что антиномия Кантора представляет собой доказательство несуществования множества М всех множеств. Интересно в связи с этим отметить, что существуют аксиоматич. [13]
Из антиномии Кантора можно сделать примерно те же выводы, что и из антиномии Рассела. В частности, можно считать, что антиномия Кантора представляет собой доказательство несуществования множества М всех множеств. Интересно в связи с этим отметить, что существуют аксиоматические системы теории множеств, например, известная система New Foundations У. [14]
Евклида алгоритм), доказательство несуществования рационального числа, квадрат к-рого равен 2 ( иррациональность числа У 2), и изложенная в геометрич. [15]