the church-turing thesis is a pseudo- proposition mark hogarth wolfson college, cambridge
TRANSCRIPT
![Page 1: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/1.jpg)
The Church-Turing Thesis is a Pseudo-proposition
Mark Hogarth
Wolfson College, Cambridge
![Page 2: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/2.jpg)
Will you please stop talking about the Church-Turing thesis, please
![Page 3: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/3.jpg)
Computability
![Page 4: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/4.jpg)
The current view
![Page 5: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/5.jpg)
‘It is absolutely impossible that anybody who understands the question and knows Turing’s definition should decide for a different concept’
Hao Wang
![Page 6: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/6.jpg)
Experiment escorts us last — His pungent companyWill not allow an AxiomAn Opportunity
EMILY DICKINSON
![Page 7: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/7.jpg)
The key idea is simple
There is no ‘natural’ / ‘ideal’/ ‘given’ way to compute.
![Page 8: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/8.jpg)
And the key to understanding this new Computability is to think about another concept, Geometry.
![Page 9: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/9.jpg)
Most important slide of this talk!
The new attitude is achieved by adopting the kind of attitude one has to Geometry, to Computability
![Page 10: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/10.jpg)
Concept change
paradigm (a theory)
new ‘evidence’
opposition
tension
revolution
new paradigm (a new theory)
![Page 11: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/11.jpg)
Tension (roughly late 18the century-1915)
‘I fear the uproar of the Boeotians’ (Gauss)
Kant (EG synthetic a priori)
EG is ‘natural’, ‘perfect’, ‘intuitive’, ‘ideal’
Poincaré: EG is conventionally true
Russell (1897): only non-Euclidean geometries with constant curvature are bona fide
![Page 12: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/12.jpg)
Concept of GeometryConcept of Geometry
Euclidean Geometry
Lobachevskian, Reimannian Geometry
Tension
Pure geometry Physical Geometry
Euclidean Geometry General relativity, etc.LobachevskianReimannianSchwarzschild...
Concept of GeometryConcept of Geometry
Euclidean Geometry
Lobachevskian, Reimannian Geometry
Tension
Pure geometry Physical Geometry
Euclidean Geometry General relativity, etc.LobachevskianReimannianSchwarzschild...
![Page 13: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/13.jpg)
Geometry after 1915
Etc.
![Page 14: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/14.jpg)
Computers
New evidence has coming to light…
We are in period of tension
![Page 15: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/15.jpg)
Concept of ComputabilityConcept of Computability
The Turing machine
Various new computers (mould, SADs, quantum)
tension
Pure computability Physical computability
OTM, SAD1, … Assess the physical theoriesthat house these computers
![Page 16: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/16.jpg)
Concept of GeometryConcept of Geometry
Euclidean Geometry
Lobachevskian, Reimannian Geometry
Tension
Pure geometry Physical Geometry
Euclidean Geometry General relativity, etc.LobachevskianRiemannianSchwarzschild...
Concept of GeometryConcept of Geometry
Euclidean Geometry
Lobachevskian, Reimannian Geometry
Tension
Pure geometry Physical Geometry
Euclidean Geometry General relativity, etc.LobachevskianRiemannianSchwarzschild...
![Page 17: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/17.jpg)
Typical geometrical question:
Do the angles of a triangle sum to 180?
Pure: Yes in Euclidean geometry, No in Lobachevskian, No in Reimannian, etc.
Physical: Actually No
![Page 18: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/18.jpg)
Typical computability question:
Is the halting problem decidable?
Pure: No by OTM, Yes by SAD1, etc.
Physical: problem connected with as yet unsolved cosmic censorship hypothesis (Nemeti’s group).
![Page 19: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/19.jpg)
Question: Is the SAD1 ‘less real’ than the OTM?
Answer: Is Lobachevskian geometry ‘less real’ than Euclidean geometry?
![Page 20: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/20.jpg)
Pure models do not compete, e.g. no infinite vs. finite
![Page 21: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/21.jpg)
The ‘true geometry’ is Euclidean geometry (‘Euclid’s thesis’)
For: ‘pure’, natural, intuitive, different yet equivalent axiomatizations.
Against: Riemannian geometry etc.
Neither is right (pseudo statement)
![Page 22: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/22.jpg)
The ‘Ideal Computer’ is a Turing machine (CT thesis)
For: ‘pure’, natural, intuitive, different yet equivalent axiomatizations.
Against: SAD1 machine etc.
Neither is right (this is no ideal computer, just as there is no true geometry)
![Page 23: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/23.jpg)
What is a computer?
![Page 24: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/24.jpg)
What is a geometry?
![Page 25: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/25.jpg)
Another question: what is pure mathematics?
Partly symbols on bits of paper
We might write, e.g.
Start with 1Add 1 Reveal answerRepeat previous 2 steps
![Page 26: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/26.jpg)
The marks seem to say to us
1,2,3,…
![Page 27: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/27.jpg)
But this is an illusion: the marks alone do nothing
![Page 28: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/28.jpg)
The ‘illusion’ is obvious in Geometry
What is this?
![Page 29: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/29.jpg)
Algorithms are like geometric figures drawn on paper
Without a background geometry, the figure is nothing
Without a background computer, an algorithm is nothing
![Page 30: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/30.jpg)
Just as the New Geometry left Euclidean Geometry untouched, so the New Computability leaves Turing Computability untouched.
Note
![Page 31: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/31.jpg)
Not quite...
Pure Turing model
Physical Turing model – this will involve some physical theory, T, embodying the pure model.
![Page 32: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/32.jpg)
According to T, this machine might be warm or wet or rigid or expanding ...
![Page 33: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/33.jpg)
or possess conscious states or intelligence
![Page 34: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/34.jpg)
T will also give an account of how, e.g., the machine computes 3+4=7
![Page 35: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/35.jpg)
Arithmetic has a physical side
![Page 36: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/36.jpg)
‘Pure mathematics’ has a physical side
![Page 37: The Church-Turing Thesis is a Pseudo- proposition Mark Hogarth Wolfson College, Cambridge](https://reader030.vdocument.in/reader030/viewer/2022032703/56649d095503460f949da83e/html5/thumbnails/37.jpg)
Think Computability, think Geometry