vol VII: Notes
2013
Notes
[Sunday 2 June 2013 - Saturday 8 June 2013]
[Notebook: DB 76 Liberation]
[page 8]
Sunday 2 June 2013
Adelaide
Monday 3 June 2013
Tuesday 4 June 2013
Bishop Geoffrey Robinson Bishop Geoffrey Robinson
Wednesday 5 June 2013
Fefermans page 282: logic deals with the fixed points of the Universe whose relationships are fixed by their dynamics. Feferman
Thursday 6 June 2013
Friday 7 June 2013
Melbourne
Tarski and co are looking for rigorous logical proofs of various logical and mathematical assertions. These are based on sets of axioms (fixed points) and rules of inference (links between fixed points). The rules of inference are formal expressions of the dynamics of deterministic computing
[page 9]
machines which can be emulated (with the help of written text) by the minds of logicians and mathematicians, which are networks.