Other computation models: geometrical models (tilings, cellular automata ...), algebraic models (Abstract State Machines), dynamical and distributed models (sand piles, population protocols, ...), continuous time computation, ordinal time computation, computation on infinite structures (reals, orders...).
Applications and interactions of computability with the following fields: constructive/computable mathematics, cryptology, virology, information theory, randomness, Kolmogorov complexity, algorithmic complexity, model theory, proof theory, reverse mathematics, set theory, domain theory.
Loading... 
