PaulRobinson
11 hours ago
I actually think this is just computer science. Why? Because the first "computer scientist" - Alan Turing - was interested in this exact same set of ideas.
The first programs he wrote for the Atlas and the Mark II ("the Baby"), seem to have been focused on a theory he had around how animals got their markings.
They look a little to me (as a non-expert in these areas, and reading them in a museum over about 15 minutes, not doing a deep analysis), like a primitive form of cellular automata algorithm. From the scrawls on the print outs, it's possible that he was playing with the space of algorithms not just the algorithms themselves.
It might be worth going back and looking at that early work he did and seeing it through this lens.
gnfargbl
9 hours ago
By the same argument, it's mathematics because John Conway was a mathematician, and it's physics because Ulam and Von Neumann were physicists.
mathgradthrow
3 hours ago
Von Neumann was a mathematician, thank you very much.
psychoslave
9 hours ago
Come on, everybody knows it's philosophers all the way down. It's even in the title: Doctor of Philosophy (PhD).
https://fr.wikipedia.org/wiki/Turtles_All_the_Way_Down
https://en.wikipedia.org/wiki/Doctor_of_Philosophy
https://en.wikipedia.org/wiki/Wikipedia:Getting_to_Philosoph...
https://xefer.com/2011/05/wikipedia
https://snap.stanford.edu/class/cs224w-2013/projects2013/cs2...
KineticLensman
4 hours ago
Actually, the bottom layer from which God created the cosmos was originally Computer Science. Where else do you think all the chaos came from?
gnfargbl
9 hours ago
And that's my point; it's okay to create new names for sub-disciplines, as Wolfram is doing here. Because that's what we have been doing since the days of Aristotle.
ontouchstart
8 hours ago
Aristotle is the founder of biology:
JadeNB
3 hours ago
I've never understood why we first become masters of science only to become doctors of philosophy ....
MarkusQ
2 hours ago
Because Philosophy need serious medical attention?
ontouchstart
8 hours ago
These are computer scientists:
gilleain
11 hours ago
I think this is 'Reaction-diffusion models'
https://en.wikipedia.org/wiki/Reaction%E2%80%93diffusion_sys...
The idea iiuc, is that pattern formation in animals depends on molecules diffusing through the growing system (the body) and reacting where the waves of molecules overlap.
Kim_Bruning
10 hours ago
To me , the 1952 paper is very important, since it shows up in theoretical biology a lot. Seeing generality at all these different emergence levels is really exciting to me. (and it makes me sad when others don't see it). Can you imagine? Set up a few gradients, and now you have coordinates. Put all the bits where they're supposed to go like uhhh... GLSL sort of loosly fits. How cool is THAT?
More recently I've gotten into all sorts of debates on HN by people who like Searle. Often the argument goes "Turing is all wrong, he knows nothing about biology."
Turns out towards the end of his life he was applying his knowledge to biology. Most of which experimentally verified, besides!
(ps. just to be sure: Never wondered how DNA encodes the trick? You started out as a clump of cells, all the same. How did one part decide to become the tip of your nose, and the other the tips of your toes? Segmentation controlled by Turing patterns all the way down!)
amiga386
7 hours ago
> How did one part decide to become the tip of your nose, and the other the tips of your toes?
Homeobox genes, right?
https://en.wikipedia.org/wiki/Morphogenesis
Yes, https://en.wikipedia.org/wiki/The_Chemical_Basis_of_Morphoge...
But also:
https://en.wikipedia.org/wiki/Body_plan#Genetic_basis
https://en.wikipedia.org/wiki/Homeobox
https://en.wikipedia.org/wiki/Hox_gene
https://en.wikipedia.org/wiki/Gene_regulatory_network
https://en.wikipedia.org/wiki/Epigenetics
https://en.wikipedia.org/wiki/Cell_potency
oulipo2
10 hours ago
Alan Turing is FAR from the first computer scientist, though, if we want to be pedantic
SideburnsOfDoom
10 hours ago
Right. is "the basic science of what simple rules do" not the same as Formal systems?
lupire
6 hours ago
It's not Formal Systems.
Formal Systems is the study of logical systems themselves.
Ruliology is a study of what actual systems do.
It's doing the arithmetic computations and looking at the results, not the abstract algebra.
whatever120
4 hours ago
How is an “actual system” distinct from a formal system? What is actual?
Supermancho
3 hours ago
I assume it's related to the aphorism:
In theory, theory and practice are the same. In practice, they are not.
lo_zamoyski
3 hours ago
Not quite. A formal system is a system of syntactic rules defined over an alphabet of symbols. They can be mechanized in principle. Peano arithmetic is one example.
A „logical” semantics can be assigned to such a formal system, but it is not a necessary entailment of the syntax, even if such systems are typically motivated by particular semantic models. Model theory might examine how the same formal system affords different interpretations.
Such syntactic systems have computational properties, and it is how computer science kicked off historically.
nurettin
9 hours ago
It is generative functions. Wolfram is grifting again.