vol 7: Notes
2003
Site map
Directory
Search this site
Home
1: About
2: Synopsis
3: Development
Next:
Previous: Notes 2003: Toc
... to restore theology to the mainstream of science
[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: "Goedel's theorem a limitation on our formalization processes and not a limit on human reasoning."
page 6: Goedel liked Turing's definition of 'formally computable'.
Friday 31 January 2003
Saturday 1 February 2003
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 |
Click on an "Amazon" link in the booklist at the foot of the page to buy the book, see more details or search for similar items
Related sites:
Concordat Watch
Revealing Vatican attempts to propagate its religion by international treaty
