Thanks for sharing. I remember reading Introduction to Lambda Calculus many years ago and it was one of those times where I had crazy math dreams and would wonder around SF convinced everything is functions. Like literally everything.
I wonder if it's an age/brain development thing. I also had crazy math and programming dreams in my early 20s. I don't get those any more, though I still spend a lot of waking time (possibly more now than back then) obsessing over math and programming problems.
I saw a video series long ago where a guy kept playing with shapes algorithmically like this, and his catch phrase was something like "oops, I made a fractal again". Wish I could find it!
The video didn't make this clear, but it is answering real questions. Its used in the study of geometrical optics, celestial navigation, etc. Ie set up a 'toy' problem that gives you insights into rather more complicated dynamical systems.
From Tabachnikov's book Geometry and Billiards:
Classical mechanics and geometrical optics, discussed in this chapter, are intimately related. The configuration trajectories of mechanical systems are extremals of a variational principle, similar to the trajectories of light. In fact, mechanics can be described as akind of geometrical optics; this was Hamilton’s approach to mechanics(see [3] for details). The brachistochrone problem is a good example of this optics-mechanics analogy.
I think it might be the mix and the (low) level of voice over background and the stereo image combined with what I am listening on that makes me uncomfortable for some reason.
The video contains no equations, but it cites original, ongoing, research that has been going on since the 50s. Sure, you could rip a bong and go "woah, cool colors", or you could follow the links and read, say, Tabachnikov's book.
Personally I found that the videos instantly made some group theory aspects of this stand out. Maybe I'm completely off, and that's not really how this is approached, but now I have a question/idea as a foil which I can use to look a bit deeper. In any case, the animation SW came from a researcher in the field, I don't think they are doing this to generate junk food, but to solve actual problems in their field.
That’s not entirely true. There are parts of mathematics that have useful real world applications. Sometimes even the parts we thought were esoteric and abstract turn out to have applications that were not conceived of yet at the time of discovery.
Delightful video on the lambda calculus and other compution concepts https://www.youtube.com/watch?v=RcVA8Nj6HEo
I was curious what they used to generate the graphic's and it's their own tool:
https://github.com/2swap/swaptube
0: https://en.wikipedia.org/wiki/Donald_in_Mathmagic_Land
BRB going to go make hyperbolic outer billards art
From Tabachnikov's book Geometry and Billiards:
Classical mechanics and geometrical optics, discussed in this chapter, are intimately related. The configuration trajectories of mechanical systems are extremals of a variational principle, similar to the trajectories of light. In fact, mechanics can be described as akind of geometrical optics; this was Hamilton’s approach to mechanics(see [3] for details). The brachistochrone problem is a good example of this optics-mechanics analogy.
Personally I found that the videos instantly made some group theory aspects of this stand out. Maybe I'm completely off, and that's not really how this is approached, but now I have a question/idea as a foil which I can use to look a bit deeper. In any case, the animation SW came from a researcher in the field, I don't think they are doing this to generate junk food, but to solve actual problems in their field.