- #1
unko
- 2
- 0
Hi, I'm planning to start my Master programme this december. I am very interested in philosophy of logic. And i am inclined to read more proof theory rather than model theory. And i really wanted to engage in proof theory as my first reading materials towards mathematical logic area.
Unfortunately none of my professors in my university are in mathematical logic's sphere. But one of my professor agreed supervising me and his current interest is on Group theory. His suggestion was to make use Proof theory as a basis to study Algebra for my dissertation. I never went further into Model theory but I'm guessing Model theory is closer to Algebra than Proof theory.
So, I'm wondering if i can just continue my reading on Proof theory, hoping that it can somehow help me with my dissertation later on Logic in Algebra. Because i really wanted to finish my reading on Proof Theory (Takeuti) and Handbook of Proof theory (Samuel R. Buss) before this December
If Model theory is really indispensable(is it?) in writing thesis for logic in algebra, and since Proof theory and Model theory shared many basic theorems, then can i just read Proof theory, and when i finished reading it, i can easily understand Model theory later for my thesis in Algebra. Can i ?
Sorry for my bad english
Unfortunately none of my professors in my university are in mathematical logic's sphere. But one of my professor agreed supervising me and his current interest is on Group theory. His suggestion was to make use Proof theory as a basis to study Algebra for my dissertation. I never went further into Model theory but I'm guessing Model theory is closer to Algebra than Proof theory.
So, I'm wondering if i can just continue my reading on Proof theory, hoping that it can somehow help me with my dissertation later on Logic in Algebra. Because i really wanted to finish my reading on Proof Theory (Takeuti) and Handbook of Proof theory (Samuel R. Buss) before this December
If Model theory is really indispensable(is it?) in writing thesis for logic in algebra, and since Proof theory and Model theory shared many basic theorems, then can i just read Proof theory, and when i finished reading it, i can easily understand Model theory later for my thesis in Algebra. Can i ?
Sorry for my bad english