From: mijoryx@yahoo.com   
      
   On Friday, December 3, 2021 at 3:02:26 AM UTC-6, David Brown wrote:   
   > On 03/12/2021 07:13, luser droog wrote:   
   > > All the cool developments over the past 80 years or so   
   > > has been focus on the Church and Turing models. Considering   
   > > all functional stuff to be essentially Church and all Von Neumann   
   > > or procedural programming to be essentially Turing.   
   > >   
   > (Just to be clear, in case anyone is unsure - Church and Turing were   
   > very interested in the theory of what could be computed, rather than how   
   > to compute it, and their models along with all other models come up with   
   > the same set of computable functions. Different models, including   
   > quantum computing, can all solve the same problems - they just do it in   
   > different ways, and can have different efficiencies in terms of time and   
   > size.)   
   > > What's up with the other models? Anything new being done   
   > > with Post systems or Thue system? Are there other weirder ones?   
   > >   
   > > I suppose Macro processors are in a sense a development   
   > > of Post string rewriting. But, .... not really. Nobody does   
   > > Macro processing like that, right? You pack more built-in   
   > > power to the macro itself, with math and lists and control   
   > > structures and stuff, right?   
   > >   
   > You are going to have to give some links, references or details here.   
   > There are people here who have heard of some pretty unusual languages,   
   > but no one has heard of everything!   
      
   Well, my "standard" list of models is just the table of contents from Minsky's   
   Finite and Infinite Machines.   
     Finite State Automata   
     Neural Networks with McCulloch-Pitts neurons   
     Turing Machines   
     Lisp/Lambda Calculus   
     Post String Re-Writing Systems   
      
   I think Thue only comes in because Post's paper was a commentary on his   
   commentary on Godel. So pretty much anything not on this list, I'd consider   
   'weird' (and therefore "interesting").   
      
   I have an example of (AFAICT) a semi-Thue system in a short but weird   
   C program here:   
     https://codegolf.stackexchange.com/a/8734/2381   
      
   > The two big programming models that are fashionable these days are   
   > quantum computing and neural networks.   
   >   
   > Every now and again I also hear about some new chip designed around the   
   > model of a sea of simple computing units that each do a small part of   
   > the overall work. This is different from cellular automata networks   
   > (where each cell has the same program and configuration) and neural   
   > networks (where each cell has the same program but different   
   > configuration, or connections and weights).   
      
   That's interesting. That reminds me of one of the things Chuck Moore (Forth)   
   was working on, I think it was called GreenArrays.   
      
   --- SoupGate-Win32 v1.05   
    * Origin: you cannot sedate... all the things you hate (1:229/2)