Against intuitionism: Constructive mathematics is part of classical mathematics.

William W. Tait

Published in: J. Philos. Log. (1983)

Keyphrases

computer science
neural network
computer assisted learning
computer assisted instruction
machine learning
artificial intelligence
real world
search engine
information systems
special case
probabilistic model
medical images
computer algebra systems