Without doubts, sage and its library have bugs.
Are the bugs "powerful enough" to prove contradiction of the form 0=1?
As a self promotion, around 2008 I proved contradiction in Coq.
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe
Sagemath is not a proof assistant but computational math software. Any
result that sage returns as an answer that provably differs from the
intended result can be read as a statement that claims equality between two
provably non-equal objects and hence a provable falsehood, all of which are
equ
On Sat, 2023-02-11 at 13:13 +0200, Georgi Guninski wrote:
> Without doubts, sage and its library have bugs.
>
> Are the bugs "powerful enough" to prove contradiction of the form 0=1?
>
In addition to all the good reasons why this might happen: Sage
includes all of python, and python DGAF.
--
Y
I've just marked all migrated tickets that already had a merge conflict at
the time of the migration as "needs work".
All, please help review the 111 remaining issues (and 32 PRs) that "need
review":
https://github.com/sagemath/sage/issues?q=is%3Aopen+sort%3Aupdated-desc+label%3A%22s%3A+needs+re
