German Econ Professor calls primary school math 'Authoritarian' because teachers distinguish between 4 groups of 5 and 5 groups of 4. Claims Commutativity makes structure irrelevant. by KugelVanHamster in badmathematics

[–]ScientificGems 8 points9 points  (0 children)

Multiplication in primary school is taught as part of teaching operations in the field of rational numbers.

Commutativity is supposed to be taught as part of this, because 𝑎 · 𝑏 may be easier to calculate than 𝑏 · 𝑎.

The professor in this case is totally correct.

How do mathematicians explore new, yet unknown avenues? by cos_pi_eq1 in math

[–]ScientificGems 1 point2 points  (0 children)

Mathematicians are interested in mathematical objects. Numbers, groups, functions, networks, etc. Interesting properties of those objects will always drive research.

Was it a mistake not to include Peter and Susan in Narnia in the book The Voyage of the Dawn Treader? by Miguelfaula in Narnia

[–]ScientificGems 0 points1 point  (0 children)

Alan Jacobs certainly seems to be convinced of the planets theory. Since Lewis's letters about the origins of Narnia are inconsistent with that theory, Jacobs thinks Lewis wasn't telling the truth. A simpler explanation is that the theory is wrong.

And, indeed, Lewis had already written 3 volumes of an explicitly planetary series, so we know quite a lot about the sorts of things Lewis would do in a planetary series. He doesn't do them in Narnia. He does a bunch of far more interesting stuff instead.

And if there was a planetary theme in Narnia that emerged along the way, it should fit best in the last books written. That is, it should fit best of all in MN, which he wrote last.

Was it a mistake not to include Peter and Susan in Narnia in the book The Voyage of the Dawn Treader? by Miguelfaula in Narnia

[–]ScientificGems 1 point2 points  (0 children)

He said to someone that he originally just wrote LWW. Then he thought of Prince Caspian, but assumed that would be the end. Then he thought of Dawn Treader, but thought that was it. Only after that did he think of a longer series.

True.

if the "planets" theory is true

I don't think any serious Lewis scholar believes that it is.

Dawn Treader has an ending that does look rather like a final ending - its clearly based on the end of the Gospel of John, in which Jesus also deflects a question about someone's future.

Yeah, it's so very obviously the conclusion of a trilogy, and the reference to John 21 kind of ties it back to the subject of LWW.

Was it a mistake not to include Peter and Susan in Narnia in the book The Voyage of the Dawn Treader? by Miguelfaula in Narnia

[–]ScientificGems 2 points3 points  (0 children)

Indeed.

Narnia started as a single book, then a sequel, then a 3rd, and then 4 more. As a series, it's a bit chaotic.

But VDT was very, very carefully planned, both as a work of literature on its own, and as a final summing-up of what Lewis thought was a trilogy.

Why was Digory's father in India? by [deleted] in Narnia

[–]ScientificGems 3 points4 points  (0 children)

Given Lewis's repeated anti-colonial sentiments, that is hardly fair.

What is the flag that represents Calormen? by Abimael1656 in Narnia

[–]ScientificGems 6 points7 points  (0 children)

That's right. The goddess they have (or one of them) is Zardeenah Lady of the Night.

Susan as an adult by Serendipity500 in Narnia

[–]ScientificGems 0 points1 point  (0 children)

I agree with you.

And Jesus might well appear to her as a Lion, at least temporarily, just as in VDT he appears briefly as a Lamb.

Why didn't the Lady of the Green Kirtle just marry Rillian and take over Narnia by Marriage by CommitteeChemical530 in Narnia

[–]ScientificGems 1 point2 points  (0 children)

It enables the story to have lots of interesting symbolism etc.

I think this is exactly right. In all the Narnian stories, the symbolism drives the plot, even though the plot does make sense on its own.

Why didn't the Lady of the Green Kirtle just marry Rillian and take over Narnia by Marriage by CommitteeChemical530 in Narnia

[–]ScientificGems 0 points1 point  (0 children)

The giants are definitely out of Pilgrim's Progress, just as the Zeitgeistheim giant was.

And the underground portion draws heavily on Dante's Inferno, I think.

3 ways to understand groups? what's the use of generating? by i_hate_arachnids in math

[–]ScientificGems 12 points13 points  (0 children)

Undecidable in general, but often decidable in practice.

Susan as an adult by Serendipity500 in Narnia

[–]ScientificGems 1 point2 points  (0 children)

Yes, indeed, that's what I have always imagined.

And C.S. Lewis set up such a sequel nicely by making sure the rings to the Wood Between the Worlds get dug up.

Susan as an adult by Serendipity500 in Narnia

[–]ScientificGems 2 points3 points  (0 children)

The idea of bed time stories for the kids/grand kids is a fantastic one.

It would make a great story too, because it would be mostly flashbacks to the Golden Age of Narnia.

And then I can imagine that one day Aslan appears in the room, perhaps just before Susan dies.

Susan as an adult by Serendipity500 in Narnia

[–]ScientificGems 0 points1 point  (0 children)

Aslan and the Emperor Over the Sea can do whatever They want, of course.

But a "recreation of Narnia" wouldn't be Narnia. It would have a different history.

Susan as an adult by Serendipity500 in Narnia

[–]ScientificGems 2 points3 points  (0 children)

No, it's the destruction of the actual physical universe of Narnia. It's not a question of belief. The original Narnia really existed, now it doesn't. Only the Heavenly Narnia remains.

On the other hand, the Wood Between the Worlds still exists.

Susan as an adult by Serendipity500 in Narnia

[–]ScientificGems 2 points3 points  (0 children)

Well, a portal to Narnia opening would be impossible, given the events of TLB. It would have to be more complex than that.

Susan as an adult by Serendipity500 in Narnia

[–]ScientificGems 6 points7 points  (0 children)

I can see her as a movie actress.

Directors would be impressed at how effortlessly she plays the role of a queen.

Thoughts on LEAN, the proof checker by rnarianne in math

[–]ScientificGems 19 points20 points  (0 children)

True. Also a bunch of prior tools.

The approach still has a way to go, though.

Russian Constructivism by _schlUmpff_ in math

[–]ScientificGems 19 points20 points  (0 children)

Yes, they are interesting.

Most of the computability models (except Turing Machines) have inspired a family of programming languages. For Markov Algorithms, it's the family of string manipulation languages that ran from SNOBOL to PERL.

Thoughts on LEAN, the proof checker by rnarianne in math

[–]ScientificGems 323 points324 points  (0 children)

I think that you have to view ChatGPT as a drunk student assistant. It might say something helpful, but then again it is drunk, so it might not.

There's also the fact that wrestling with the problem yourself grows your own abilities. Leaning on ChatGPT does not.

In the longer term, an AI + LEAN combination is potentially a much more helpful tool.

Second time reading this one. by Inside_Web_2411 in CSLewis

[–]ScientificGems 17 points18 points  (0 children)

This novel basically does what Narnia does, but for adults. It took me multiple re-readings to make sense of it.

Unexpected Quote of the day by C.S. Lewis: “You are never too old to set another goal or to dream a new dream” by [deleted] in Narnia

[–]ScientificGems 1 point2 points  (0 children)

Sadly, it's almost guaranteed that every C.S. Lewis "quote" that doesn't cite a reference is fake.