This is to test out the bokeh effect.
Monday, July 13, 2009
Tuesday, March 31, 2009
Target
I need to find back that composure and awake and clear state of mind. Resting enough is a necessary condition although not sufficient.
My Target: 100% for Graph Theory Final Paper
My Target: 100% for Graph Theory Final Paper
Friday, March 27, 2009
It's been a long absence
It has been really a long while since I blog. Work has been giving me really a lot of stress! I miss Bristol and the number theory lecture over there! Everything seemed to be nicer too!
This semester I am doing my Thesis and taking 3 math mods plus an econs mod. It is so unfair to those who did not take A level Econs I feel (inclusive of me). The things that were went through are really very similar to A levels. Anyway, that is not the interesting thing.
My thesis is entitled 'Quantifier Elimination'. For those who do not know, this is a branch from mathematical logic. I guess I will swtich to wordpress soon because of the ability to input latex code in my blog posts. But on the other hand, wonder if I have the time to update regularly. Back to QE, it is deciding whether a theory actually admits the elimination of quantifier or not. Take for example, the Dense Linear Order (DLO). This is a very basic and standard example of a theory that admits DLO. However, there are other theories as well. I will group my thesis into answering 2 questions. One is what are some other theories which admit QE? Also, what is the uses or useful applications or useful consequences of QE in some given theories.
To Algebra, I am quite seh from Modules. To some who think modules is just the module in university courses, I think you better go learn some algebra. Take a ring R, we can produce a R-module M. This module will have to satisfies certain properties which I am too lazy to type it all out.
Logic..... MA4207. It's difficult. Nothing else to say.
Darling, I think I have neglected you for a bit recently. But dun worry, we will enjoy more when the holidays come!
This semester I am doing my Thesis and taking 3 math mods plus an econs mod. It is so unfair to those who did not take A level Econs I feel (inclusive of me). The things that were went through are really very similar to A levels. Anyway, that is not the interesting thing.
My thesis is entitled 'Quantifier Elimination'. For those who do not know, this is a branch from mathematical logic. I guess I will swtich to wordpress soon because of the ability to input latex code in my blog posts. But on the other hand, wonder if I have the time to update regularly. Back to QE, it is deciding whether a theory actually admits the elimination of quantifier or not. Take for example, the Dense Linear Order (DLO). This is a very basic and standard example of a theory that admits DLO. However, there are other theories as well. I will group my thesis into answering 2 questions. One is what are some other theories which admit QE? Also, what is the uses or useful applications or useful consequences of QE in some given theories.
To Algebra, I am quite seh from Modules. To some who think modules is just the module in university courses, I think you better go learn some algebra. Take a ring R, we can produce a R-module M. This module will have to satisfies certain properties which I am too lazy to type it all out.
Logic..... MA4207. It's difficult. Nothing else to say.
Darling, I think I have neglected you for a bit recently. But dun worry, we will enjoy more when the holidays come!
Subscribe to:
Posts (Atom)
