Jul. 8th, 2005

gusl: (Default)
When I lived in London (second apartment), I remember the Israeli embassy bombing. My aunt and sister heard it from home, and were very surprised that I hadn't heard anything.
Things were very organized and everyone was very calm, but the difference is that no one died then! Kensington High Street was closed off, even to pedestrians; so, as a bored teenager, this was an opportunity for me to change my routine and explore my neighbourhood. I still have fond memories of Kensington Court, which I revisited in 2002.

Back in 1994, my cousin Ricardo was visiting us on holiday, and we used to play football (soccer) in the park... and my 5-year-old brother was an excellent and brave goalie (I guess the fall isn't so hard when you're a little kid). This was also when we followed the World Cup and Brazil became tetrachampions of the world. I took football really seriously then, and my 15-year-old heart was shaken during that heart-wrenching scoreless final.

I also remember that my parents wanted to move out of our third apartment because we were neighbours with the Lybian embassy. Once or twice, we saw small demonstrations, probably against Mr Kadafi.
gusl: (Default)
In physics, formulas are meant to be interpreted in terms of models: while "F = m a" can be interpreted into any body, "a = v^2 / R" only holds of objects in Uniform Circular Motion (UCM).

You can easily "make the laws of physics lie" by combining formulas to make absurd derivations.

My theory is that truth of formulas is defined on models
(e.g. UCM(body1, body2) |= a_body1 = v_body1^2 / distance(body1,body2) says that this formula is true in the set of models where body1 is in UCM around body2),

and that absurdities will only happen when the models assumed by the formulas are incompatible. But how do we decide whether two models can be combined? My current research goal is to define such a compatibility criterion.

I may need to create a meta-language (syntax for talking about models) in order to do this, but this sounds like it could be too much work.

February 2020

S M T W T F S
      1
2345678
9101112131415
16171819202122
23242526272829

Most Popular Tags

Style Credit

Expand Cut Tags

No cut tags