A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
A dynamical system which must be stable whose stability cannot be proved
2004
Theoretical Computer Science
Building on a result of Blondel, we show that there exists a piecewise a ne dynamical system whose stability (local asymptotic stability, global asymptotic stability and global convergence) is equivalent to the correctness of ZF set theory-a property which must be assumed to hold but which cannot be proved within ZF.
doi:10.1016/j.tcs.2004.05.001
fatcat:nf4awspykvdkbp3fwz7kmzzgpy