Cantor's Paradise Regained: Constructive Mathematics from Brouwer to Kolmogorov to Gelfond.
Vladik KreinovichPublished in: Logic Programming, Knowledge Representation, and Nonmonotonic Reasoning (2011)
Keyphrases
- logic programs
- description language
- computer science
- nonlinear dynamical systems
- data sets
- database
- learning environment
- artificial neural networks
- information systems
- information retrieval
- neural network
- stable models
- electrical engineering
- normal logic programs
- computer algebra
- mathematics education
- fixed point theorem