Expanding constructive universes

  • Yu. I. Manin
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 122)


Natural Language Turing Machine Recursive Function Computability Theory Partial Recursive Function 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. *).
    „The English adjective linguistic is ambiguous between ‘pertaining to language (s)’ (Ger. sprachlich) and ‘pertaining to linguistics’ (Ger. sprachwissenschaftlich). Since in this paper the distinction is crucial, we will use the following: linguistic denotes the first sense, linguistic 2 the second“. (I.A.Mel'cak, in: Proc. VIIth Ann. Meeting of the Berkeley Linguistics Society, 1979, Berkeley).Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1981

Authors and Affiliations

  • Yu. I. Manin
    • 1
  1. 1.V.A. Steklov Mathematical InstituteMoscowUSSR

Personalised recommendations