http://www.keldysh.ru/papers/2006/prep77/prep2006_77.html Доказывать независимость системы аксиом необязательно, однако исследования, посвященные...
Я говорил о том, что геометрия Евклида применяется чаще. Я не вникал в эти задачи, но ими должна заниматься аналитическая геометрия (которая...
Хайдук, а на русском ничего нет? Параллельные вовсе не одинаково хороши. Геометрия Евклида имеет гораздо большую "полезность", чем геометрия...
Аксиома - это какое-либо утверждение.
Аксиома: - не противоречит остальным аксиомам - не выводится из других аксиом система аксиом: - должна быть достаточна для дедукции всех...
Аксиома не может рассматривать сама по себе. Есть смысл говорить лишь о системе аксиом. И тогда аксиома должна удовлетворять определенным условиям.
dan77790 Вот первое, что сказал Яндекс: http://sophia.nau.edu.ua/library/text/pop_lnz.html
В математике не так.
Если утверждение можно доказать, то это не аксиома. Если утверждение противоречит другим аксиомам, то это не аксиома.
Все неправильно. Необходимо доказывать, что аксиома является аксиомой. Кроме дедуктивного есть и другие способы поиска. Полезность - это...
Я говорил про игру без форы. Обсуждать игру без ладьи просто несерьезно. Если одновременно с DTM-50 строить и DTC, то сложностей не будет. Либо...
Т.е. параллельно еще и базу DTC строить? Не будет ли быстрее только ее и строить? Тогда DTM будет просто излишеством. И нужна будет только...
Вообще никаких атак и ни на что не будет!!! База будет делать случайные ведущие к ничьей ходы - в такой ситации гроссу ничью сделать, как два...
А Вы говорите Размер имеет значение. :)
http://bluebrain.epfl.ch/
Это откуда такое следует? Возможны правила поиска новых аксиом, возможны правила проверки полезности этих аксиом, возможны правила самомодификации...
Общепринято считать шахматы ничьей. База сама не может выигрывать ничейную позицию (для этого нужен хороший движок). Разве только изредка из-за...
Допустим в позиции по DTM мат в 100 ходов. Как мне узнать это выигрыш или ничья? Были где-то ветки Kirr'a с рекордами до мата и до перехода в...
В математическом смысле DTC обеспечивает идеальную игру - всегда делается ход не меняющий оценки позиции. В DTM базах есть позиции с неверными...
Правда что ли? С математической точки зрения DTC (distance to conversion) сильнее играет в шахматы.