Notes

[Notebook Turkey, DB 55]

[Sunday 26 january 2003 - Saturday 25 January 2003]

[page 28]

Sunday 26 January 2003

Monday 27 January 2003

A black sense of humour may be an asset in a world full of thought crimes, ie lying, fabrication, deception, mental coercion, withholding of literature, education, etc etc.

Right to a) the truth and b) a satisfactory amount of truth.

All the above are misuses of power, that is of the ability to specify the state of another entity.

Tuesday 28 January 2003

Wednesday 29 January 2003

Thursday 30 January 2003

Ord, Honours thesis. Toby Ord.

page 2: "Gödel's theorem a limitation on our formalization processes and not a limit on human reasoning."

page 6: Gödel liked Turing's definition of 'formally computable'.

Friday 31 January 2003

Saturday 1 February 2003

Related sites

Concordat Watch

Revealing Vatican attempts to propagate its religion by international treaty

---

Copyright:

You may copy this material freely provided only that you quote fairly and provide a link (or reference) to your source.

---

Links

Toby Ord Hypercomputation: Computing more than the Turing Machine Abstract: 'In this report I provide an introduction to the burgeoning field of hypercomputation - the study of machines that can compute more than Turing machines. I take an extensive survey of many of the key concepts in the field ... To this I add new results and and draw out some interesting consequences of hypercomputation for several different disciplines.' back