Skip to main content

2024 | OriginalPaper | Buchkapitel

3. Theoretical Limits

verfasst von : Klaus Mainzer, Reinhard Kahle

Erschienen in: Limits of AI - theoretical, practical, ethical

Verlag: Springer Berlin Heidelberg

Aktivieren Sie unsere intelligente Suche, um passende Fachinhalte oder Patente zu finden.

search-config
loading …

Abstract

  • Interviewer: What is your biggest strength?
  • Me: I am an expert in machine learning.
  • Interviewer: What’s 6 + 10?
  • Me: Zero.
  • Interviewer: Nowhere near. It’s 16.
  • Me: Ok, It’s 16.
  • Interviewer: What is 10 + 20?
  • Me: It’s 16.

Sie haben noch keine Lizenz? Dann Informieren Sie sich jetzt über unsere Produkte:

Springer Professional "Wirtschaft+Technik"

Online-Abonnement

Mit Springer Professional "Wirtschaft+Technik" erhalten Sie Zugriff auf:

  • über 102.000 Bücher
  • über 537 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Maschinenbau + Werkstoffe
  • Versicherung + Risiko

Jetzt Wissensvorsprung sichern!

Springer Professional "Technik"

Online-Abonnement

Mit Springer Professional "Technik" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 390 Zeitschriften

aus folgenden Fachgebieten:

  • Automobil + Motoren
  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Elektrotechnik + Elektronik
  • Energie + Nachhaltigkeit
  • Maschinenbau + Werkstoffe




 

Jetzt Wissensvorsprung sichern!

Springer Professional "Wirtschaft"

Online-Abonnement

Mit Springer Professional "Wirtschaft" erhalten Sie Zugriff auf:

  • über 67.000 Bücher
  • über 340 Zeitschriften

aus folgenden Fachgebieten:

  • Bauwesen + Immobilien
  • Business IT + Informatik
  • Finance + Banking
  • Management + Führung
  • Marketing + Vertrieb
  • Versicherung + Risiko




Jetzt Wissensvorsprung sichern!

Fußnoten
1
Nevertheless, the idea underlying the sieve of Eratosthenes has an algorithmic added value, see the example below in the discussion of cryptographic protocols.
 
2
By now, we know algorithms for a direct calculation of the digit in hexadecimal or binary expansion [3, §1.2]. But this still does not give a regularity in the usual sense.
 
3
The following presentation of chaos theory follows the book: K. Mainzer (2016), Information, Algorithmus, Probability, Complexity, Quantum World, Life, Brain, Society, Berlin University Press [26, 67 ff.].
 
Literatur
1.
Zurück zum Zitat Kahle, R. (2021), Primzahlen als Herausforderung, in: R. Reussner, A. Koziolek, and R. Heinrich (Eds.), INFORMATIK 2020, Lecture Notes in Informatics, pages 719–727. Gesellschaft für Informatik. Kahle, R. (2021), Primzahlen als Herausforderung, in: R. Reussner, A. Koziolek, and R. Heinrich (Eds.), INFORMATIK 2020, Lecture Notes in Informatics, pages 719–727. Gesellschaft für Informatik.
2.
Zurück zum Zitat Hoche, R. (Ed.) (1866), Nicomachi Geraseni Pythagorei Introductionis arithmeticae libri II. Teubner. Hoche, R. (Ed.) (1866), Nicomachi Geraseni Pythagorei Introductionis arithmeticae libri II. Teubner.
3.
Zurück zum Zitat Berggren, L.; Jonathan Borwein, J.; Peter Borwein (2004), A Pamphlet on Pi, in: L. Berggren, J. Borwein, P. Borwein (Eds.), Pi: A Source Book. 3rd edition, Springer, 721–739.CrossRef Berggren, L.; Jonathan Borwein, J.; Peter Borwein (2004), A Pamphlet on Pi, in: L. Berggren, J. Borwein, P. Borwein (Eds.), Pi: A Source Book. 3rd edition, Springer, 721–739.CrossRef
4.
Zurück zum Zitat Euler, L. (1771), Extrait d’un lettre de M. Euler le pere à M. Bernoulli concernant leM’emoire imprimé parmi ceux de 1771, 318. Nouveaux Mémoires de l’Académie royale des Sciences. Berlin, 1774, 35–36, 1772. Euler, L. (1771), Extrait d’un lettre de M. Euler le pere à M. Bernoulli concernant leM’emoire imprimé parmi ceux de 1771, 318. Nouveaux Mémoires de l’Académie royale des Sciences. Berlin, 1774, 35–36, 1772.
5.
Zurück zum Zitat Weyl, H. (1971). Über den Symbolismus der Mathematik und mathematischen Physik, in: K. Reidemeister (ed.) Hilbert, 20–38. Springer.CrossRef Weyl, H. (1971). Über den Symbolismus der Mathematik und mathematischen Physik, in: K. Reidemeister (ed.) Hilbert, 20–38. Springer.CrossRef
6.
Zurück zum Zitat Homeister, M. (2018), Quantum Computing verstehen, Springer: Berlin 5. Aufl., 195–196. Homeister, M. (2018), Quantum Computing verstehen, Springer: Berlin 5. Aufl., 195–196.
7.
Zurück zum Zitat Pomerance, C. (1982), Analysis and comparison of some integer factoring algorithms, in: Computational Methods in Number Theory, Part I, H.W. Lenstra, Jr. and R. Tijdeman, eds., Math. Centre Tract 154, Amsterdam, 89–139 Pomerance, C. (1982), Analysis and comparison of some integer factoring algorithms, in: Computational Methods in Number Theory, Part I, H.W. Lenstra, Jr. and R. Tijdeman, eds., Math. Centre Tract 154, Amsterdam, 89–139
8.
Zurück zum Zitat R. Crandall, C. Pomerance (2001), Prime Numbers: A Computational Perspective. Springer, New York.CrossRef R. Crandall, C. Pomerance (2001), Prime Numbers: A Computational Perspective. Springer, New York.CrossRef
9.
Zurück zum Zitat Lenstra, A.K.; Lenstra (1993), H.W., The Development of the Number Field Sieve, Lecture Notes in Mathematics V, 1554. Lenstra, A.K.; Lenstra (1993), H.W., The Development of the Number Field Sieve, Lecture Notes in Mathematics V, 1554.
10.
Zurück zum Zitat Werner, A. (2002), Elliptische Kurven in der Kryptographie, Springer, Berlin.CrossRef Werner, A. (2002), Elliptische Kurven in der Kryptographie, Springer, Berlin.CrossRef
12.
Zurück zum Zitat Shor, P.W. (1997), Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, in: SIAM J. Computing 26 1997, 1484–1509.MathSciNetCrossRef Shor, P.W. (1997), Polynomial-time algorithms for prime factorization and discrete logarithms on a quantum computer, in: SIAM J. Computing 26 1997, 1484–1509.MathSciNetCrossRef
13.
Zurück zum Zitat Ekert, A.; Jozsa, R. (1996) Quantum computation and Shor’s factoring algorithm, in: Rev. mod. Phys. 68. Ekert, A.; Jozsa, R. (1996) Quantum computation and Shor’s factoring algorithm, in: Rev. mod. Phys. 68.
14.
Zurück zum Zitat Benenti, G.; Casati, G.; Strini, G. (2008), Principles of Quantum Computation and Information. Vol. I: Basic Concepts, World Scientific Singapore, 161–162. Benenti, G.; Casati, G.; Strini, G. (2008), Principles of Quantum Computation and Information. Vol. I: Basic Concepts, World Scientific Singapore, 161–162.
15.
Zurück zum Zitat Quisquater, J.-J.; Guillou,L. (1990), How to explain zero-knowledge protocols to your children, in: Advances in Cryptology – CRYPTO ’89, Lecture Notes in computer Science 435, 628–631. Quisquater, J.-J.; Guillou,L. (1990), How to explain zero-knowledge protocols to your children, in: Advances in Cryptology – CRYPTO ’89, Lecture Notes in computer Science 435, 628–631.
16.
Zurück zum Zitat Köbler, J.; Beyersdorff, O. (2006), Von der Turingmaschine zum Quantencomputer – ein Gang durch die Geschichte der Komplexitätstheorie, in: W. Reisig, J.-C. Freytag (HRSG.), Informatik. Aktuelle Themen im historischen Kontext, Springer: Berlin. Köbler, J.; Beyersdorff, O. (2006), Von der Turingmaschine zum Quantencomputer – ein Gang durch die Geschichte der Komplexitätstheorie, in: W. Reisig, J.-C. Freytag (HRSG.), Informatik. Aktuelle Themen im historischen Kontext, Springer: Berlin.
17.
Zurück zum Zitat Babai, L. (1985), Trading group theory for randomness, in: Proc. 17th ACM Symposium on Theory of Computing, ACM Press, 421–429. Babai, L. (1985), Trading group theory for randomness, in: Proc. 17th ACM Symposium on Theory of Computing, ACM Press, 421–429.
18.
Zurück zum Zitat Goldreich, O.; Micali, S.; Rackoff, C. (1989), The knowledge complexity of interactive proof systems, in: SIAM Journal on Computing 18(2), 186–208.MathSciNet Goldreich, O.; Micali, S.; Rackoff, C. (1989), The knowledge complexity of interactive proof systems, in: SIAM Journal on Computing 18(2), 186–208.MathSciNet
19.
Zurück zum Zitat Goldberg, A.; Sipser, M. (1989), Private coins versus public coins in interactive proof systems, in: S. Micli (Hrsg.), Randomness and Computation, Advances in Computing Research 5, JAI Press, 73–90. Goldberg, A.; Sipser, M. (1989), Private coins versus public coins in interactive proof systems, in: S. Micli (Hrsg.), Randomness and Computation, Advances in Computing Research 5, JAI Press, 73–90.
21.
Zurück zum Zitat Feige, U.; Goldwasser, S.; Lovasz, L.; Safra, S.; Szegedy, M. (1996), Interactive proofs and the hardness of approximating cliques, in: Journal of the ACM 43, 268–292.MathSciNetCrossRef Feige, U.; Goldwasser, S.; Lovasz, L.; Safra, S.; Szegedy, M. (1996), Interactive proofs and the hardness of approximating cliques, in: Journal of the ACM 43, 268–292.MathSciNetCrossRef
22.
Zurück zum Zitat Arora, S.; Safra, S. (1998), Probabilistic checking of proof: A new characterization of NP, in: Journal of ACM 45(1), 70–122.MathSciNetCrossRef Arora, S.; Safra, S. (1998), Probabilistic checking of proof: A new characterization of NP, in: Journal of ACM 45(1), 70–122.MathSciNetCrossRef
23.
Zurück zum Zitat Papadimitriou, C.H.; Yannakakis, M. (1991), Optimization, approximation, and complexity classes, in: Journal of Computer and System Sciences 43(3), 425–440.MathSciNetCrossRef Papadimitriou, C.H.; Yannakakis, M. (1991), Optimization, approximation, and complexity classes, in: Journal of Computer and System Sciences 43(3), 425–440.MathSciNetCrossRef
24.
Zurück zum Zitat Nissan, N.; Widgerson, A. (1994), Hardness vs. randomness, in: Journal of Computer and System Sciences 49(2), 149–167 Nissan, N.; Widgerson, A. (1994), Hardness vs. randomness, in: Journal of Computer and System Sciences 49(2), 149–167
25.
Zurück zum Zitat Impagliazzo, R.; Widgerson, A. (1997), P=BPP unless E has sub-exponential circuits: derandomizing the XOR lemma, in: Proc. 29th ACM Symposium on Theory of Computing, ACM Press, 220–229. Impagliazzo, R.; Widgerson, A. (1997), P=BPP unless E has sub-exponential circuits: derandomizing the XOR lemma, in: Proc. 29th ACM Symposium on Theory of Computing, ACM Press, 220–229.
26.
Zurück zum Zitat Mainzer K (2016) Information: Algorithmus-Wahrscheinlichkeit-Komplexit¨at- Quantenwelt-Leben-Gehirn-Gesellschaft. Berlin. Mainzer K (2016) Information: Algorithmus-Wahrscheinlichkeit-Komplexit¨at- Quantenwelt-Leben-Gehirn-Gesellschaft. Berlin.
27.
Zurück zum Zitat Dershowitz, N. (2005). The four sons of Penrose. In G. Sutcliffe and A. Voronkov (Eds.), Proceedings of the Eleventh Conference on Logic Programming for Artificial Intelligence and Reasoning (LPAR) (Montego Bay, Jamaica), Volume 3835 of Lecture Notes in Artificial Intelligence, pp. 125–138. Springer. Dershowitz, N. (2005). The four sons of Penrose. In G. Sutcliffe and A. Voronkov (Eds.), Proceedings of the Eleventh Conference on Logic Programming for Artificial Intelligence and Reasoning (LPAR) (Montego Bay, Jamaica), Volume 3835 of Lecture Notes in Artificial Intelligence, pp. 125–138. Springer.
28.
Zurück zum Zitat Mainzer, K. (2018), The Digital and the Real World. Computational Foundations of Mathematics, Science, Technology, and Philosophy, World Scientific Singapore. Mainzer, K. (2018), The Digital and the Real World. Computational Foundations of Mathematics, Science, Technology, and Philosophy, World Scientific Singapore.
29.
Zurück zum Zitat Hidary, J.D. (2019), Quantum Computing: An Applied Approach, Springer: Cham, 20–21.CrossRef Hidary, J.D. (2019), Quantum Computing: An Applied Approach, Springer: Cham, 20–21.CrossRef
30.
Zurück zum Zitat Solovay, R.; Strassen, V. (1977), A fast Monte-Carlo test for primality, in: SIAM Journal on Computing 6, 84–85.MathSciNetCrossRef Solovay, R.; Strassen, V. (1977), A fast Monte-Carlo test for primality, in: SIAM Journal on Computing 6, 84–85.MathSciNetCrossRef
31.
Zurück zum Zitat Toda, S. (1991), PP is as hard as the polynomial-time hierarchy, in: SIAM Journal on Computing 20, 865–877.MathSciNetCrossRef Toda, S. (1991), PP is as hard as the polynomial-time hierarchy, in: SIAM Journal on Computing 20, 865–877.MathSciNetCrossRef
32.
Zurück zum Zitat Adleman, L.; Huang, M. (1987), Recognizing primes in random polynomial time, in: Proc. 19th ACM Symposium on theory of computing, ACM Press, 462–469. Adleman, L.; Huang, M. (1987), Recognizing primes in random polynomial time, in: Proc. 19th ACM Symposium on theory of computing, ACM Press, 462–469.
33.
Zurück zum Zitat Rabin, M.O. (1980), Probabilistic algorithm for testing primality, in: Journal of Number Theory 12(1), 128–138.MathSciNetCrossRef Rabin, M.O. (1980), Probabilistic algorithm for testing primality, in: Journal of Number Theory 12(1), 128–138.MathSciNetCrossRef
34.
Zurück zum Zitat Mainzer, K. (2020), Quantencomputer. Von er Quantenwelt zur Künstlichen Intelligenz, Springer: Berlin.CrossRef Mainzer, K. (2020), Quantencomputer. Von er Quantenwelt zur Künstlichen Intelligenz, Springer: Berlin.CrossRef
Metadaten
Titel
Theoretical Limits
verfasst von
Klaus Mainzer
Reinhard Kahle
Copyright-Jahr
2024
Verlag
Springer Berlin Heidelberg
DOI
https://doi.org/10.1007/978-3-662-68290-6_3

Premium Partner