Yevgeniy> Нет. Мой основан на том, что формулировка необходимых условий Сергея (в контексте первого поста, да и последующих) исключает другие необходимые условия.
Это опять тараканы в твоей голове.
Она ничего не исключает. Как и признаки делимости на 4, 16, 24, 36 и 132.
Скажем, число, чтобы быть чётным не должно заканчиваться на 1. И это так. Но и не должно заканчиваться на 3 тоже. Видишь, один сказал про 1. Систему вовсе не закрыл. Кстати, если собрать воедино 1, 3, 5, 7 и 9, то получим уже необходимые и достаточные условия.
Yevgeniy> Хорошо бы конешно, но нет так нет
Ну, блин, я почему и говорю, что народ не понимает разницы между необходимыми и достаточными. К самим критериям я отношусь нейтрально. Единственную оценку, которую я дал — ИМХО, они неплохие.
Не сказал даже нужно ли дополнять или нет, нужно ли урезать или нет.
Yevgeniy> Перечислять все не нужно. Но Сергей сформулировал свои необходимые так (только положительные и простые числа), что они исключают другие необходимые условия (например, положительные и четные), на что я указал.
Где же? Это всё тараканы в чьих-то головах. Когда появляется единственность критериев, то это шаг к достаточности.
Yevgeniy> Что не так? Системы и совокупности уравнений (первая ссылка что появилась)
Потому, что я здесь уже дал более широкие понятия предикатов и объединение их в формулы (собственно, формулы и есть основной выхлоп матлогики). Вот те условия — по "и". Можно систему добавить и по "или".
Обе расширяемые.
Yevgeniy> Это если используется совокупность критериев. Если система - то "умный с животом" уже не патриот. Нет?
Забудь ты про совокупность. Переходи просто к логическим формулам. Они всё покрывают.