История изменений
Исправление a--, (текущая версия) :
«кормить» твой «чекер» я не вызывался. твои такие вот зигзаги - это чистое мошенничество, я считаю.
Без чекера вся задача становится бессмысленной, и если бы ты подумал, то догадался до этого.
Например, без чекера можно предложить:
2*2 = (3-1)*(3-1) = 9-3-3+1 = 4
и любую подобную хрень.
И кроме того, чекер не «мой», а любой из доступных а-ля Agda, Coq, ... без готовой аксиоматики, определений и теорем.
Исправление a--, :
«кормить» твой «чекер» я не вызывался. твои такие вот зигзаги - это чистое мошенничество, я считаю.
Без чекера вся задача становится бессмысленной, и если бы ты подумал, то догадался до этого.
Например, без чекера можно предложить:
2*2 = (3-1)*(3-1) = 9-3-3+1 = 4
и любую подобную хрень.
И кроме того, чекер не «мой», а любой из доступных а-ля Agda, Coq, ... без готовой аксиоматики и теорем.
Исходная версия a--, :
«кормить» твой «чекер» я не вызывался. твои такие вот зигзаги - это чистое мошенничество, я считаю.
Без чекера вся задача становится бессмысленной, и если бы ты подумал, то догадался до этого.
Например, без чекера можно предложить:
2*2 = (3-1)*(3-1) = 9-3-3+1 = 4
и любую подобную хрень.