@JoelMcCracken Maybe I meant "modern treatments of logic"...
One amazing thing is that a lot of early, famous 20th cen. work in logic and theory of computation (turing machines, lambda calculus, godel's stuff, halting problem, etc) was very "computer sciency" but no computers existed yet.
@JoelMcCracken@martinmrmar I am no mathematician, just a humble programmer, but my guess is that formal logic was developed relatively recently and has stayed separate from other parts of math. You get it with discrete math b/c both are tightly connected with compuation, and so get lumped together.
@paulsanwald@Mark_Stryker If you go to https://t.co/CSk0EZvlib and pick up the July/August 2012 issue there is a good survey of a ton of Mahler symphony recordings there.
Dave Hurwitz on youtube also has a lot of material on this question.
But as Mark said, there is way too much.
@peterb@bromethazine i love that shit. though i left a bag at work as communal snacks and only me and @peterb liked them. i don't understand what is wrong with people.
@bromethazine I used the fairly public academic internet in 1983/4. Mosaic is not until 1993 or so, and that's the real marker. Doesn't really start to hit until Netscape matures a year or two later.
@robhaskins @RMRoss_ FWIW the Munch is in Apple Music and also the iTunes store as a download (lower bit-rate) ... Presto Music has high bit rate downloads though!
https://t.co/cyfNqfM6BT