On the Representation of Recursive Functions,

Abstract

In this paper we shall establish a simple characterization of those primitive recursive functions P of one argument having the property that every general recursive function of n arguments can be represented in the form where Q is a primitive recursive function of n + 1 arguments.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Jan 01, 1951
Accession Number
ADA322483

Entities

People

  • A. A. Markov

Organizations

  • American Mathematical Society

Tags

DTIC Thesaurus Topics

  • Amplitude
  • Arithmetic
  • Contracts
  • Equations
  • Mathematics
  • Military Research
  • New York
  • Notation
  • Oscillation
  • Reasoning
  • Recursive Functions
  • Translations

Fields of Study

  • Mathematics

Readers

  • Graph Algorithms and Convex Optimization.