- #1
Math Amateur
Gold Member
MHB
- 3,998
- 48
I am reading the book Mathematical Logic by Ian Chiswell and Wilfred Hodges ... and am currently focused on Chapter 3: Propositional Logic ...
I need help with Exercise 3.2.5 which reads as follows:View attachment 5026Can someone please help me with reconstructing the formula of the Gödel number that is given ...
Thoughts ... it seems that \(\displaystyle p_1\) (15) is involved ... and indeed also \(\displaystyle \neg p_1\) ( \(\displaystyle 2^{15} \times 3^9\) )
It also seems that \(\displaystyle p_0\) (13) is involved ...
... ... BUT ... where to from here ...Hope someone can help ...
Peter
I need help with Exercise 3.2.5 which reads as follows:View attachment 5026Can someone please help me with reconstructing the formula of the Gödel number that is given ...
Thoughts ... it seems that \(\displaystyle p_1\) (15) is involved ... and indeed also \(\displaystyle \neg p_1\) ( \(\displaystyle 2^{15} \times 3^9\) )
It also seems that \(\displaystyle p_0\) (13) is involved ...
... ... BUT ... where to from here ...Hope someone can help ...
Peter
Last edited: