3 ms·
Total aside. I just looked at https://conwaylife.com/wiki/Ocellus https://conwaylife.com/wiki/Ocellus -- there is one main glider. I noticed the two biggish cur
by xpe 3y ago
Total aside. I just looked at https://conwaylife.com/wiki/Ocellus https://conwaylife.com/wiki/Ocellus -- there is one main glider. I noticed the two biggish curvy Golgi apparatus-looking-things on the sides and wondered if they play a necessary role in preserving the cyclical pattern. I guessed they might be important to prevent the three squares on each end from breaking down when the glider collides with them. I couldn't tell for sure as the animation was too fast. Well, turns out there is a very nice LifeViewer that allowed me to play with the sequence! By stepping the simulation I could see that the curvy structures play a role.
- cultureswitch 3y agoPeople be watching this and still argue "math is invented" smh
- trenchgun 3y agoMath is an empirical science.
- kuhewa 3y agoIf it is a science, it can't have theorems. Empiricism is often involves in mathematical discoveries but the key difference is math isn't reliant on empiricism and at least in theory the current body of mathematical knowledge can reasoned entirely from simple axioms.
- xpe 3y agoWhy do you say this? What do you mean? You recognize that "empirical science" has a clear meaning to most scientists, right? This idea is quite different than formal reasoning (e.g. deduction over theorems).
- nairboon 3y agoSome math is actually invented, like transfinite numbers. But feel free to empirically construct one of those...
- xpe 3y agoI'm familiar with the underlying concepts in philosophy, but I can't be sure what _you_ mean here. Care to explain?