Brouwer's Fan Theorem as an axiom and as a contrast to Kleene's alternative.

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