#
#
The von der Surwitzes are back at the student center cafe for a break. This time just a pastry and a tea.
𝔘𝔱𝔢: I have to say, I’m
very glad I’m approaching the whole post-calculus math world from this
perspective.
𝔘𝔴𝔢: Are we in fact
post-calc? [silence, mulling over question] \
𝔘𝔯𝔰𝔲𝔩𝔞: Yes. We’ve
taken all our calc, Linear Algebra, Differential
Equations. We’re where a German Gymnasiast would be entering
a university. \
𝔘𝔱𝔢: Do you remember
what Professor Chandra said about that MIT professor who would turn
whatever math he wanted to remember into code[fn:1]? \
[eating and drinking pause] \
𝔘𝔱𝔢: We’ve got to be
careful not to — in Beschlag nehmen? \
𝔘𝔴𝔢: You could say
hog. \
[embarrassed laughter] \
𝔘𝔱𝔢: Right. We can’t
hog the professor. \
𝔘𝔯𝔰𝔲𝔩𝔞: I don’t think
there’s any risk of that. There’s not that many of us. \
[murmurs of agreement] \
𝔘𝔱𝔢: And we can’t get
too wild and far afield. We always need to follow her lead. \
𝔘𝔴𝔢: I don’t think
there’s any risk of that. The woman knows what she wants this to
be. \
[eating and drinking and looking around the cafe] \
𝔘𝔴𝔢: No, this had
really worked out, you, Ursula, racing ahead with the Haskell. And I
going ahead with the set theory, and you, Ute, going on ahead with the
math logic. I mean, we’re definitely making progress. It’s just that
we have so much to learn! \
[affirmations]
𝔘𝔱𝔢: Mama and Papa will
be less help. \
𝔘𝔴𝔢: You mean because
they’re in the empirical world. \
[murmurs of agreement] \
- cite:&cummings2021proofs
- cite:&forman2015whole
- cite:&doets2012haskell
Back at the library study room they’ve checked out the reserved books and are looking through sections of those that deal with the basic theory of division.
:{
isPrime n = filter (\x -> n `mod` x == 0) [2..n] == [n]
primes n = filter isPrime [1..n]
:}primes 100[2,3,5,7,11,13,17,19,23,29,31,37,41,43,47,53,59,61,67,71,73,79,83,89,97]
[fn:1] Gerald Sussman.