## Designing, Understanding, and Analyzing Unconventional Computation: The Important Role of Logic and Constructive Mathematics

by
Vladik Kreinovich

### BibTeX

@MISC{Kreinovich_designing,understanding,,

author = {Vladik Kreinovich},

title = {Designing, Understanding, and Analyzing Unconventional Computation: The Important Role of Logic and Constructive Mathematics},

year = {}

}

### OpenURL

### 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.