• English
    • Latviešu
    • Deutsch
    • русский
  • Help
  • English 
    • English
    • Latviešu
    • Deutsch
    • русский
  • Login
Search 
  •   DSpace Home
  • Search
  •   DSpace Home
  • Search
JavaScript is disabled for your browser. Some features of this site may not work without it.

Search

Show Advanced FiltersHide Advanced Filters

Filters

Use filters to refine the search results.

Now showing items 11-12 of 12

  • Sort Options:
  • Relevance
  • Title Asc
  • Title Desc
  • Issue Date Asc
  • Issue Date Desc
  • Results Per Page:
  • 5
  • 10
  • 20
  • 40
  • 60
  • 80
  • 100
Thumbnail

The double-incompleteness theorem 

Podnieks, Karlis (Latvia State University, 1975)
Let T be a theory, Q - a metatheory of T. Under certain conditions there exist T-undecidable sentences for which this undecidability cannot be proved in Q. For English translation and proof, see K. Podnieks What is ...
Thumbnail

Comparing various types of limiting synthesis and prediction of functions 

Podnieks, Karlis (Latvia State University, 1974)
  • 1
  • 2

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV
 

 

Browse

All of DSpaceCommunities & CollectionsBy Issue DateAuthorsTitlesSubjects

My Account

Login

Discover

Author
Podnieks, Karlis (12)
Barzdins, Janis (2)Freivalds, Rusins (1)Freivalds, Rūsiņš (1)Kinber, Efim (1)Subjectinductive inference (7)function prediction (4)MATHEMATICS (4)program synthesis (4)machine learning (3)deterministic (2)double incompleteness (2)incompleteness (2)incompleteness theorem (2)non-deterministic (2)... View MoreDate Issued1977 (2)1976 (1)1975 (2)1974 (5)1973 (1)1972 (1)

University of Latvia
Contact Us | Send Feedback
Theme by 
@mire NV