Slightly off topic (since there's already been so many better answers than I can write), but our knowledge of the dino-slaying asteroid came much later: https://en.wikipedia.org/wiki/Alvarez_hypothesis
I really do think the incompleteness theorems deserve the attention they get, not just because of what they say about efforts to formalize mathematics and because of the historical context -- remember Gödel numbers came (just) before Turing and the first recognizably modern electronic computers. That numbers can represent things that are not numbers was (IMO) a revolutionary idea.
Having said all that, I'd taken mathematical logic in college to learn about incompletenss, but the most interesting things I got out of it were completeness and compactness. Non-standard models really can be quite interesting.
In addition to the above links on quasicrystals etc, it may help to have a bit of context on periodic tilings, which have very precise mathematical properties: https://en.wikipedia.org/wiki/Lattice_(group).
I had an even older iPad I was happily using for similar use cases. Until one day a family member bricked it and I needed to factory reset. No big deal, I thought -- nothing important on it. Turns out it needed to phone home to do the factory reset, and since the server it wanted to talk to was no longer up (or perhaps the address changed?) I couldn't factory reset the iPad.
If someone has a work-around I'd love to hear it. Until then, or until Apple changes this design, I think I'm done with iPads. I don't want to pay that much to "own" something that Apple can simply make obsolete by reconfiguring or turning off a server somewhere.
There are “service providers” on EBay that I’ve used in the past to unlock iPads used by former unresponsive employees. Not sure about exact situation, in my case they defeated the iCloud lock. Was about a $100 a pop. All done remotely.
In my couple decades as an academic mathematician I've only ever met one. He was a strong advocate, and got me to install & try it, but I could never convert to using it fulltime.
There are multiple efforts and a good number of VC working on AI DA system. DA is fundamentally a hand-crafted optimization process just like NN. I once reimplemented an EnKF in pytorch and it works amazingly fast. But our observations are so dirty and sparse. ECMWF tuned their system so well. NOAA definitely has potential being even better, but no hope any soon future IMHO.
Yup. Back in my day there was 1.00, a Civil Engineering course, a pretty standard intro to programming in plain old C. I don't know if it still exists. There was nothing of that sort in EECS, though there are lots of IAP courses (which take place in January, before spring semester starts). IMO a month is about right to spend on (leisurely) picking up a programming language for fun. A friend and I learned APL that way.
In 2004 or so, 1.00 was an intro to Java course. I took it very cynically to pad out my units; I was a course 6 senior at the time. I got side-eyed by TAs a lot.
reply