modelpractice

Modelling the world to improve it through software. In strive for rigour of science and relevance to engineering.

Skip to content

Home
Inspirations
Readings
About
- Reflections on Abstractions

Tag Archives: Hilbert’s Hotel

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

Join 26 other followers
Modelling:
- Applications (relevance) (47)
  - Abstract Thinking (11)
  - Software_Engineering (39)
- Foundations (rigour) (37)
  - Epistemology (17)
  - Mathematics (19)
- Series (38)
  - Herbert Stachowiak (6)
  - Model Thinking (8)
  - Reflections on Abstractions (14)
  - Requirements (13)
- Uncategorized (3)
Twitter
- RT @peoppenheimer: SEP: Emergent Properties ift.tt/2l9BuLF #philosophy - 20 hours ago

Blogroll

Tags

On Modelling Theory, Abstraction Awareness and Complexity aware Modelling.

Modelling theory is about the mapping from real world to models with main focus on software engineering and related areas like Business Process Modelling. Abstraction is seen as the core of modelling, thus Abstraction Awareness is closely related to Modelling Theory. Also Complexity Aware Modelling is close to Abstraction Awareness and Modelling Theory, since it it about applying results of complexity theory and finite model theory to software modelling, business modelling, systems engineering and software engineering.

Meta

Blog at WordPress.com.

Privacy & Cookies: This site uses cookies. By continuing to use this website, you agree to their use.
To find out more, including how to control cookies, see here: Cookie Policy