Список проголосовавших за комментарий "Слава Птицын, это не о том. Есть такое понятие, оно больше математическое. Например, мы представляем некоторый объект, с определенным поведением, и нам не должно быть важно, существует ли этот объект, и может ли существовать в принципе, и как он устроен внутри. К примеру, мы считаем, что есть нечто, что на вход получает число, а на выходе дает корень этого числа. Мы еще не знаем, можем ли мы сделать такой ящик, но мы можем сделать допущение, что такой ящик уже существует, и выстроить на этом какую то систему<br/> Примером такого объекта может служить, например, машина тьюринга с оракулом. Несмотря на то, что такой машины существовать не может, рассуждения о такой машине дают понимание того, что даже машина с оракулом не решает проблему останова"