Slashdot Mirror
Researcher Writes A Machine Language For The Universe (typepad.com)
Slashdot reader smugfunt shares a blog post from systems scientist George Mobus:
"There is a fundamental language of systems that provides a way to describe both structures and functions that is universal across any kind of system... I am nearing completion of the basic specification of the language and will be presenting my results at the next ISSS conference in Boulder CO this July... This language, which I formally call SL, but privately call "systemese", is like the machine language of the universe. Any system you choose to analyze and model can be described in this language...!
The beauty of the approach is that the end product of analysis is a compilable program that is the model of the system. The language does not just cover dynamics (e.g. system dynamics), or agents (agent-based), or evolutionary (e.g., genetic algorithms) models. It incorporates all of the above plus real adaptivity and learning (e.g. biological-like), and real evolvability (as when species or corporations evolve in complex non-stationary environments)... Systemese and mentalese (the language of thought), a concept advanced by philosopher of mind Jerry Fodor, are basically one in the same! That is, our brains, at a subconscious level, use systemese to construct our models of how the world works.
The beauty of the approach is that the end product of analysis is a compilable program that is the model of the system. The language does not just cover dynamics (e.g. system dynamics), or agents (agent-based), or evolutionary (e.g., genetic algorithms) models. It incorporates all of the above plus real adaptivity and learning (e.g. biological-like), and real evolvability (as when species or corporations evolve in complex non-stationary environments)... Systemese and mentalese (the language of thought), a concept advanced by philosopher of mind Jerry Fodor, are basically one in the same! That is, our brains, at a subconscious level, use systemese to construct our models of how the world works.
Well you can tell him about it here: http://questioneverything.type...
putting the 'B' in LGBTQ+
A set of axioms is complete if, for any statement in the axioms' language, that statement or its negation is provable from the axioms (Smith 2007, p. 24). A set of axioms is (simply) consistent if there is no statement such that both the statement and its negation are provable from the axioms, and inconsistent otherwise. In the standard system of first-order logic, an inconsistent set of axioms will prove every statement in its language (this is sometimes called the principle of explosion), and is thus automatically complete. A set of axioms that is both complete and consistent, however, proves a maximal set of non-contradictory theorems (Hinman 2005, p. 143). Gödel's incompleteness theorems show that in specific cases, it is not possible to obtain a formal system that is effectively generated, complete, and consistent.