Definability in the real universe (Q2906565)

Starting with the observation that ``the logic has its origins in basic questions about the nature of the real world and how we describe it'', this article addresses the following fundamental questions: ``How do scientists represent and establish control over information about the universe? How does the universe itself exercise control over its own development?'' and: ``How can we reflect that control via our scientific and mathematical representations?'' A central notion is definability, that is ``what we can describe in terms of what we are given in a particular language''. It is argued that computability is on the way to regain the real-world significance by structuring ``the informational world of science'' on different levels of information organization.NEWLINENEWLINEFor the entire collection see [Zbl 1235.03005].