Tag Archives: Immerman

Why finiteness counts

Posted on 2011 January 20 by modelpractice

To study computation we need a theory of finite structures. Neil Immerman’s quotation, illustrated by Hilbert’s hotel. Continue reading →

Posted in Mathematics | Tagged abstraction, analysis, Complexity, computation, descriptive complexity, Finite Mathematics, Finite Model Theory, Finiteness, Hilbert, Hilbert's Hotel, Hotel, Immerman, infinity, model theory, Modelling, Neil Immerman | 11 Comments

Design a site like this with WordPress.com