Насчет кортежа… Если бы использовались {}, то смысл этой логики не удалось бы показать. Да, в практическом смысле проще было бы привести (если иметь ввиду результат) операции python c множествами. Но, повторюсь, дело не в быстродействии, а в том, чтобы отобразить логику
Да не в самом же коде дело. Это только способ показать, что
есть А = (А равно А),
нет А = (А не равно А)
(А не-равно А) — тождественно ложная формула или, иначе говоря, противоречие.
И что пустое множество может быть выражено тождественно ложной формулой.
P.S. Зачем продолжена итерация? Затем, чтобы показать что [не существовать = не (существует или существуют)]
Да не в самом же коде дело. Это только способ показать, что
есть А = (А равно А),
нет А = (А не равно А)
(А не-равно А) — тождественно ложная формула или, иначе говоря, противоречие.
И что пустое множество может быть выражено тождественно ложной формулой.
P.S. Зачем продолжена итерация? Затем, чтобы показать что [не существовать = не (существует или существуют)]
Спасибо. Учту на будущее.… Но статья о логике.… И выводы по ней такие.…
Система, утверждения которых нельзя ни доказать, ни опровергнуть средствами самой теории, называется неполной. Наоборот, система называется полной, если в ней доказывается либо F, либо доказывается его отрицание. А поскольку тождественно ложные формулы исключены из доказательств, то и выразить то, что ими описывается, не представляется возможным. … Так в классическом представлении приходят к выводам о неизбежности недоказуемого в непротиворечивой системе.
есть А = (А равно А),
нет А = (А не равно А)
(А не-равно А) — тождественно ложная формула или, иначе говоря, противоречие.
И что пустое множество может быть выражено тождественно ложной формулой.
P.S. Зачем продолжена итерация? Затем, чтобы показать что [не существовать = не (существует или существуют)]
есть А = (А равно А),
нет А = (А не равно А)
(А не-равно А) — тождественно ложная формула или, иначе говоря, противоречие.
И что пустое множество может быть выражено тождественно ложной формулой.
P.S. Зачем продолжена итерация? Затем, чтобы показать что [не существовать = не (существует или существуют)]
Система, утверждения которых нельзя ни доказать, ни опровергнуть средствами самой теории, называется неполной. Наоборот, система называется полной, если в ней доказывается либо F, либо доказывается его отрицание. А поскольку тождественно ложные формулы исключены из доказательств, то и выразить то, что ими описывается, не представляется возможным. … Так в классическом представлении приходят к выводам о неизбежности недоказуемого в непротиворечивой системе.