Choiceless Computation and Symmetry: Limitations of Definability.

Published in: CSL (2021)

Keyphrases

fixed point
special case
artificial intelligence
propositional logic
efficient computation
real time
real world
decision trees
artificial neural networks
evolutionary algorithm
efficiently computing