Dies ist nicht genau das, wonach Sie gefragt haben, aber es ist zu lang für einen Kommentar.
Der älteste explizite Hinweis, den ich kenne, dass ein Algorithmus nicht ausführbar ist , befindet sich in Évariste Galois ' 1830 verfasstem Mémoire sur les conditions de résolubilité des équations par radicaux :
Die Wartung ist nur dann möglich, wenn Sie eine Wahl treffen, bei der Sie eine Frage haben, die Sie nicht lösen können Ladegerät ni moi ni personne de la faire. En un mot les calculs sont undurchführbar.
[Wenn Sie mir nun eine Gleichung geben, die Sie nach eigenem Ermessen gewählt haben und wissen möchten, ob sie durch Radikale lösbar ist oder nicht, muss ich Ihnen nur die Methode angeben, die zur Beantwortung Ihrer Frage erforderlich ist, ohne mich oder zu machen jemand anderes führt es aus. Mit einem Wort, die Berechnungen sind unpraktisch .]
Obwohl es stimmt, dass der Algorithmus von Galois nicht in polynomieller Zeit abläuft, bedeutete Galois eindeutig etwas viel weniger Genaues. Dies ist auch die älteste mir bekannte Referenz, die die bloße Existenz eines Algorithmus für sich betrachtet .
Wie Niel de Beaudrap in den Kommentaren erwähnt, hat Gauß bereits in seinen Disquisitiones Arithmeticae von 1801 , fast 30 Jahre vor Galois, die (In-) Effizienz von Algorithmen zur Prüfung der Primalität diskutiert . Der Vollständigkeit halber hier die relevante Passage aus Artikel 329:
Nihilominus fateri oportet, omnes methodos hucusque prolata vel ad casus vlade speciales, vel tam operosas et prolixas , ut iam pro numeris talibus, qui tabularum und varis meritis constructarum limites non excedunt, dh pro quibus methodi artificiales supervacuae sunt, calculatoris etiam ermüdend, ad maiores autem plerumque vix applicari possint. ... Ceterum in problematis natura fundatum est, ut methodi quaecunquecontinuo prolixiores evadant, quo maiores sunt numeri, ad quos applicantur; attamen pro Methodis sequentibus difficultates perlente increscunt, numerique e septem, octos vel adeo adhuc pluribus figuris constantes praesertim pro secundam felici semper successu tractati fuerunt, omnique celeritate, quam pro Tantis numeris exspectare aequum est, qui secundum omnes methodos hactenus notas laborem, etiam calculatori indefatigabili intolerabilem, requirerent.
[Trotzdem müssen wir zugeben, dass alle bisher vorgeschlagenen Methoden entweder auf sehr spezielle Fälle beschränkt sind oder so aufwendig und prolixartig sind, dass selbst für Zahlen, die die Grenzen von Tabellen, die von schätzbaren Männern erstellt wurden, nicht überschreiten, dh für Zahlen, die dies nicht tun erfordern ausgeklügelte Methoden, sie versuchen die Geduld selbst des geübten Taschenrechners. Und diese Methoden sind bei größeren Stückzahlen kaum zu gebrauchen. ... Es liegt in der Natur des Problems, dass jederMethode wird mehr prolix, wenn die Zahlen, auf die es angewendet wird, größer werden. Nichtsdestotrotz nehmen bei den folgenden Methoden die Schwierigkeiten ziemlich langsam zu und Zahlen mit sieben, acht oder noch mehr Stellen wurden mit Erfolg und Geschwindigkeit über die Erwartungen hinaus behandelt, insbesondere bei der zweiten Methode. Die Techniken, die vorher bekannt waren, würden selbst für den unermüdlichsten Taschenrechner unerträgliche Arbeit erfordern .]