2016 | OriginalPaper | Chapter

# 2. Problems and Effective Procedures

Published in:
Limits of Computation

## Abstract

This chapter provides the basic definition of what we mean by “computable” and what we mean by “problem.” A short historical perspective is given. The term “effective procedure” is introduced that describes a program executable in a finite number of simple steps in a mechanical way. Sets and structures on sets, i.e. relations and functions, together with their basic operations, are defined and some basic reasoning principles reviewed.