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.

66 of 102 comments (clear)

  1. Peter Parker says by Anonymous Coward · · Score: 5, Insightful

    My BS sense is tingling!

    1. Re:Peter Parker says by plopez · · Score: 4, Informative

      Well you can tell him about it here: http://questioneverything.type...

      --
      putting the 'B' in LGBTQ+
    2. Re:Peter Parker says by Anonymous Coward · · Score: 1

      I'm surprised you can sense anything under that bovine manure avalanche.

    3. Re:Peter Parker says by geek111 · · Score: 1

      That page is tedious. The author provides no real description of his language other than to say it 'has a basic lexicon, syntax, and semantics' and 'is like the machine language of the universe. Any system you choose to analyze and model can be described in this language!' He asserts that his 'systemese' is based upon the way the human brain models systems. He reaches further at points to try to tie in the notion of sapience (read 'wisdom').

      My instinct as a programmer tells me that once one actually tries to compile/interpret and run this 'systemese' the edge-cases take over and everything goes to hell

      In order for it to work it would have to have a physics engine and extremely advanced.... Oh no! It can't be! It COULDN'T BE!

      SI language demo - https://www.youtube.com/watch?...

    4. Re:Peter Parker says by Pseudonym · · Score: 1

      Let me put it this way...

      Any system you choose to analyze and model can be described in this language...!

      Now any modelling problem is simply reduced to expressing the desired system in this language...!

      Remember the buzz around formal specifications in software engineering (Z, how I love thee) about 25 years ago? Ever wondered what happened to that? Well, it turned out that for the vast majority of non-toy problems, writing and debugging the formal specification was just as hard as writing and debugging the software.

      --
      sub f{($f)=@_;print"$f(q{$f});";}f(q{sub f{($f)=@_;print"$f(q{$f});";}f});
    5. Re:Peter Parker says by Pseudonym · · Score: 1

      The "U" in UML means "unified", not "universal". And that's not what this is anyway.

      --
      sub f{($f)=@_;print"$f(q{$f});";}f(q{sub f{($f)=@_;print"$f(q{$f});";}f});
  2. I made one too. by pushing-robot · · Score: 2

    I call it "Physics".

    --
    How can I believe you when you tell me what I don't want to hear?
    1. Re:I made one too. by PolygamousRanchKid+ · · Score: 4, Funny

      But with his language, no matter how you program it . . . the output is always is 42 . . .

      --
      Schroedinger's Brexit: The UK is both in and out of the EU at the same time!
    2. Re: I made one too. by Ukab+the+Great · · Score: 1

      Other approaches to hacking the universe are called "Quantum Computing" and "LSD".

    3. Re:I made one too. by epine · · Score: 1

      But with his language, no matter how advanced civilization becomes . . . the output is always an old joke beaten for the 1,000,000,042nd time . . .

  3. Poppycock by Anonymous Coward · · Score: 1

    General Systems Theory was bullshit 50 years ago and it hasn't changed since.

    1. Re: Poppycock by karlandtanya · · Score: 1

      BSD and LSD
      geez, kidstodayitellyawhat

      --
      "Reality is that which, when you stop believing in it, doesn't go away." - Philip K. Dick
  4. Any system? by plopez · · Score: 3, Insightful

    Really? How about non-computational mathematics.

    --
    putting the 'B' in LGBTQ+
    1. Re:Any system? by Anonymous Coward · · Score: 1

      how about just goedel's theorem?

    2. Re:Any system? by plopez · · Score: 1

      They are related.

      --
      putting the 'B' in LGBTQ+
  5. Inconsistency. by Fragnet · · Score: 4, Insightful

    Your language is inconsistent.

    1. Re:Inconsistency. by religionofpeas · · Score: 1

      No, it would be silly to make an inconsistent language, rather it would be incomplete.

    2. Re:Inconsistency. by Fragnet · · Score: 3, Informative

      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.

    3. Re:Inconsistency. by religionofpeas · · Score: 1

      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.

      That's what I said, yes. But thanks anyway.

    4. Re:Inconsistency. by Koen+Lefever · · Score: 1

      No, it would be silly to make an inconsistent language, rather it would be incomplete.

      Not necessarily: paraconsistent logic

      --
      /. refugees on Usenet: news:comp.misc
  6. In summary by AchilleTalon · · Score: 4, Insightful

    In summary, buy my book for more bullshit.

    --
    Achille Talon
    Hop!
  7. At a subconscious level by Anonymous Coward · · Score: 1

    So this guy just invented a language that we already use "at a subconscious level"? How practical that there's no looking into the subconscious mind, so what it does is up to anybody's imagination. Can't he also invent Chomsky's "Universal Grammar" that we supposedly use at a subconscious level, but that nobody has ever been able to describe?

  8. where is the paper? by ooloorie · · Score: 4, Insightful

    Did I miss the paper, or is the blog post everything there is? I remember the good old days when crackpot scientists at least went through the trouble of producing a scientific looking paper in LaTeX with lots of formulas and graphs.

    1. Re:where is the paper? by Bite+The+Pillow · · Score: 1

      Its in progress, and will be delivered in July. It says that right in the summary you illiterate moron. I guess you figured you would sound smart but that backfired. Good job.

      Next time, think before you post and save everyone time.

    2. Re:where is the paper? by ooloorie · · Score: 1

      Its in progress, and will be delivered in July. It says that right in the summary you illiterate moron.

      Actually, what we can conclude from the summary is that not only is there no paper, the work isn't going to be peer reviewed either (because if this was a peer reviewed conference track, there would have to be a completed paper). Another sign of a crackpot.

    3. Re:where is the paper? by RespekMyAthorati · · Score: 1

      Its in progress, and will be delivered in July.

      Then report it in July.
      Until then, only the highest degree of skepticism is justified.

    4. Re:where is the paper? by Bite+The+Pillow · · Score: 1

      So why comment? Did you mean to make this point earlier? If so, you should have made that point earlier.

      Were you being rhetorical in front of an audience that may not understand rhetoric? Stop it.

      Make a point, or don't ask a stupid question.

  9. Universal by Kelxin · · Score: 1

    You only have to look as far as quantum physics to see how non universal this language is. The moment you make something "universal" is the moment your universe gets redefined.

  10. It's called a "Turing machine". by happyjack27 · · Score: 2

    Turing already did this back in 1936. It's called a "Turing Machine". See his essay on computable numbers: http://www.dna.caltech.edu/cou...

  11. Current Job Posting by Anonymous Coward · · Score: 1

    We are looking for an entry level person with an Engineering, CS, Math or natural science degree with at least 2 years of SL programming, MS SQL, Java, Javascript, C/C++/C#, Oracle, DB2, Linux, Windows, OS X, AS400, AIX, RPG, COBOL, assembly: x86, 68000, PowerPC, IBM360, DEC.

    You must be passionate about your work.

    We are a dynamic fast paced organization.

    H1-bs Prefer....welcomed.

  12. Mathematica? by happyjack27 · · Score: 2

    Is this not, then, Mathematica?

    https://reference.wolfram.com/...

  13. Dirac-Robson Notation by Baldrson · · Score: 2

    Use Dirac notation as extended for big data by Robson in "The New Physician as Unwitting Quantum Mechanic: Is Adapting Dirac’s Inference System Best Practice for Personalized Medicine, Genomics, and Proteomics".

    This "notation" actually emphasizes certain primitive operations that can define the "machine language". Syntactic sugars should be used for parsimony, as well as and pragmas for efficient semantic heuristics are appropriate layers atop the primitives.

  14. universal language by Anonymous Coward · · Score: 2, Funny

    That's nice, honey, you work on your universal language.

    Watch: This language will be a piss poor re-implementation of Common Lisp.

  15. Nothing to see by Dr_Ish · · Score: 1

    The claims about so-called 'mentalese' and Fodor here are pretty transparently bogus. Why is it that people so often like to talk about philosophy, which they clearly do not understand? So, this is yet another case of 'nothing to see here, please move along'.

    1. Re:Nothing to see by dsmatthews9379 · · Score: 1

      So, the gibberant is aberrant?

    2. Re:Nothing to see by angel'o'sphere · · Score: 1

      The point about philosophy is that there is no "need to understand" it.
      You just talk and think about "what ever you want to think about".
      Thats it ...

      --
      Cost free eBook I read (by iBook/Kobo/Amazon/ObookO/Gutenberg etc.): "The Green Odyssey" by Philip Jose Farmer.
  16. Nathan Brazil . . . by msk · · Score: 1

    . . . says "amateur".

  17. George Mobus is Nathan Brazil by kheldan · · Score: 1

    Better catch him before he makes it to the Well World's interior and performs a full Reset of the Universe.

    ..on second thought, let's help him instead, I think the Universe could use a Reset.

    --
    Are YOU using the TOOL, or is the TOOL using YOU? Think about it!
  18. ^F wolfr by thinkwaitfast · · Score: 1
    Everyone here hate him, but I'm pretty sure that this is what wolfram is trying to do.

    The computational universe

  19. Obligatory XKCD reference by colinrichardday · · Score: 2
    1. Re:Obligatory XKCD reference by troon · · Score: 1

      Or this one

      .

      --
      Ydco co ,df C erb-y go. a Ekrpat t.fxrapev
  20. Re:I visualize gargantuan issues/bugs with the imp by plopez · · Score: 1

    Partly in Python, except for the older section which is in C++ and Perl which was then compiled and linked to jar files. Since they couldn't afford real programmers they then had grad students use .Net to set up a website running on IIS and written in VB. Just copy and paste your statement into a form and press "compile".

    So it was all pretty straight forward.

    --
    putting the 'B' in LGBTQ+
  21. Impossible without a verified GUT by gweihir · · Score: 1

    Without a working and verified Grand Unifying Theory (GUT) in Physics, this cannot be done. And we are probably farther removed from achieving that than ever. This is, as presented, nothing but a scam, masking as Science.

    --
    Most ACs are not even worth the keystrokes to insult them. Be generically insulted by this and ignored otherwise.
  22. Computable universe by Okian+Warrior · · Score: 4, Funny

    For the past couple of months I've been idly trying to deduce how the universe works from the point of view of a computable machine. (It's sort of a relaxing hobby I use to cleanse my mental palette from the day job.)

            Basically, assume that the universe is computable. This means that all information must be represented by a *finite* amount of information - position, probability, and so on. Computability in this sense means that any operation must complete in a finite amount of time(*).

            This implies that space must be quantized, because having infinite precision in position requires an infinitely long floating point number, which would be uncomputable. So far so good.

            A quantized space is roughly analogous to binary B/W images, and in order to prevent "jaggies" we have Bresenham's algorithm and anti-aliasing.

            So the wave nature of particles seems like the universe's answer to anti-aliasing: you have the probability of particle position be in multiple places at once depending on it's movement, and you choose one when you do an interaction. The "position" of a particle is held as a sum of waves, and this can be represented as a bit field, where each "1" in the field indicates that the wave of that frequency is part of the position, and "0" says that the frequency is not(**).

            The advantage is that you can calculate a sin wave to arbitrary precision depending on your needs. If you want a particle position in order to do an interaction, you start rolling binary dice bit-by-bit until you get a "1" on your dice. Each time you roll a "0", you calculate the position to finer and finer levels of detail. When you roll a "1", that sets the position of the particle and you then do the interaction.

            The problem with all this is that a complete description gets wildly complex. Each pair of entangled photons has a link to the other, so that if you collapse the waveform on one you have to collapse the other as well.

            When a photon hits a semi-silvered mirror, the path becomes *two* paths that have to be added together. When it encounters a regular mirror, the sin() and cos() terms are swapped.

            When you get to the point of interaction, you have to add together for *all* possible paths the photon could have taken, including all the non-straight lines, and blocked direct paths.

            This is wildly complex, and defies conventional representation! What data structure is needed to keep track of all these paths?

            (As a thought problem, consider a photon emitted from a galaxy. An ever-expanding sphere of probability extends from the point of origin, with pieces of the sphere interacting with everything it encounters, said pieces can be reflected or bent or modified in various ways, and this goes on for billions of years. When it reaches a point of interaction, all these myriad pieces get added together to make the probability that the photon appears at the interaction point. And yet, we encounter photons from distant galaxies all the time.)

            If someone has sorted this out and created a truly universal representation of the universe, it would be a landmark paper and sit alongside Einstein's discovery of relativity and QM, and Newton's discovery of gravitation and integration.

            (*) With one-and-only-one *possible* exception being the entire program. Individual interactions must be resolved in a finite time, but the total universe is allowed to go on forever.

            (**) A little more complicated than this, because the amplitudes can be +1/0/-1, and there's sin() and cos() components, but I don't want to cloud the description with details.

    1. Re:Computable universe by VanGarrett · · Score: 1

      What you describe is fascinating, and I'd love to read more.

      That said, because quantum physics seems to tie reality to perception, doesn't that suggest that only the paths of photons which are perceived need to be computed? That's kind of what Schrodinger's Cat is trying to tell us, isn't it? Detailed computations for the unobserved are unnecessary, but some bulk calculation will have to be made, when they become observed. A cat in a box remains in its living state, until the box is opened, at which point, the computations for both the cat and the inside of the box are done, determining not just the state of the cat, but also the evidence of what the cat has done, up until its death.

      Just a thought.

    2. Re:Computable universe by Okian+Warrior · · Score: 1

      What you describe is fascinating, and I'd love to read more.

      I am exactly nowhere on this. I'm starting to believe that position is an emergent phenomena, and not an attribute of particles.

      For example, suppose you set up an interference experiment where a photon has 90% chance of going into one detector, and 10% chance of getting into the other. How much resolution is there in these numbers?

      Experimentally, it would appear that probabilities are precise to hundreds of digits... for each and every photon.

      No matter what data structures I come up with, nothing seems to account for all the interaction weirdness in a finite amount of information.

      So far as I can tell, it's turtles all the way down.

      I've gotten nowhere on this.

    3. Re: Computable universe by peter303 · · Score: 1

      Note that floating point numbers is just one of several ways of representing precision in a computer. Some alternatives like unum may be better.

    4. Re:Computable universe by butzwonker · · Score: 1

      While some physicists might disagree, I think your post shouldn't really have been modded 'funny'. Stephen Wolfram also likes the idea that the universe could be a finite automaton. Some people also claim that there is a disconnect between physical laws and the way they are formulated: If real numbers existed in physical reality, they would violate various physical laws, e.g. the laws of thermodynamics. This problem is rarely addressed by physicists, probably because it's a bit too philosophical and concerns the philosophy of mathematics to some extent as well.

      Anyway, I'm skeptical about the original story based on the summary, because it doesn't mention computability and questions like logic vs. mathematics that should play a role when talking about a "language" different from our all-encompassing natural languages. Suppose this language was meant to be formal logical language, then shouldn't it have some proof theory? But then, if it has a complete proof theory, it will not be powerful enough to describe the concepts of physics, but if it is as powerful as second-order logical with standard models (as opposed to Henkin models), then it would just be the language of mathematics.

      Shouldn't similar problems arise when he's talking about a programming language only?

    5. Re:Computable universe by mattr · · Score: 1

      That was very cool, thank you.
      IANAP but... How to allow very high precision?
      Not so bad (except for us) if you
      have a feedback to limit the number
      of pesky observers.
      Also might not be a bad reason for
      c and the expansion of the universe, since
      our local processor need only worry
      about what is in our light cone.
      Less even than that if you have mortals
      without fast space travel and you occlude
      the nearby interesting bits with clouds
      and supernovae. Sorry.
      How to handle infinite superpositions?
      Perhaps we need another system function
      that gathers and limits such silliness.
      In fundamental CG ray tracing you can trace rays from the observer and the reverse at least.
      Also maybe the computer is like a language compiler being bootstrapped and written in the language itself outputs. Then it can use superposition and many worlds internally! :)

    6. Re:Computable universe by mattr · · Score: 1

      Unfortunately, I may have just solved the Fermi paradox. Either due to system enforcing a hard limit on observers especially if they can talk and corroborate observations, or due to other civilizations / virii trying to grab more processor resources by getting rid of the competition.
      It also might mean you can do more cool, magical things if you keep a lid on it.

      I hope I'm wrong. :/

    7. Re:Computable universe by werepants · · Score: 1

      Really, isn't the question: when does collapse happen? And really, what constitutes an observation? I know that was a piece of Von Neumann's Automata as well, and it really gets at the heart of the issue - because if you need a person to do it, then you have most of the universe that is entangled with most other parts of the universe and nothing to ever stop it until a photon gets into our region of the universe... and then does everything entangled with that photon collapse entirely as soon as it hits a human's retina?

      It's a hell of an idea, and I think is what Einstein was talking about when he told Bohr "I like to think the moon is still there when I'm not looking at it". In reality, I think we might find some part of the answer through experimenting more with the exact threshold between quantum and classical behavior - we know buckyballs (and viruses, I believe) can be made to interfere and exhibit wavelike behavior, the question is if there's an upper limit to that, where it is, and why it exists?

  23. But... by drolli · · Score: 1

    can it decide if any simulation written in this language terminate in a finite time?

  24. How is this language marked-up? by pepsikid · · Score: 1

    Does it involve an intricate mesh of nested brackets, braces and parenthesis?
    Mandatory tabbing and trailing semicolons?
    Conditions expressed by single punctuation makrs, which are reversed if the character appears twice?
    Variables, commands and functions chained together with periods?
    Does it support oodles of ways to disguise and execute destructive code?
    Am I going to have to repeatedly insist to my boss that just because I can replace a blown PSU that I'm not his man to code the website?

  25. No, that would have to be based on String Theory. by dsmatthews9379 · · Score: 1

    One could form an automata from the patterns of virtual particle interactions in the vacuum, however that is still going to be a virtual machine running an arbitrary language and not something running on the "bare metal" (or strings) of the universe and according to the fundamental rules that govern string interactions.

    When we see claims such as those made by George Mobus we need to consider if they are nothing more than a symptom of https://en.wikipedia.org/wiki/...

  26. Universal Opcodes... by seven+of+five · · Score: 1
  27. Wolframs New Kind Of Physics book by peter303 · · Score: 1

    Stephen wrote a grand proposal to compute physics with cellular automata. It builds on Von Neumans early work 70 years ago. Stephen never showed any really deep physics in this book, but says its coming.

  28. What? by readin · · Score: 1

    I tried reading the article; it was pretty long and dense while failing to provide a tl';dr. Is he saying he's created yet another language that is Turing Equivalent? Is he saying he has creaeted a language that simulates physics by simulating fundamental behaviors? What is the accomplishment here?

    --
    I often don't like the choices people make, but I like the fact that people make choices. That's why I'm a conservative.
  29. Turing machines and GUTs by istartedi · · Score: 1

    How does this relate to Turing machines and Grand Unified Theories in physics? The former is well understood, solid theory in computer science. The latter is an unachieved goal of physics. Like many others here, my BS meter is in action; but I've got an open mind.

    --
    For all intensive purposes, "whom" is no longer a word. That begs the question, "who cares"?
  30. Hokum & Bunkum by IHTFISP · · Score: 1

    The open-source compiler for this new language is called Hokum and the free IDE is called Bunkum.

    --
    Error: NSE - No Signature Error
    1. Re:Hokum & Bunkum by pz · · Score: 1

      Yup.

      --

      Put my fist through my alarm clock with its ding-dong death inside my ear. - The Blackjacks.
    2. Re:Hokum & Bunkum by neminem · · Score: 1

      No, it's clearly written in perl [/obligatory xkcd]

  31. BS Detector Pegged Immediately by Sir+Holo · · Score: 1

    A long, text-only blog entry with merely "claims" that "I have done this amazing thing", is stupid.

    How did this garbage make the Main Page?

    Shall I write a FaceBook Post on the perpetual-motion machine that I invented, and built, but refuse to show anyone because they might steal my ideas? It would hold more water than this guy's incomprehensible gobbledygook.

  32. Schrodinger++ by Tablizer · · Score: 1

    The language is made of cat emoticons, some semi-transparent.

  33. Re:Mathematics by Tablizer · · Score: 1

    It's already been invented

    Not really. Math can be made to match ANY universe (at least a wide variety). The trick is finding a symbolic abstraction that matches this particular universe to chop out all the side distractions, somewhat like the Cartesian coordinate system being a subset of all possible coordinate systems.

    Or music notation assuming a 12-tone equi-spaced octave. This is because a general purpose notation that considers all known tone systems would be far more complicated in order to be more general-purpose. Making presumptions and limiting the rule set usually allows us to slice out complexity.

    Perhaps another way of saying this is that we need an API-like library built on top of a general purpose programming language that fits the rules of just our universe (as we currently understand it) even if the general purpose language itself is not that way.

  34. God developed the universe by Stubbyfingers · · Score: 1

    In LISP....with a couple of PERL scripts to tie it all together.

  35. All programming languages are equivalent by presidenteloco · · Score: 1

    in their theoretical expressive power to describe any computable function. See Turing-Equivalent

    At least, all deterministic programming languages.

    Languages vary mostly in how compressed and/or comprehensible it is to express this versus that type of operation or type of datatype.

    I guess a machine-language for the universe would have to be expressive enough to take advantage of everything a quantum computer could do, whatever that set of capabilities actually is.

    --

    Where are we going and why are we in a handbasket?