jvvw
Joined 12 years ago
Joined 12 years ago
In the first case, I decided to talk to an expert in the particular area who then ordered different tests. These indicated the issue had actually gone away completely, and I avoided surgery as a result of those.
In the other, a grade 2 ACL tear, it was less clear-cut, but I felt like the explanations given by the second doctor as to why he'd recommend against surgery were clearer and made more sense to me.
I'm glad I got both second opinions and the first case in particular, made me much more likely to get second opinions in future as well as more confident about doing so.
I do find it implausible that you'd need the type of background that I had in logic back then, which included the type of stuff mentioned, for doing stuff in Lean though.
I have experimented a bit with AI and have found that AI isn't always great at catering precisely to the syllabus/marking criteria of a specific exam boards even when you give them all the docs publicly available (although I haven't tried frontier models). Somebody who has worked as an examiner for the exam board knows the tricks for how to structure longer answers to both get the marks and to not waste time in the exam. Of course, it may be that I haven't prompted well enough, but if I can't manage to do that, then I probably can't expect my children to!
I actually want to see interesting theories and mathematical ideas come out of proofs more than I want solutions/proofs. After all most maths doesn't have direct practical applications. So although unsolved problems are a good barometer of 'there's still stuff left to understand here', the interesting part about solving them is less knowing what is true and more 'how does this help us understand this field better than we did before?'.
I would still like to know if the Riemann Hypothesis is true though!
You can do it - I doubt you could have got a first when I was at Oxford just by learning and understanding the material, but you should probably have been able to get an upper second. The final part of every question virtually always involved insight, but you'd obviously then have to prove what that insight helped you understand.
If you give people questions like those, there is the risk of complaints about the university not having been taught the material for the exams I guess, or you might find that nobody can answer those harder intuition parts. Certainly most students at Oxford couldn't answer that many of them - you needed to answer about three 'final' parts out of about ten questions say in each three hour exam to get a first and perhaps about 20 percent of students got firsts?
I have mixed feelings about Scratch but it does engage children more than most other tools out there and I suspect its value isn't so much for the children who would have become programmers come what may, but in terms of increasing a baseline understanding of some programming concepts in the more general population and helping some children discover they enjoy programming who never would have done otherwise.
But you had tutorials each week, and if your tutors thought you weren't doing enough work they could set you exams mid-course called 'penal collections' and if you failed them you could be thrown out. They were rare but definitely not unknown.