The Weak Koenig Lemma, Brouwer's Fan Theorem, De Morgan's Law, and Dependent Choice.
Josef BergerHajime IshiharaPeter SchusterPublished in: Reports Math. Log. (2012)
Keyphrases
- fixed point theorem
- fixed point
- boundary conditions
- boundary value problem
- von neumann
- social networks
- expert systems
- continuous functions
- real valued
- graphical models
- evolutionary algorithm
- real time
- multi agent
- decision trees
- clustering algorithm
- e learning
- computer vision
- learning algorithm
- information retrieval
- neural network