Godel-Rosser's Incompleteness Theorems for Non-Recursively Enumerable Theories.

Saeed Salehi Payam Seraji

Published in: CoRR (2015)

Keyphrases

recursively enumerable
inductive inference
recursive functions
real valued functions
hypothesis space
neural network
pattern recognition
text categorization