Logic in the 1930s: type theory and model theory.
Georg SchiemerErich H. ReckPublished in: Bull. Symb. Log. (2013)
Keyphrases
- computational model
- theoretical framework
- probabilistic model
- mathematical model
- experimental data
- theoretical foundation
- general theory
- probability distribution
- network structure
- deductive reasoning
- multiscale
- computer algebra
- formal theory
- logical framework
- mathematical framework
- probability theory
- decision theory
- empirical data
- computational models
- statistical model
- hidden markov models
- artificial neural networks