Designing, Understanding, and Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics
Vladik Kreinovich, University of Texas at El PasoFollow
Technical Report: UTEP-CS-11-02
Published in Applied Mathematical Sciences, 2012, Vol. 6, No. 13, pp. 629-644
In this paper, we explain why, in our opinion, logic and constructive mathematics are playing -- and should play -- an important role in the design, understanding, and analysis of unconventional computation.
Since March 21, 2012
Computer Engineering Commons