Login / Signup
Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.
Wim Veldman
Published in:
Arch. Math. Log. (2014)
Keyphrases
</>
fixed point theorem
machine learning
inference rules
propositional logic
database
neural network
clustering algorithm
decision trees
high level
search algorithm
medical images
fixed point
von neumann
boundary value problem