modelpractice

Model>ing< theory and abstraction awareness, in strive for rigour of science and relevance to engineering of information systems.

Skip to content

Home
Inspirations
Readings
Modelling & Abstraction of Relational Structures
- In Strive for Simplicity
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

Modelling:
Tweets
- #nowreading "Introduction to Description Logic" by Baader Lutz Horrocks Sattler; reads very much like a database th… twitter.com/i/web/status/1… 1 month ago
- RT @softmodeling: I decided against using language workbenches for my DSL and instead chose Python. buff.ly/2X4Els7 1 month 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

Create a free website or 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