A Formal Theorem in Church's Theory of Types.
M. H. A. NewmanAlan M. TuringPublished in: J. Symb. Log. (1942)
Keyphrases
- von neumann
- formal model
- general theory
- mathematical theory
- formal methods
- theoretical framework
- mathematical foundations
- real time
- neural network
- information systems
- theoretical basis
- communicative acts
- formal languages
- formal theory
- information theory
- computational model
- artificial intelligence
- learning algorithm
- information retrieval
- databases