literature
Literature
Authors
Jobs
Seminars
Conferences
DataBETA

Strong determinism versus computability

Dec, 1994
13 pages
e-Print:
View in:
pdf
reference search1 citation

Citations per year

20222023202401
Abstract: (arXiv)
Are minds subject to laws of physics? Are the laws of physics computable? Are conscious thought processes computable? Currently there is little agreement as to what are the right answers to these questions. Penrose goes one step further and asserts that: {\it a radical new theory is indeed needed, and I am suggesting, moreover, that this theory, when it is found, will be of an essentially non-computational character.} The aim of this paper is three fold: 1) to examine the incompatibility between the hypothesis of strong determinism and computability, 2) to give new examples of uncomputable physical laws, and 3) to discuss the relevance of Gödel's Incompleteness Theorem in refuting the claim that an algorithmic theory---like strong AI---can provide an adequate theory of mind. Finally, we question the adequacy of the theory of computation to discuss physical laws and thought processes.
Note:
  • 13 pages, LaTeX
  • 1
    • [2]
      p t 0 Z 1 1 1 ( y2 + 1) K 2( y) dy: I n cas eH wasi n 1,t hen K i si n 1 aswel l.So,t hepr obl em t o t
      • [3]
        A s ugges t ed i nt er pr et at i on oft he quant um t heor y i n t er m sof\hi dden" var i abl esI& I I, Phys.Rev.85
        • D.Bohm
        • [4]
          covi ch.Theori a Phi l osophi ae Nat ur al i s,Vi enna,1758
          • R.Bos
          • [5]
            i dges.Com put abi l i t y| A M at hem at i calSket chbook,Spr i nger Ver l ag,Ber l i n
            • D.S.Br
          • [6]
            i dges.Cons t r uct i ve m at hem at i cs and unbounded oper at or s | a r epl y t o Hel l m an,J.Phi l. Logi c
            • D.S.Br
            • [7]
              ude.Theori es ofCom put at i onalCom pl exi t y,Nor t hHol l and,Am s t er dam
              • C.Cal
            • [8]
              ude.I nf orm at i on and Random ness.An Al gori t hm i c Perspect i ve,Spr i nger Ver l ag,Ber l i n
              • C.Cal
            • [9]
              ude,H.Jur gens en,M.Zi m and.I si ndependence an except i on?,Appl.M at h.Com put.[t o appear]
              • C.Cal
            • [10]
              ude,A.Sal om aa.Al gor i t hm i cal l y codi ng t he uni ver s e,i n G.Rozenber
              • C.Cal
              • [11]
                nes s.O n canoni calf or m sand s i m pl i cat i ons,J.Assoc.Com put.M ach.17, 385396
                • B.F.Cavi
              • [12]
                t i n.Al gori t hm i cI nf orm at i on Theory,Cam br i dgeUni ver s i t yPr es s,Cam br i dge,.( t
                • G.J.Chai
              • [13]
                t i n.I nf orm at i on, Random ness and I ncom pl et eness, Papers on Al gori t hm i c I nf orm at i on Theory,W
                • G.J.Chai
                • [14]
                  t i n. The Li m i t s of M at hem at i cs I V, I BM Res
                  • G.J. Chai
                • [15]
                  t i n.Em ai lt o C.Cal
                  • G.J.Chai
                • [16]
                  SetTheory and t he Cont i nuum Hypot hesi s,Benj am i n,New Yor k
                  • P.J.Cohen
                • [17]
                  K.D eLeuuw,E.F.M oor e,C.E.Shannon,N.Shapi r o.Com put abi l i t y by pr obabi l i s t i cm achi nes,i n
                  • C.E.Shannon
                  • [18]
                    t a,F.A.D or i a.Undeci dabi l i t y and i ncom pl et enes si n cl as s i calm echani cs,I nt ernat. J.Theor
                    • N.C.A.da Cos
                    • [19]
                      ant,D.Hi l ber t.M et hods ofM at hem at i calPhysi cs,W i l ey,New Yor k,vol.1,,vol.2, 1962
                      • R.Cour
                    • [20]
                      ns t ei n.G rundzuge der Rel at i vi t at st heori e,Vi eweg,Br auns chwei g
                      • A.Ei
                    • [21]
                      et t.\Rel at i ves t at e"f or m ul at i on ofquant um m echani cs,Revi ewsofM odern Physi cs29, 454462
                      • H.Ever
                    • [21]
                      r epr
                      • H.Ever
                      • [22]
                        s cher.Theor y ofpr ovabl er ecur s i vef unct i ons,Tr ans.Am er.M at h.Soc. 117,494520
                        • P.C.Fi
                      • [23]
                        d.How r andom i sa coi n t os s ? Physi cs Today 40,4047
                        • J.For
                      • [24]
                        Ph.Fr ank.D as K ausal geset z und sei ne G r enzen,Spr i nger,Vi enna
                      • 1-25 of 59
                      • 1
                      • 2
                      • 3
                      • 25 / page