Recent content by dvdl

Godel numbering is essentially the creation of an injective function from one set to the natural numbers. The method Godel used was in reference to symbols, formulae, (and proof schemata) in a first order formal system. Basically the formal language consists of a set of symbols, say {a, b, c}...

In order to understand power sets you need to understand what a subset is. I have an exercise for you that may help: Consider the set {a, b, c, d}. List all the subsets of {a, b , c, d} you can think of. [A little note. A book on topology will assume prior knowledge of set...

[Please don't think I am trying to patronise you here. I still use this kind of explanation to explain university level maths to myself.] Replace the word 'set' with the word 'bag'. Now suppose you have 2 bags, one has an apple inside, one has a banana. So you have {a} and {b}. Now try two...

Dear Physicists, Do you know why there was a massive fuss made last year about the experiments at CERN which recorded neutrinos traveling faster than light speed? Do these results contradict any previous experiment? I hear a lot of talk about said results conflicting with the equations...