Alex Strick van Linschoten · @strickvl
224 followers · 93 posts · Server mathstodon.xyz

New module is interesting, but currently seems like I'm just learning a ton of different little facts in .

We're shown how they're connected, and some hints at how formal proof works, but still feels like a mix of dull and firehose at the same time.

Enjoying the practical parts towards the end where we get to use the sum total of those little facts to solve some particular problem or to figure something big out that requires a bit of creativity.

#openuniversity #q31 #mu123 #geometry

Last updated 2 years ago

Alex Strick van Linschoten · @strickvl
220 followers · 81 posts · Server mathstodon.xyz

On an -heavy part of at the moment. Learning how to extract common factors and (today, I hope) how to solve simultaneous linear equations.

Algebra makes me happy. Amazing to think about the historical continuities embedded in these techniques, things handed down and honed over the years. What an amazing toolbox, and a satisfying one to boot!

#openuniversity #q31 #mu123 #algebra

Last updated 2 years ago

Alex Strick van Linschoten · @strickvl
217 followers · 71 posts · Server mathstodon.xyz

Trying to think through how to tie a collection of mathematical ‘tricks’ and operations together in some sort of logical and rounded whole.

mlops.systems/posts/2023-01-01

#mathematics #openuniversity #mu123 #q31

Last updated 2 years ago

Alex Strick van Linschoten · @strickvl
216 followers · 70 posts · Server mathstodon.xyz

Learning about surds today for .

Surds are numerical expressions containing one or more irrational roots of numbers. For example, the root of 5 is irrational in this expression.

\[1 - 2\sqrt5\]

#mu123

Last updated 2 years ago