The Hindu Temple as a Model of Fractal Cosmology (2015)
dataisnature.com
dataisnature.com
https://www.amazon.com/Indras-Pearls-Vision-Felix-Klein/dp/1...
https://www.facebook.com/238044912896496/videos/163973293272...
Just to be clear, this knowledge wasn't lost accidentally. It's part of what was contained in the books and manuscripts destroyed intentionally by colonizers.
Actually the particular books I'm referring to were burned by the Portuguese, but lots of invaders destroyed Indian books - Portuguese, British, French, Dutch, and yes, Mughal as well.
So it really is a (shameful) repeating pattern of many conquering human civilizations throughout history rather than one of a particular culture which happens to be dominate.
This is another piece of history which doesn't fit neatly into the colonizer narrative, which is popular today, from which people try to hold modern cultures responsible for past generational cultural events, somewhat like an 'original sin' which needs to be attuned. One could go further and try to point to religion itself as the main driver - but even then that is merely another abstraction over standard human tribalism. Which is somewhat ironic as the colonizer narrative is typically used today as a tool for pushing other forms of tribalism (political, cultural, etc).
Your circulatory system is a fractal for similar reasons that trees are fractals for similar reasons that watersheds are fractals.
Fractal structures are probably the rule rather than the exception for basic reasons of space and energy efficiency.
Here's another interesting fractal thought, where is the universe? In your head, or outside of it, or both?
So the neuronal structure representing the universe in your head is at least in some ways similar to the objective outside universe, if there is such a thing, and if there is such a thing then that neuronal structure in your head is also in(and of) that objective universe while also being similar to it.
A good term for fractals is self-similar.
Self-similarity all the way down.
I am a strange loop. - Douglas Hofstadter
It's in you, and you're in it. - Alan Watts
That which is below is like that which is above & that which is above is like that which is below. - The Emerald Tablet
https://en.wikipedia.org/wiki/Emerald_Tablet#Newton.27s_tran...
If you consider the Curry-Howard correspondence in connection with Gödel's Incompleteness Theorems, the fractal nature of the universe seems inevitable.
What does that have to do with fractals or the physical universe?
What it seems to me (could be totally wrong, would love to know if so) that Gödel's conclusions can then tell us about our universe/computer/executing-program/mathematical-proof (please excuse the fumbly wording) is that it has to have an external universe in which to exist/run/be-consistent-in, which presumably depends upon its own, ad infinitum. In other words, it would have to be universe-program-computer-proofs all the way "out".
Citation for the first point: https://en.wikipedia.org/wiki/Digital_physics
> According to this theory, the universe can be conceived of as either the output of a deterministic or probabilistic computer program, a vast, digital computation device, or mathematically isomorphic to such a device. > "Within each universe all observable quantities are discrete, but the multiverse as a whole is a continuum. When the equations of quantum theory describe a continuous but not-directly-observable transition between two values of a discrete quantity, what they are telling us is that the transition does not take place entirely within one universe. So perhaps the price of continuous motion is not an infinity of consecutive actions, but an infinity of concurrent actions taking place across the multiverse." - David Deutsch
Also, some concepts helpful for bridging the gap:
- Programs (and their states) are graphs
- Graphs are just relationships between quantities
- Every program is an instance of the general pattern `fold(f, input)` [1]
- Imperative programs are just inputs to functional programs
- Computers can be emulated in functional languages
- Traversal of a state graph is equivalent to time travel in the universe described by the states (or travel between the universes described by the states)
- Temporal/causal reasoning is actually spatial reasoning (traversal through the mental representation of state graph edges, i.e. executing a mental program)
- Correspondence between numbers, vector spaces, matrices, objects, closures, programs, functions, graphs, simulations, proofs, mappings, categories
From the above, I believe one can reasonably conclude that:
a) computers are programs
b) computers/programs are subsets of our universe
c) all computers/programs exist inside other computers/programs
d) computers/programs exist in our universe
e) our universe exists in a computer/program, which itself does as well, etc
Again, I haven't had this verified so I'd love to hear why/how this is wrong.
Gödel's first incompleteness theorem that "In any consistent formal system with [enough arithmetic to make a Gödel encoding], there is a proposition P such that neither P nor ¬P have a proof." translates as:
"In any type system that does not allow construction of functions from inhabited types to the empty type ⊥ (this corresponds to consistency), with [enough types and functions to make a Gödel encoding], there is a type T such that neither a program of type T, nor a program of type T → ⊥ (this corresponds to negation), can be constructed."
The semantics of the programs involved don't matter, only the way they manipulate types do. Commutativity of conjunction, for example, is encoded by a function of type (A, B) → (B, A). That this function swaps the values in its input tuples is, for the Curry-Howard correspondence, just an unimportant side effect.
Where was that quote taken from? Surely, the second conclusion is just one of the premisses. Not just T but any inhabited type couldn't be used as the input to a function that returns nil, if that's axiomatic. Correct?
But still, for the first conclusion how can a type without corresponding program be said to exist in the first place?
One way around seems to add a higher order axiom about the truth of the liar paradoxons, to assume all unprovable sentences are wrong. The common example is not a lie nor true, but just not a sentence, IMHO. Then that introduced a new set (or what) of unprovable propositions (incomplete), if not inconsistency? That would be a new insight to me.
I'd rather expected a second order axiom could be removed to achieve completeness, instead. I haven't seen the axioms of goedel that omega_0-complete systems be higher order.
The quote was a restatement from memory (so not really a quote), but you can find a similar summary on Wikipedia https://en.wikipedia.org/wiki/G%C3%B6del%27s_incompleteness_...
> Surely, the second conclusion is just one of the premisses. Not just T but any inhabited type couldn't be used as the input to a function that returns nil, if that's axiomatic. Correct?
I think my choice of T for the arbitrary type was confusing (putting it in italics apparently didn't help). If I had been talking about the top type, I would have used ⊤, not T. (See the difference? Probably not.)
> But still, for the first conclusion how can a type without corresponding program be said to exist in the first place?
A simple syntactic type without corresponding program is "Λa.Λb. a → b" (the capital lambdas are type abstractions, meaning "for all types"). This is actually the same type as "⊥", but that isn't immediately obvious. So given a specific syntactic type expression, the question is whether there are values of that type and if there are, whether you can construct values of such a type.
One type with values that you can't actually construct is the type that says "No value of this type can be constructed." using a Gödel encoding in type-level numbers. That type will be a huge function signature, so it isn't actually relevant to everyday programming, but it has to exist, and there have to be values in that type.
Since you can't actually write down these values, their existence is very annoying, but they are a bit like non-standard numbers in that regard: You can't effectively outlaw them without shooting yourself in the foot.
> One way around seems to add a higher order axiom about the truth of the liar paradoxons, to assume all unprovable sentences are wrong.
That will introduce inconsistency, since Gödel was able to transform a self-referential sentence into a sentence without self-reference, using a construction that is intuitively correct. So if all self-referential sentences without proofs were wrong, the non-self-referential version of "This sentence has no proof." would have to be wrong as well, which means that it has a proof, which makes the original reason for labeling it false invalid.
You could avoid the paradox by claiming that Gödel's construction isn't actually intuitively correct, but since the point of the exercise was to show that mathematical intuition can't be formalized, that doesn't really help.
On the other hand, at very large scales the universe is expressly homogenous (smooth) https://www.space.com/17234-universe-fractal-large-scale-the...
W/r to larger and more wide-ranging questions, e.g. if the mutli-verse has some sort of deep fractal meta-structure, and/or the recursion of fundamental quantum computing operations, the jury is still entirely out.
I assume that's because of looking at it through low pass filters, inadvertantly.
I remember thinking about this in 2011/2012 when it wasn't known (IIRC there was a bet over a bottle of wine between two physicists over this matter). But years later, because a satellite "zoomed out" far enough and sent images back to earth, physicists confirmed that it is very likely that the observable universe is not a fractal (i.e. it's Hausdorff-Besikovitch dimension, which is calculated from measurements, is fractional).
http://www.surya-world.org/hindu-temple-and-the-structure-of...
If that is so, that the universe has a high degree of complexity at every scale, is that really controversial?
Here is an excellent 20 min introduction to fractals: https://www.youtube.com/watch?v=gB9n2gHsHN4
[1]: https://www.youtube.com/watch?v=tsuYZg8k-Zc [2]: https://www.youtube.com/watch?v=00gAbgBu8R4
Also this, and the article it was saved from, bringing music and the proportions of the human body into the equation: https://www.pinterest.com/pin/358317714073877302/
Finally this: "Every society has seen architecture as something that transcends its functional role, as a diagram of the cosmos,"
https://www.theguardian.com/artanddesign/architecture-design...
Edit: I'm an architecture historian so I didn't mean it if I came across as pompous -- but that Gelernter link conveys a weird sense of CS being superior to the art historians, and at the same time makes more of recursive patterns in physical architecture than is justified. I have mixed feeling about this projection of the ideas of one field on to another: something like the Sierpinski gasket is not good architecture, and it takes a real expert in building to understand the difference, not a mathematician/computer scientist who can spot recursion. So my possibly contentious point was that a schematic reading of architecture as recursive (or even cosmic) is valid but also kind of the most superficial non-aesthetic form of thinking about architecture...
The other interesting thing about the Sagrada Familia is that Gaudi based the primary structure on catenary structures.
Off the top of my head, I believe he first made weighted string assemblies of the vaults, such that the string structure is held in perfect tension from the gravitational force of its own weight.
Then by casting the resulting shape in concrete, and flipping the shape over, the resulting structure is optimized for compression. The tensile structure reflects the force of gravity on the string assembly - it is "optimized" for its own weight, so when flipping it over, and swapping the tension members for compression members, we know this new structure is perfectly shaped to distribute internal and self-weight for compression.
http://www.unz.com/isteve/nyt-finally-confirms-barcelona-ter...