it's about qualifications on the truth of a proposition- whether something is possibly true, or necessarily true, or impossible.
http://plato.stanford.edu/entries/logic-modal/
ah thanks for that.
it's about qualifications on the truth of a proposition- whether something is possibly true, or necessarily true, or impossible.
http://plato.stanford.edu/entries/logic-modal/
Feynman had a cheerfully instrumentalist view of mathematics, which he seems to have regarded as basically book-keeping. The real interest for him was elsewhere. I have absolutely no idea how his mind worked.
Think that this is pretty much true. To some extent you can almost get through a maths degree with this approach. The problem is that if you don't have the understanding you can't deal with something very well when it varies from the versions you've seen in the past. I've been playing a lot of squash recently and I would draw an analogy with technique in this sport - if you haven't got a good and natural feeling technique you may well be able to deal with a certain number of shots but then you get tougher ones where you need to improvise and if you haven't got the basics instintively you will struggle."One way of dealing with this is to not insist on "getting" things, but just learn how to recognise and use them at the "oh yes, that's one of those, you do this..." level. Get on your knees and pray, and belief will come, seems to be the philosophy."
I'm interested in the minds whose workings you do have an idea about."I have absolutely no idea how his mind worked."
Isn't it a one-to-one and reversible mapping between two things that are in some way identical and which preserves relationships in those things.... or something?"i still don't have an understanding of what an isomorphism is and it came up every fucking year."
That doesn't sound right. If you have a two-to-one mapping then it can't be reversible because there wouldn't be a unique point for the reverse map to take any given point in the original destination space back to."I don't think it has to be one-to-one - for example the group SU(2) has a two-to-one isomorphism to O(3), AFAIR. Couldn't swear to it, though - Slothrop to thread, please!"
It's one to one and 'structure preserving'. If there's an isomorphism between two things (an isomorphism from A to B automatically gives an isomorphism from B to A because they're invertible) it means that "in terms of the sort of structure that we're looking at, these are identical."I don't think it has to be one-to-one - for example the group SU(2) has a two-to-one isomorphism to O(3), AFAIR. Couldn't swear to it, though - Slothrop to thread, please!
But what depends on this is whether the mapping is one-to-one, not whether it is necessary for a mapping to be one-to-one to be an isomorphism."So it depends whether you're talking about groups or the Lie algebras describing the groups. Bit out of my depth here, to be honest."
But what depends on this is whether the mapping is one-to-one, not whether it is necessary for a mapping to be one-to-one to be an isomorphism.
Who changed the channel to Open University when I was away?
Yeah, pretty much. A lot of the terminology is legacy stuff afaict.Kinda confusing because as far as I can see, 'iso' and 'homo' are both ways of saying 'the same'. Edit: apparently 'iso' means 'equal', not 'same'. Isotope, isobar etc. etc...
well i think you've gathered my problem. loved groups rings and modules and then suddenly they start throwing in iso and homos and my brain goes numb.