Einleitung
Algorithmen sind allgegenwärtig geworden. Sie optimieren unseren Pendelverkehr, wickeln Zahlungen ab und koordinieren den Fluss des Internetverkehrs. Es scheint, dass es für jedes Problem, das mathematisch präzise formuliert werden kann, einen Algorithmus gibt, der es zumindest im Prinzip lösen kann.
Aber das ist nicht der Fall – einige scheinbar einfache Probleme können niemals algorithmisch gelöst werden. Der wegweisende Informatiker Alan Turing erwies sich Die Existenz solcher „unberechenbaren“ Probleme vor fast einem Jahrhundert in derselben Arbeit, in der er das formulierte mathematisches Berechnungsmodell das den Beginn der modernen Informatik begründete.
Turing bewies dieses bahnbrechende Ergebnis mit einer kontraintuitiven Strategie: Er definierte ein Problem, das jeden Lösungsversuch einfach ablehnt.
„Ich frage dich, was du tust, und dann sage ich: ‚Nein, ich werde etwas anderes machen‘“, sagte er Rahul Ilango, ein Doktorand am Massachusetts Institute of Technology, der theoretische Informatik studiert.
Turings Strategie basierte auf einer mathematischen Technik namens Diagonalisierung, die eine lange Geschichte hat. Hier ist eine vereinfachte Darstellung der Logik hinter seinem Beweis.
String Theory
Die Diagonalisierung beruht auf einem cleveren Trick zur Lösung eines alltäglichen Problems, bei dem es um Bitfolgen geht, von denen jedes entweder 0 oder 1 sein kann. Wenn Sie eine Liste solcher Zeichenfolgen haben, die alle gleich lang sind, können Sie eine neue Zeichenfolge generieren, die nicht in der Bitfolge enthalten ist Liste?
Die einfachste Strategie besteht darin, jede mögliche Zeichenfolge der Reihe nach zu betrachten. Angenommen, Sie haben fünf Zeichenfolgen mit einer Länge von jeweils fünf Bits. Beginnen Sie damit, die Liste nach 00000 zu durchsuchen. Wenn sie nicht vorhanden ist, können Sie aufhören; Ist dies der Fall, fahren Sie mit 00001 fort und wiederholen den Vorgang. Das ist einfach genug, aber bei langen Listen mit langen Zeichenfolgen ist es langsam.
Diagonalisierung ist ein alternativer Ansatz, der eine fehlende Zeichenfolge Stück für Stück aufbaut. Beginnen Sie mit dem ersten Bit der ersten Zeichenfolge in der Liste und invertieren Sie es – das ist das erste Bit Ihrer neuen Zeichenfolge. Dann invertieren Sie das zweite Bit der zweiten Zeichenfolge und verwenden Sie es als zweites Bit der neuen Zeichenfolge. Wiederholen Sie den Vorgang, bis Sie das Ende der Liste erreicht haben. Die umgedrehten Bits stellen sicher, dass sich die neue Zeichenfolge an mindestens einer Stelle von jeder Zeichenfolge in der ursprünglichen Liste unterscheidet. (Sie bilden auch eine diagonale Linie durch die Liste der Saiten und geben der Technik ihren Namen.)
Bei der Diagonalisierung muss nur ein Bit aus jeder Zeichenfolge in der Liste untersucht werden, daher ist sie oft viel schneller als andere Methoden. Aber seine wahre Stärke liegt darin, wie gut es mit der Unendlichkeit spielt.
„Die Saiten können jetzt unendlich sein; Die Liste kann unendlich sein – es funktioniert immer noch“, sagte Ryan Williams, ein theoretischer Informatiker am MIT.
Der erste Mensch, der sich diese Kraft zunutze machte, war Georg Cantor, der Begründer des mathematischen Teilgebiets der Mengenlehre. Im Jahr 1873 verwendete Cantor die Diagonalisierung, um zu beweisen, dass es einige Unendlichkeiten gibt größer als andere. Sechs Jahrzehnte später passte Turing Cantors Version der Diagonalisierung an die Berechnungstheorie an und verlieh ihr eine deutlich konträre Note.
Das Limitationsspiel
Turing wollte die Existenz mathematischer Probleme beweisen, die kein Algorithmus lösen kann – also Probleme mit wohldefinierten Ein- und Ausgaben, aber keinem narrensicheren Verfahren, um von der Eingabe zur Ausgabe zu gelangen. Er machte diese vage Aufgabe leichter zu bewältigen, indem er sich ausschließlich auf Entscheidungsprobleme konzentrierte, bei denen die Eingabe eine beliebige Folge von Nullen und Einsen sein kann und die Ausgabe entweder 0 oder 1 ist.
Die Bestimmung, ob eine Zahl eine Primzahl ist (nur durch 1 und sich selbst teilbar), ist ein Beispiel für ein Entscheidungsproblem. Bei einer gegebenen Eingabezeichenfolge, die eine Zahl darstellt, ist die korrekte Ausgabe 1, wenn die Zahl eine Primzahl ist, und 0, wenn dies nicht der Fall ist. Ein weiteres Beispiel ist die Überprüfung von Computerprogrammen auf Syntaxfehler (das Äquivalent von Grammatikfehlern). Dort stellen Eingabezeichenfolgen Code für verschiedene Programme dar – alle Programme können auf diese Weise dargestellt werden, da sie auf Computern gespeichert und ausgeführt werden – und das Ziel besteht darin, 1 auszugeben, wenn der Code einen Syntaxfehler enthält, und 0, wenn dies der Fall ist. T.
Ein Algorithmus löst ein Problem nur dann, wenn er für jede mögliche Eingabe die richtige Ausgabe liefert. Wenn er auch nur einmal fehlschlägt, handelt es sich nicht um einen Allzweckalgorithmus für dieses Problem. Normalerweise geben Sie zunächst das Problem an, das Sie lösen möchten, und versuchen dann, einen Algorithmus zu finden, der es löst. Auf der Suche nach unlösbaren Problemen stellte Turing diese Logik auf den Kopf – er stellte sich eine unendliche Liste aller möglichen Algorithmen vor und nutzte die Diagonalisierung, um ein hartnäckiges Problem zu konstruieren, das jeden Algorithmus auf der Liste vereiteln würde.
Stellen Sie sich ein manipuliertes Spiel mit 20 Fragen vor, bei dem der Beantworter nicht mit einem bestimmten Objekt im Kopf beginnt, sondern eine Ausrede erfindet, um zu jeder Frage Nein zu sagen. Am Ende des Spiels haben sie ein Objekt beschrieben, das ausschließlich durch die Eigenschaften definiert ist, die ihm fehlen.
Turings Diagonalisierungsbeweis ist eine Version dieses Spiels, bei der die Fragen die unendliche Liste möglicher Algorithmen durchlaufen und immer wieder fragen: „Kann dieser Algorithmus das Problem lösen, das wir als unberechenbar erweisen möchten?“
„Es sind sozusagen ‚Unendlichkeitsfragen‘“, sagte Williams.
Um das Spiel zu gewinnen, musste Turing ein Problem entwickeln, bei dem die Antwort für jeden Algorithmus „Nein“ lautet. Das bedeutete, eine bestimmte Eingabe zu identifizieren, die dazu führt, dass der erste Algorithmus eine falsche Antwort ausgibt, eine andere Eingabe, die dazu führt, dass der zweite fehlschlägt, und so weiter. Er fand diese speziellen Eingaben mit einem Trick, der dem ähnelte, den Kurt Gödel kürzlich angewendet hatte beweisen dass selbstreferenzielle Behauptungen wie „Diese Aussage ist unbeweisbar“ Probleme für die Grundlagen der Mathematik bedeuteten.
Die wichtigste Erkenntnis war, dass jeder Algorithmus (oder jedes Programm) als eine Folge von Nullen und Einsen dargestellt werden kann. Das bedeutet, wie im Beispiel des Fehlerprüfprogramms, dass ein Algorithmus den Code eines anderen Algorithmus als Eingabe nehmen kann. Im Prinzip kann ein Algorithmus sogar seinen eigenen Code als Eingabe verwenden.
Mit dieser Einsicht können wir ein unberechenbares Problem wie das in Turings Beweis definieren: „Gegebene Eingabezeichenfolge, die den Code eines Algorithmus darstellt, Ausgabe 1, wenn dieser Algorithmus 0 ausgibt, wenn sein eigener Code die Eingabe ist; andernfalls Ausgabe 0.“ Jeder Algorithmus, der versucht, dieses Problem zu lösen, erzeugt bei mindestens einer Eingabe die falsche Ausgabe – nämlich der Eingabe, die seinem eigenen Code entspricht. Das bedeutet, dass dieses perverse Problem durch keinen Algorithmus gelöst werden kann.
Was Negation nicht kann
Informatiker waren mit der Diagonalisierung noch nicht fertig. Im Jahr 1965 passten Juris Hartmanis und Richard Stearns Turings Argumentation an beweisen dass nicht alle berechenbaren Probleme gleich sind – einige sind von Natur aus schwieriger als andere. Dieses Ergebnis begründete das Gebiet der Computational Complexity Theory, das die Schwierigkeit von Rechenproblemen untersucht.
Die Komplexitätstheorie zeigte aber auch die Grenzen der gegenteiligen Methode von Turing auf. 1975 Theodore Baker, John Gill und Robert Solovay erwies sich dass viele offene Fragen der Komplexitätstheorie niemals allein durch Diagonalisierung gelöst werden können. Das wichtigste davon ist das berühmte P-NP-Problem, bei dem gefragt wird, ob alle Probleme mit leicht überprüfbaren Lösungen auch mit dem richtigen ausgeklügelten Algorithmus leicht zu lösen sind.
Die blinden Flecken der Diagonalisierung sind eine direkte Folge des hohen Abstraktionsniveaus, das sie so mächtig macht. Turings Beweis beinhaltete kein unberechenbares Problem, das in der Praxis auftreten könnte – stattdessen wurde ein solches Problem im Handumdrehen erfunden. Andere Diagonalisierungsbeweise sind ähnlich weit von der realen Welt entfernt und können daher keine Fragen lösen, bei denen es auf reale Details ankommt.
„Sie führen Berechnungen aus der Ferne durch“, sagte Williams. „Ich stelle mir einen Mann vor, der sich mit Viren befasst und über ein Handschuhfach darauf zugreift.“
Das Scheitern der Diagonalisierung war ein früher Hinweis darauf, dass das P-NP-Problem gelöst werden würde eine lange Reise. Doch trotz ihrer Einschränkungen bleibt die Diagonalisierung eines der wichtigsten Werkzeuge im Arsenal der Komplexitätstheoretiker. Im Jahr 2011 nutzte Williams es zusammen mit einer Reihe anderer Techniken, um beweisen dass ein bestimmtes eingeschränktes Rechenmodell einige außerordentlich schwierige Probleme nicht lösen konnte – ein Ergebnis, das den Forschern 25 Jahre lang entgangen war. Von einer Lösung zwischen P und NP war es weit entfernt, aber es stellte dennoch einen großen Fortschritt dar.
Wenn Sie beweisen wollen, dass etwas nicht möglich ist, unterschätzen Sie nicht die Macht, einfach Nein zu sagen.
- SEO-gestützte Content- und PR-Distribution. Holen Sie sich noch heute Verstärkung.
- PlatoData.Network Vertikale generative KI. Motiviere dich selbst. Hier zugreifen.
- PlatoAiStream. Web3-Intelligenz. Wissen verstärkt. Hier zugreifen.
- PlatoESG. Automobil / Elektrofahrzeuge, Kohlenstoff, CleanTech, Energie, Umwelt, Solar, Abfallwirtschaft. Hier zugreifen.
- PlatoHealth. Informationen zu Biotechnologie und klinischen Studien. Hier zugreifen.
- ChartPrime. Verbessern Sie Ihr Handelsspiel mit ChartPrime. Hier zugreifen.
- BlockOffsets. Modernisierung des Eigentums an Umweltkompensationen. Hier zugreifen.
- Quelle: https://www.quantamagazine.org/alan-turing-and-the-power-of-negative-thinking-20230905/
- :hast
- :Ist
- :nicht
- :Wo
- ][P
- $UP
- 1
- 20
- 2011
- 25
- a
- Abstraktion
- Konto
- vor
- Alan
- Alan Turing
- Algorithmus
- algorithmisch
- Algorithmen
- Alle
- allein
- ebenfalls
- unter
- an
- und
- Ein anderer
- beantworten
- jedem
- Ansatz
- SIND
- Argument
- entstehen
- Arsenal
- AS
- fragen
- At
- Bäcker
- basierend
- BE
- werden
- hinter
- Bit
- Box
- baut
- aber
- by
- namens
- Cambridge
- CAN
- Häuser
- Jahrhundert
- sicher
- Überprüfung
- Chef
- Code
- Komplexität
- Berechnung
- Computer
- Computerwissenschaften
- Computer
- Geht davon
- konstruieren
- enthält
- Gegenteil
- Koordinate
- und beseitigen Muskelschwäche
- Dazugehörigen
- Handwerk
- erstellt
- Behandlung
- Jahrzehnte
- Entscheidung
- definieren
- definiert
- beschrieben
- Trotz
- Details
- anders
- Schwierigkeit
- Direkt
- Abstand
- Distinguished
- do
- Tut nicht
- Dabei
- Nicht
- jeder
- Früh
- leicht
- Einfache
- entweder
- Ende
- genug
- gewährleisten
- vollständig
- gleich
- gleichermaßen
- Äquivalent
- Fehler
- Fehler
- Sogar
- Jedes
- untersuchen
- Beispiel
- ausschließlich
- ausgeführt
- Existenz
- außerordentlich
- FAIL
- scheitert
- Scheitern
- berühmt
- weit
- Far Cry
- beschleunigt
- Feld
- Finden Sie
- Vorname
- fünf
- Flip
- Fluss
- Fokussierung
- Aussichten für
- unten stehende Formular
- gefunden
- Foundations
- Gründer
- für
- Spiel
- allgemeiner Zweck
- erzeugen
- bekommen
- bekommen
- gegeben
- Unterstützung
- Kundenziele
- gehen
- Abschluss
- bahnbrechend
- Kerl
- hätten
- Griff
- hart
- Schwerer
- Geschirr
- Haben
- he
- ganzer
- GUTE
- seine
- Geschichte
- Ultraschall
- HTTPS
- i
- Identifizierung
- IEEE
- if
- Bild
- vorgestellt
- in
- Indikation
- Unendlich
- Unendlichkeit
- Varianten des Eingangssignals:
- Eingänge
- Einblick
- beantragen müssen
- Institut
- Internet
- intrinsisch
- beteiligen
- IT
- SEINE
- selbst
- Peter
- nur
- Wesentliche
- Gericht
- später
- ins Leben gerufen
- am wenigsten
- Niveau
- liegt
- Gefällt mir
- Einschränkung
- Einschränkungen
- Grenzen
- Line
- Liste
- Listen
- Logik
- Lang
- gemacht
- Zeitschrift
- Dur
- MACHT
- handhabbar
- viele
- Massachusetts
- Massachusetts Institute of Technology
- mathematisch
- Mathematik
- Materie
- Mittel
- gemeint
- Methode
- Methoden
- könnte
- Geist / Bewusstsein
- Kommt demnächst...
- Fehler
- MIT
- Modell
- modern
- mehr
- vor allem warme
- schlauer bewegen
- viel
- Name
- nämlich
- fast
- erforderlich
- Bedürfnisse
- Negativ
- hört niemals
- Neu
- nicht
- jetzt an
- Anzahl
- Objekt
- of
- vorgenommen,
- on
- einmal
- EINEM
- einzige
- XNUMXh geöffnet
- Optimieren
- or
- Original
- Andere
- Anders
- Andernfalls
- UNSERE
- Möglichkeiten für das Ausgangssignal:
- besitzen
- Papier
- besondere
- Zahlungen
- person
- Pionierarbeit
- Ort
- Plato
- Datenintelligenz von Plato
- PlatoData
- spielt
- möglich
- Werkzeuge
- größte treibende
- Praxis
- präzise
- Prime
- Prinzip
- Aufgabenstellung:
- Probleme
- Verfahren
- Prozessdefinierung
- produziert
- produziert
- Programm
- Programme
- Fortschritt
- Beweis
- Beweise
- Belegen
- erwies sich
- Qualitäten
- Quantamagazin
- Frage
- Fragen
- lieber
- echt
- realen Welt
- kürzlich
- bleibt bestehen
- wiederholen
- WIEDERHOLT
- vertreten
- vertreten
- Darstellen
- Forscher
- entschlossen
- Lösung
- eingeschränkt
- Folge
- Revealed
- Daniel
- manipuliert
- Recht
- ROBERT
- Führen Sie
- Said
- gleich
- sagen
- Scannen
- Wissenschaft
- Wissenschaftler
- Wissenschaftler
- Suche
- Zweite
- scheinbar
- scheint
- kompensieren
- siam
- ähnlich
- Ähnlich
- Einfacher
- vereinfachte
- einfach
- da
- SIX
- langsam
- So
- Lösungen
- LÖSEN
- Löst
- Auflösung
- einige
- etwas
- besondere
- Flecken
- Anfang
- Beginnen Sie
- Erklärung
- stammt
- Immer noch
- Stoppen
- gelagert
- einfach
- Strategie
- Schnur
- Schüler und Studenten
- Es wurden Studien
- Studieren
- so
- Syntax
- Nehmen
- Aufgabe
- Techniken
- Technologie
- AGB
- als
- zur Verbesserung der Gesundheitsgerechtigkeit
- Das
- Sie
- dann
- theoretisch
- Theorie
- Dort.
- Diese
- vom Nutzer definierten
- Denken
- fehlen uns die Worte.
- diejenigen
- Durch
- vereiteln
- zu
- gemeinsam
- Werkzeuge
- der Verkehr
- Ärger
- was immer dies auch sein sollte.
- versuchen
- Turing
- WENDE
- Turned
- allgegenwärtig
- bis
- -
- benutzt
- Verwendung von
- Version
- Gegen
- Viren
- wollen
- wollte
- wurde
- Weg..
- we
- webp
- GUT
- gut definiert
- Was
- wann
- ob
- welche
- WHO
- werden wir
- Williams
- gewinnen
- mit
- Werk
- weltweit wie ausgehandelt und gekauft ausgeführt wird.
- würde
- Falsch
- Jahr
- noch
- Du
- Ihr
- Zephyrnet