Kreisel's counter-example to full abstraction of the set-theoretical model of Goedel's system T.
Martín EscardóPublished in: CoRR (2023)
Keyphrases
- high level
- probabilistic model
- theoretical analysis
- theoretical framework
- mathematical model
- computational model
- conceptual model
- case study
- evolutionary algorithm
- cost function
- neural network
- level set
- parameter values
- posterior probability
- closed form
- experimental data
- markov chain
- probability distribution
- feature selection
- genetic algorithm
- data mining