Okay, it's time. Time to change servers. Time to have local & federated timelines that don't make my eyes bleed. Time to support an indie effort.
Does anyone want to share about their server? My main interests are #Music - I play #Eurorack#Synth, #Guitar, #ChapmanStick, and software, with varying degrees of skill - and #Mathematics - I'm attempting to get into grad school for #Math to facilitate a career change. I'm also liberal af, if that matters one way or the other on your server.
Gefällt euch eine der drei folgenden Ideen für #Fantasy Geschichten
Wenn ja, welche?
Anna arbeitet für die Planungsabteilung der Berliner E-Werke. Bei einer Revision stellt sie fest, dass jedes Jahr etliche MWh Strom unabgerechnet im Stadtbezirk Mitte verbraucht werden.
Als sie beschließt, der Sache auf den Grund zu gehen, stößt sie auf einen zunächst verlassenen scheinenden U-Bahn-Schacht. Als sie jedoch Stimmen hört, versteckt sie sich. Sie fängt einzelne Gesprächsfetzen auf, …
"Mathematics may be defined as the subject in which we never know what we are talking about, nor whether what we are saying is true." – Bertrand Russell (1872–1970) #quote#mathematics#maths#math
My #math Mastodon peeps. These days school doesn't emphasize teaching logic and proofs, like they did when I took plane geometry which was really about proof and not really about triangles and such.
Does anyone have suggestions for modern resources I could assign my kids to do beginning proofs? One kid is studying calculus in 7th grade the other is in more normal speed, studying basic algebra. I'd just like to give them maybe a problem a week to prove something but in a thoughtful way.
Just started writing up a few of my notes on introductory Category Theory. Not much here yet (it took me awhile to get Figure 1 to look right, and it's still not perfect).
"Our principal ambition for this paper is to make invitations to pure mathematicians to consider deploying constraint logic programming systems to assist in research, and to enthusiasts of the logic programming paradigm to consider applying their skills to problems in Lie theory. To this end we narrate a recent adventure searching for new simple Lie algebras over the field F2 = GF(2) of two elements in dialogue with the Prolog programming environment"
Holy crap. Someone won the Texas Lotto -- to the tune of $95 million -- by buying every combination of number available. They apparently invested approximately $25.8M to accomplish that. (Paywall busted below) https://archive.is/etkX9