Orangey
Blah
- Joined
- Jun 26, 2008
- Messages
- 6,354
- MBTI Type
- ESTP
- Enneagram
- 6w5
Hello all,
I am struggling to understand the concept of mathematical induction, and I need to get a grasp of it soon or else I'll end up bombing my philosophy course. Does anyone here know how to do this stuff that could possibly explain it to me? I've tried taking to the prof, but he is this old guy and I think sometimes he forgets what he's talking about (while he's talking to me).
If you need more specifics, here is an example problem that I should be able to do (keep in mind this is a proof theory course). I need to prove, using induction (and Fitch-style proof), that:
For all Gamma and all A, there is an HJ proof of A on hyp Gamma if and only if there is an FJ proof of A on hyp Gamma.
LFJ and LHJ are languages, namely linear fitch intuitionism and linear hilbert intuitionism.
Sorry for the wordy description of the problem, but I wouldn't be able to get the symbols in here anyway.
Anyway, I know that there are a lot of people on this board with fairly specialized knowledge, so if any of you could help me it would be greatly appreciated.
I am struggling to understand the concept of mathematical induction, and I need to get a grasp of it soon or else I'll end up bombing my philosophy course. Does anyone here know how to do this stuff that could possibly explain it to me? I've tried taking to the prof, but he is this old guy and I think sometimes he forgets what he's talking about (while he's talking to me).
If you need more specifics, here is an example problem that I should be able to do (keep in mind this is a proof theory course). I need to prove, using induction (and Fitch-style proof), that:
For all Gamma and all A, there is an HJ proof of A on hyp Gamma if and only if there is an FJ proof of A on hyp Gamma.
LFJ and LHJ are languages, namely linear fitch intuitionism and linear hilbert intuitionism.
Sorry for the wordy description of the problem, but I wouldn't be able to get the symbols in here anyway.
Anyway, I know that there are a lot of people on this board with fairly specialized knowledge, so if any of you could help me it would be greatly appreciated.