The Unprovability in Intuitionistic Formal Systems of the Continuity of Effective Operations on the Reals.

Published in: J. Symb. Log. (1976)

Keyphrases

complex systems
intelligent systems
management system
machine learning
formal methods
real time
data mining
control system
computer systems
building blocks
model checking
formal model
fuzzy set theory