Брадобрей
Cтраница 2
В действительности - продолжал Шалтай-Болтай - такого брадобрея нет, не было и не будет. Такого брадобрея просто не могло быть потому, что, если бы он был, возникло бы противоречие. [16]
Потому-начала весьма уверенно Алиса - что если бы брадобрей А не брился сам, то он был бы одним из тех, кто не бреется сам, а поскольку всех таких жителей города он бреет, то должен был бы брить и самого себя, и мы приходим к противоречию. Следовательно, брадобрей А не бреется сам. Относительно брадобрея В можно сказать, что если бы он брился сам, то брил бы жителя города, который бреется сам, чего он никогда не делает. Значит, брадобрей В не может брить самого себя. [17]
А предположим, я скажу тебе, что был на свете брадобрей, который сам ни брился, ни не брился. [18]
Вы сказали, что это позволяет по-новому взглянуть на задачу о брадобрее - напомнила Алиса. Какая же связь существует между задачей об одном брадобрее и задачей о двух брадобреях. [19]
Из сказанного вытекает, что описание совокупности тех людей, которых бреет деревенский брадобрей, неудовлетворительно и не определяет множества. [20]
Мы рассмотрим еще несколько парадоксов того же типа, что и парадокс брадобрея, и упомянем о различных подходах к их разрешению. Одно из возможных решений парадокса Рассела состоит в признании того, что определение множество всех множеств, которые не содержат себя не задает этого множества. Более радикальное решение состоит в том, чтобы запретить в теории множеств рассматривать множества, содержащие себя. [21]
Стоит отметить, что, несмотря на отсутствие передачи данных в проблеме читателей и писателей и в проблеме спящего брадобрея, обе эти проблемы относятся к проблемам межпроцессного взаимодействия, поскольку требуют синхронизации нескольких процессов. [22]
 |
Спящий брадобрей. [23] |
В предлагаемом решении используются три семафора: customers, для подсчета ожидающих посетителей ( клиент, сидящий в кресле брадобрея, не учитывается - он уже не ждет); barbers, количество брадобреев ( 0 или 1), простаивающих в ожидании клиента, и mutex для реализации взаимного исключения. Также используется переменная waiting, предназначенная для подсчета ожидающих посетителей. [24]
Примитивы межпроцессного взаимодействия используются для решения таких проблем, как проблема производителя и потребителя, проблема обедающих философов, проблема читателей и писателей и проблема спящего брадобрея. Но даже при использовании примитивов необходимо отслеживать ситуации, приводящие к ошибкам и взаимоблокировкам. [25]
 |
Спящий брадобрей. [26] |
В предлагаемом решении используются три семафора: customers, для подсчета ожидающих посетителей ( клиент, сидящий в кресле брадобрея, не учитывается - он уже не ждет); barbers, количество брадобреев ( 0 или 1), простаивающих в ожидании клиента, и mutex для реализации взаимного исключения. Также используется переменная waiting, предназначенная для подсчета ожидающих посетителей. [27]
 |
Спящий брадобрей. [28] |
В предлагаемом решении используются три семафора: customers, для подсчета ожидающих посетителей ( клиент, сидящий в кресле брадобрея, не учитывается - он уже не ждет); barbers, количество брадобреев ( 0 или 1), простаивающих в ожидании клиента, и mutex для реализации взаимного исключения. Также используется переменная waiting, предназначенная для подсчета ожидающих посетителей. [29]
В логике - противоречие, полученное в результате внешне логически правильного рассуждения, приводящее к взаимно противоречащим заключениям. Брадобрей: парикмахер бреет только тех жит. [30]
Страницы: 1 2 3 4