Title

Designing, Understanding, and Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics

Authors

Vladik Kreinovich, University of Texas at El PasoFollow

Publication Date

1-2011

Comments

Technical Report: UTEP-CS-11-02

Published in Applied Mathematical Sciences, 2012, Vol. 6, No. 13, pp. 629-644

Abstract

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.