Ancestors

Toot

Written by Grégoire Locqueville on 2025-01-25 at 18:39

Any resource suggestions for an acquaintance of mine who would like to get into #math ? They pretty much stopped doing math in high school, they have a philosophy background, today they're a software developer discovering #Haskell and it makes them want to get into math more. They're very smart.

I was thinking about Bertrand Russell's Introduction to Mathematical Philosophy. Also just discovered (while looking up Russell's book) the existence of An Introduction to the Philosophy of Mathematics by Mark Colyvan, any opinions on that one?

I have suggested they watch pop sci videos such as 3blue1brown's videos, but I feel like they need more of a general foundation rather than expositions on specific topics.

=> More informations about this toot | More toots from glocq@mathstodon.xyz

Descendants

Written by 💡𝚂𝗆𝖺𝗋𝗍𝗆𝖺𝗇 𝙰𝗉𝗉𝗌📱 on 2025-01-26 at 01:34

@glocq

"I feel like they need more of a general foundation"

Khan Academy's Youtube is good for that. Just pick some topics that you're weak on and away you go!

Also, I wrote a whole thread about order of operations at https://dotnet.social/@SmartmanApps/110897908266416158 if they want to learn more about that. I wrote it to be used as an easy reference for when you encounter THOSE types of arguments on socials 😂

=> More informations about this toot | More toots from SmartmanApps@dotnet.social

Written by Julien M. on 2025-01-26 at 20:18

@glocq what about playing with #LeanLang? I guess they may find some tutorial or exercise interesting and reachable for them.

https://leanprover-community.github.io/learn.html

https://leanprover-community.github.io/mathematics_in_lean/

https://leanprover-community.github.io/100.html

https://xenaproject.wordpress.com/2024/01/20/lean-in-2024/

https://leanprover.zulipchat.com

=> More informations about this toot | More toots from julm@autogeree.net

Written by Julien M. on 2025-02-04 at 22:19

@glocq See also https://math.ossu.dev

The #OSSU curriculum is a complete education in mathematics using online materials. It’s for those who want a proper grounding in concepts fundamental to all math disciplines, and for those who have the discipline, will, and good habits to obtain this education largely on their own, but with support from a worldwide community of fellow learners.

It is designed according to the degree requirements of undergraduate math majors, minus general education (non-math) requirements, as it is assumed most of the people following this curriculum are already educated outside the field of math. The courses themselves are among the very best in the world, often coming from #Harvard, #MIT, #Stanford, etc., but specifically chosen to meet the following criteria.

Courses must:

• Match our curricular guidelines the 2015 #CUPM Guide.

• Be open for enrollment

• Run regularly (ideally in self-paced format, otherwise running multiple times per year)

• Be of high quality in teaching materials and pedagogical practice

When no course meets the above criteria, the coursework is supplemented with a book.

=> More informations about this toot | More toots from julm@autogeree.net