Warum werden Wendetore nicht verwendet?

25

Ich las das Buch "Die Singularität ist nahe" von Kurzweil und er erwähnte die reversiblen Tore, wie zum Beispiel das Fredkin-Tor . Der Vorteil solcher Tore besteht darin, dass wir den mit der Berechnung verbundenen thermischen Abfall beseitigen können, bei dem Bits einfach in der Wärme verschwinden und für die Berechnung kein Energieeinsatz erforderlich ist. Diese Annahmen lassen diese Tore wie eine Wunderlösung klingen. Die Frage ist also, welche technischen Hürden ihren großflächigen Einsatz noch verhindern.

Ich finde es auch schade, dass ich in meinem Bachelor- und Masterstudium Elektrotechnik an einer deutschen Top-Universität noch nie von diesen Toren gehört habe ...

Mehdi
quelle
5
Beachten Sie, dass es bei der Quantenberechnung hauptsächlich um reversible Gatter geht (das ist ein Teil dessen, was "einheitlich" bedeutet).
David Richerby
1
@DavidRicherby Nicht alle Quantenberechnungen sind umkehrbar. schließlich tritt Dekohärenz auf.
Alice
Beachten Sie, dass ein praktischer Computer, der reversible Tore verwendet, weiterhin Wärme erzeugt, da Sie eine Fehlerkorrektur durchführen müssen, um den Computer in der Spur zu halten. Die Fehlerkorrektur erfordert von Natur aus irreversible Operationen (oder eine kontinuierliche Versorgung mit null Bits; gleiche Differenz).
Craig Gidney

Antworten:

18

Ich bin auf keinen Fall ein Experte in diesem Thema, sondern nur aus beiläufiger Lektüre von Wikipedia:

Es basiert auf der Bewegung von kugelförmigen Billardkugeln in einer reibungsfreien Umgebung aus Puffern, gegen die die Kugeln perfekt springen

... das klingt sehr realistisch.

Bisher hat noch niemand herausgefunden, wie solche Tore tatsächlich hergestellt werden, sie sind lediglich von theoretischem Interesse. Das könnte erklären, warum Sie noch nie von ihnen gehört haben, da sich das Engineering normalerweise mit der Praxis befasst.

Die Prämisse von Reversible Computing ist, dass beim Verschwinden eines Teils etwas Wärme erzeugt wird. Durch die Verwendung von reversiblen Gattern werden keine Bits mehr angezeigt oder ausgeblendet, sodass die Berechnung mit reversiblen Gattern möglicherweise effizienter ist.

Die theoretische Grenze, die Reversible Computing vorsieht, ist, dass das Löschen von 1 Bit Information mindestens Energie in Wärme erzeugt. Für einen Computer mit einem Toasty 60kTln2 mit 10 9 Transistoren, die jeweils Bits mit einer Rate von 5 verschwinden lassen60C109 , das entspricht 165GHz Wärmeerzeugung. Das macht nur einen winzigen Anteil ( 1 / 10000 ) eines Energieverbrauch des Computers.16mW1/10000

Unsere heutigen Computer sind nicht durch die Wärmeentwicklung eingeschränkt, die mit dem Verschwinden von Bits verbunden ist. Sie sind durch die inhärente Ineffizienz beim Bewegen von Elektronen auf winzigen Kupferspuren begrenzt.

Tom van der Zanden
quelle
5
-1. Einige Leute haben reversible Gates gebaut und daraus eine ganze CPU gebaut. Unter cise.ufl.edu/research/revcomp finden Sie ein Foto dieser reversiblen Logik-CPU .
David Cary
2
@DavidCary, aber sie sind nicht (oder vernachlässigbar) effizienter als Computer, die aus nicht umkehrbaren Toren bestehen.
user253751
3
@immibis Ausgesprochen unwahr; Sie unterliegen nicht denselben Gesetzen wie Computer, die aus nicht umkehrbaren Toren hergestellt werden, und sind daher drastisch effizienter.
Alice
3
@DavidCary Bitte zeigen Sie mir einige Daten darüber, wie effizient die CPU ist, mit der Sie verbunden sind. Ich sehe nur ein Bild einer CPU mit dem Wort "adiabatisch", aber keine Informationen darüber, wie viel effizienter als herkömmliche Computer ist.
Tom van der Zanden
1
@TomvanderZanden Die Messung der Effizienz ist ein bisschen nutzlos, wenn Sie nicht angeben, welche Art von Effizienz verwendet werden soll. RISC-Chips sind in Bezug auf die Chipgröße effizienter als CISC-Chips, jedoch nicht in Bezug auf die Anzahl der Anweisungen, die erforderlich sind, um einen bestimmten Algorithmus anzugeben. Jede umschaltbare Schaltung ist sofort effizienter als eine herkömmliche Schaltung, da sie nicht dem Landauer-Prinzip unterliegt . das ist schon ein riesengewinn.
Alice
15

Das Problem bei praktischen reversiblen Toren (Toren, die aus Silizium hergestellt werden können (und wurden)) ist, dass die tatsächlichen Energieeinsparungen linear proportional zu der Geschwindigkeit sind, mit der Sie sie betreiben.

Ich weiß, dass die Forschungsgruppe von Tom Knight am MIT Ende der neunziger Jahre einen kleinen adiabatischen Prozessor hergestellt hat. Die praktische Logikfamilie, die sie entwickelt haben, wird Ladungsrückgewinnungslogik auf zwei Ebenen genannt und kann unter Verwendung von Standard (CMOS) -Fertigungstechniken implementiert werden. Ich glaube, die Arbeit wurde von Michael P. Frank an der Florida State University fortgesetzt. Ein Beispiel für die Arbeit in der Gruppe von Tom Knight ist die folgende Masterarbeit (die einen ziemlich guten Abschnitt über verwandte Arbeiten bis in die frühen 1990er Jahre enthält). Vieri, CJ: Pendulum: A Reversible Computer Architecture , Masterarbeit, MIT EECS-Abteilung, 1995.

Reversible Stromkreise müssen adiabatisch sein (es darf keinen Wärmeaustausch zwischen dem Stromkreis und seiner Umgebung geben), was bedeutet, dass sie jederzeit im Gleichgewicht sein müssen. Für jeden Prozess, der etwas ändern muss, können Sie das Gleichgewicht nur annähern, indem Sie die Änderung so langsam wie möglich durchführen.

Wenn ich mich richtig an meine Thermodynamik erinnere, kann man die Energie einer reversiblen Berechnung beliebig klein machen, aber die minimale Wirkung (Energie mal Zeit) muss eine kleine Konstante sein.

Wandering Logic
quelle
2
Sie erinnern sich nicht richtig an die Thermodynamik. Landauers Prinzip muss nicht durch eine umschaltbare Schaltung unterstützt werden (da es keine Bits löscht), und daher kann die benötigte Energie theoretisch Null sein (und es würde keine Wärme freigesetzt). Reversible Schaltkreise müssen auch nicht adiabatisch sein. Es wurden praktische reversible Gates hergestellt, die nicht langsamer sind als nicht reversible Chips (unter Berücksichtigung der Tatsache, dass reversible Chips normalerweise größer sind und daher eine leichte Erhöhung der Latenz aufweisen).
Alice
"Erhöhung der Lichtlatenz": Beziehen Sie sich auf reversible optische Chips? Die meisten Chips sind elektronisch.
Zylstra
6

Die größte Hürde, die ihre Verwendung in großem Maßstab verhindert, ist die gleiche wie für asynchrone Schaltungen und so ziemlich jedes andere nicht standardmäßige Schaltungsdesign: das Moore-Gesetz.

Moores Gesetz ist so etwas wie eine sich selbst erfüllende Prophezeiung geworden; Wie aus dem Tick ​​Tock Release Schedule hervorgeht , sehen die Chiphersteller die Einhaltung des Moore-Gesetzes als Herausforderung an. Aufgrund der Notwendigkeit, Moores Gesetz zu erfüllen, sind wir immer geschickter darin geworden, die Größe von Chips zu verringern, indem wir die Lithografie vorantreiben (und häufig Cheats wie Multipatterning verwenden).

Was hat das alles mit reversiblen Toren zu tun? Unternehmen, die neue Chips drucken möchten, sehen einen einfachen Weg, um die Geschwindigkeit zu erhöhen, indem sie einfach mehr Cache hinzufügen und ihre konventionellen Designs überarbeiten, um diesen Cache besser zu nutzen.

Der Mörder des Besseren ist kein technologischer Hurt; Es ist der Erfolg von gut genug .

Alice
quelle
1
Hoffentlich wird ein guter Tag nicht mehr gut genug sein.
Mehdi
@ Mehdi Wünschen wir nicht alle. Aber ich wäre mir nicht so sicher. Energie ist derzeit billig und es gibt Wege, den gegenwärtigen Zyklus für mindestens weitere 5 Jahre fortzusetzen (möglicherweise 10, wenn wir einen Weg finden, bestimmte Technologien zum Laufen zu bringen . Danach muss eine neue Technologie die Lithografie ersetzen, aber dies bedeutet nicht , es hat unkonventionell sein 3D - Lithographie viel dichter Chips durch den Aufbau mit der gleichen Steigung, aber in verschiedenen Richtungen bieten könnte das könnte lernen sie uns gewinnt bis zum Jahr 2050..
Alice
3

Nützliche Rechenvorrichtungen erfordern eine Rückkopplung, die es ermöglicht, dass ein Schaltungselement eine im Wesentlichen unbegrenzte Anzahl von sequentiellen Berechnungen ausführt. Verwendbare Rückkopplungskreise müssen Abschnitte enthalten, deren Gesamtzahl der Eingänge (einschließlich der von den Ausgängen zurückgeführten und der nicht zurückgeführten) die Anzahl der Ausgänge überschreitet, die an den Eingang zurückgeführt werden (die einzige Möglichkeit, die die Anzahl der Eingänge nicht bietet). Die Anzahl der rückgekoppelten Ausgänge würde nicht überschritten, wenn die Schaltkreise nicht auf äußere Reize reagieren würden. Da perfekt umkehrbare Logikfunktionen nicht mehr Eingänge als Ausgänge haben können, ist es nicht möglich, aus ihnen eine der Rückkopplungsstrukturen zu konstruieren, die für die wiederholte Ausführung nicht-trivialer Rechenaufgaben erforderlich sind. Beachten Sie, dass bei der in heutigen Computern verwendeten CMOS-Technologie eine Rückmeldung erforderlich ist, um sicherzustellen, dass die von Berechnungen in verschiedenen Teilen einer Schaltung gemeldeten Ergebnisse gleichzeitig anderen Teilen zur Verfügung gestellt werden, da die Signale sonst nicht zu dem relativen Zeitpunkt ankommen würden stellen "Informationen" dar, die nicht perfekt weitergegeben werden konnten; Andere Technologien könnten es ermöglichen, dass viele Gatter Signale mit genau der gleichen Rate ausbreiten, während die Reversibilität erhalten bleibt, aber ich kenne keine praktische Technologie dafür.

Beachten Sie, dass es aus CS-Sicht trivial ist, einen Rechenprozess umkehrbar zu machen, wenn ein anfänglich leeres Speichermedium vorhanden ist, dessen Größe im Wesentlichen proportional zur Anzahl der Schritte multipliziert mit der Menge des Zustands ist, die sich in jedem Schritt ändern könnte. Diese Behauptung widerspricht nicht der Behauptung des vorhergehenden Absatzes, da eine der Anzahl der Schritte proportionale Speicherung eine der Anzahl der Schritte proportionale Schaltungsanordnung erfordert, was eine der Menge proportionale Schaltungsanordnung impliziert, die erforderlich wäre, wenn alle Rückkopplungen beseitigt würden.

Wenn man Ausgänge haben darf, die ignoriert werden, wenn sie bei richtigen Eingangsbedingungen niemals hoch werden, dann könnte es möglich sein, ein System zu entwerfen, das theoretisch von einer reversiblen Logik profitieren würde. Wenn man beispielsweise einen Algorithmus hat, der mit einem 256-Wort-RAM-Block arbeitet, und eine "umkehrbare Logik-CPU" verwenden möchte, die 1.000.000 Operationen pro Sekunde ausführt, und jede Operation entweder ein Register, den Programmzähler oder einen aktualisierten RAM-Wort, könnte man eine "reversible CPU" verwenden, die:

  • führten eine Reihe von Anweisungen aus und sendeten bei jeder Anweisung alles, was überschrieben wurde, in einen LIFO-Puffer
  • Kopieren Sie nach Ausführung einer Reihe von Anweisungen den RAM in einen anfangs leeren "Weiterleitungs" -Puffer
  • Führen Sie unter Verwendung der Werte im LIFO alle Berechnungen in umgekehrter Reihenfolge durch
  • Überschreiben Sie den Inhalt des Hauptspeichers mit dem Weiterleitungspuffer, der dabei gelöscht würde.

Das obige Rezept kann beliebig oft wiederholt werden, um den Algorithmus für eine beliebige Anzahl von Schritten auszuführen. nur der letzte Schritt des Rezepts wäre nicht umkehrbar. Die Energiemenge, die pro algorithmischen Schritt bei nicht reversiblen Operationen aufgewendet wird, wäre umgekehrt proportional zur Größe des LIFO und könnte daher beliebig klein gemacht werden, wenn man ein ausreichend großes LIFO bauen würde.

Damit sich diese Fähigkeit jedoch in Energieeinsparungen jeglicher Art niederschlagen lässt, wäre ein LIFO erforderlich, das Energie speichert, wenn Informationen eingegeben werden, und diese Energie sinnvollerweise zurückgibt, wenn sie ausgelesen wird. Außerdem müsste das LIFO groß genug sein, um die Zustandsdaten für genügend Schritte zu speichern, damit die etwaigen Energiekosten für die Verwendung geringer sind als die Menge an Energie, die es sinnvoll eingespart hat. Da es unwahrscheinlich ist, dass die Menge an Energie, die beim Speichern und Abrufen von N Bytes aus einem praktischen FIFO verloren geht, 0 (1) ist, ist es nicht klar, dass eine Erhöhung von N den Energieverbrauch signifikant verringert.

Superkatze
quelle
1
@LoganMayfield: Ich denke, Sie ignorieren die Anforderung, dass die erforderliche Bandlänge proportional zur Anzahl der reversibel auszuführenden Schritte ist. Wenn ich eine Patrone in meinen Atari 2600 schiebe und sie für eine Weile einschalte, werden ungefähr 100 Milliarden Zyklen pro Tag ausgeführt. Da das System (einschließlich aller bis auf die größten Kassetten) weniger als 100.000 Transistoren aufweisen würde, entspricht dies mehr als einer Million Zyklen pro Tag und Transistor. Wollte man eine äquivalente Maschine entwickeln, die einen Tag lang vollständig reversibel arbeiten kann, selbst wenn ein LIFO mit einem Transistor pro Bit reversibel ist ...
supercat
1
... müsste die Anzahl der Transistoren mehr als millionenfach erhöht werden. Wenn nur einige tausend Zyklen gleichzeitig reversibel ausgeführt werden müssen, erfassen Sie die Ergebnisse, spulen Sie die Zyklen zurück und ersetzen Sie dann den vorherigen Anfangszustand durch die erfassten Ergebnisse, die möglicherweise beinahe funktionsfähig, aber ungeheuer komplex wären. Mit etwas, das der heutigen Technologie ähnelt, würde eine Reduzierung der "theoretisch unvermeidbaren" Verluste, die man durch die Verwendung von reversiblem Rechnen erzielen würde, durch eine Erhöhung des Leistungsverlusts aufgrund von Ursachen überfordert, die nur theoretisch vermeidbar waren .
Supercat
1
Ich habe mich nur mit der Aussage befasst, die Ihre ursprüngliche Antwort lautete: "Umkehrbare Technologie kann nicht dieselben Dinge wie irreversible Technologie berechnen". Ich wollte nicht implizieren, dass es praktisch ist.
Logan Mayfield
1
@LoganMayfield: Die ursprüngliche Frage war "Warum werden diese Dinge nicht verwendet". Ich würde vorschlagen, dass fast alle praktischen Computergeräte Feedback so verwenden, dass eine festgelegte Menge an Hardware eine unbegrenzte Anzahl von Berechnungen ausführen kann, wenn unbegrenzte Zeit zur Verfügung steht. Das ist etwas, was reversible Logik einfach nicht kann . Dies ist ein wesentlicher qualitativer Unterschied zwischen reversiblem und nicht reversiblem Computing. Es kann sein, dass sogar ein Computer, der nur eine begrenzte Anzahl von Vorgängen ausführen kann, bevor er "zurückgespult" wird, immer noch nützlich sein kann, also ...
supercat
1
... Ich habe den Beitrag bearbeitet, um zu sagen, was erforderlich wäre, um so etwas für eine sinnvolle Arbeit zu verwenden. Ich denke, das grundlegende praktische Problem ergibt sich jedoch aus dem, was ich ursprünglich gesagt habe: Computer bekommen den größten Teil ihres Preis-Leistungs-Verhältnisses, wenn sie Schaltungselemente beliebig oft wiederverwenden können, um unterschiedliche Berechnungen durchzuführen, und die Unfähigkeit von Es ist eine umkehrbare Logik zu handhaben, die es auf Anhieb zu einem schwerwiegenden Nachteil werden lässt.
Supercat
2

Praktisch angewandtes reversibles Rechnen ist ein aktives Forschungsgebiet und wird in Zukunft wahrscheinlich an Bedeutung gewinnen. Die meisten Quantencomputer versuchen, reversible Qubit-Gatter zu erzeugen, und es ist sehr schwierig, experimentell die theoretischen Eigenschaften des QM-Formalismus zu erreichen, aber es werden stetige Fortschritte erzielt.

Ein weiterer grundlegender Punkt ist, dass jedes Mal, wenn die Energiedissipation auf einem Chip verringert wird, das Gate-System im Wesentlichen auf "reversibler" geschaltet wird und die energiesparende Chip-Dissipation im Mobile Computing seit langer Zeit eine hohe Priorität hat (eine Art von branchenweiter Paradigmenwechsel). Jahrzehntelang waren die Chip-Leistungssteigerungen (ähnlich dem Moore-Gesetz) etwas "entspannt" oder sogar "schlampig" mit Energieverlust, was jedoch vor einigen Jahren einen Punkt erreichte, an dem die Renditen abnahmen. Der weltweit führende Chiphersteller Intel versucht, auf Chips mit geringerer Leistung umzusteigen, um mit Arm mithalten zu können.

Möglicherweise gibt es in jüngster Zeit einen Durchbruch bei der Forschung mit supraleitender Technologie (Juni 2014), und es gibt andere aktive Forschungsprojekte in diesem Bereich.

Siehe z. B. Reversibles Logikgatter mit adiabatischen supraleitenden Bauteilen / Takeuchi, Yamanashi, Yoshikawa, Nature:

Reversible Computing wurde untersucht, seit Rolf Landauer das als Landauer-Prinzip bekannte Argument vorgebracht hat. Dieses Prinzip besagt, dass es beim reversiblen Rechnen keine minimale Energieabgabe für logische Operationen gibt, da sie nicht mit einer Verringerung der Informationsentropie einhergeht. Bisher wurden jedoch keine praktischen reversiblen Logikgatter demonstriert. Eines der Probleme besteht darin, dass reversible Logikgatter unter Verwendung extrem energieeffizienter Logikbauelemente gebaut werden müssen. Eine weitere Schwierigkeit besteht darin, dass reversible Logikgatter sowohl logisch als auch physikalisch reversibel sein müssen. Hier schlagen wir das erste praktische reversible Logikgatter mit adiabatischen supraleitenden Bauelementen vor und demonstrieren experimentell die logische und physikalische Reversibilität des Gatters. Zusätzlich schätzen wir die Energiedissipation des Tors, und diskutieren Sie die minimale Verlustleistung, die für reversible Logikoperationen erforderlich ist. Es wird erwartet, dass die Ergebnisse dieser Studie es ermöglichen werden, das reversible Rechnen vom theoretischen Stadium in die praktische Anwendung zu überführen.

vzn
quelle
1

Fredkin-Tore sind realistisch und viele wurden implementiert. Es gibt ganze FPGA-Karten, die ausschließlich reversible Logikgatter verwenden und Fredkin- und Toffoli-Gatter als LUs verwenden.

Es gibt mehrere Probleme, die ihre weit verbreitete Verwendung in der Computerarchitektur bewirken. Es gibt mehrere "beworbene" Vorteile von Fredkin-Gates, die in realen Schaltungen nicht unbedingt wie erwartet funktionieren. Die Energieeinsparung von reversiblen Logikgattern beruht hauptsächlich auf der Tatsache, dass bei der Durchführung einer Operation keine Entropie erzeugt werden muss. Nach Aussage von Tom van der Zanden ist dies der Hauptgrund, warum reversible Logik viel effizienter sein kann. Warum ist dies in realen Schaltungen nicht der Fall:

  1. Gegenwärtig begrenzt die Transistortechnologie die Geschwindigkeit und den Stromverbrauch des Computers, und im Gegensatz zu herkömmlichen Nand- oder Nor-Gates sind leider mehr Transistoren erforderlich, um ein Fredkin-Gate herzustellen. Dies bedeutet, dass die Fredkin-Gates mehr Energie durch Leckströme von Transistoren verschwenden und mehr Platz auf dem Silizium benötigen (was teurer ist). Dies allein reicht aus, um die Verwendung von Nand / Nor über Fredkin-Toren zu rechtfertigen
  2. Da die primäre Form des Leistungsverlusts aus Transistoren und nicht die Entropieerzeugung aufgrund der tatsächlichen Berechnung besteht, müssen Sie noch Strom- und Masseleitungen zu Fredkin-Gates verlegen, um diesen Leistungsverlust zu kompensieren. Diese großen Busse sind Fan-In-Busse, die auch auf Silizium viel Platz beanspruchen. Da in einem Fredkin-Gate mehr Transistoren vorhanden sind, führt dies zu mehr Fan-In und damit zu mehr Platzverschwendung auf Silizium.
  3. Wir haben zwar reversible Fredkin-Gates, diese sind jedoch aus nicht reversiblen Bauteilen (Transistoren) aufgebaut. Dies bedeutet, dass einige der Energiegewinne mit der aktuellen Gate-Technologie (außerhalb von Quantenschaltungen) nicht realisiert werden.
  4. Größe und Geschwindigkeit hängen auf Silizium zusammen, je näher die Dinge beieinander liegen, desto schneller kann man sie im Allgemeinen herstellen. Da bei Fredkin-Gates mehr Transistoren verwendet werden und mehr Anschlüsse für die Stromversorgung usw. vorhanden sind, sind sie in der Regel erheblich langsamer.
  5. Die Energieverbrauchs- und Geschwindigkeitsvorteile werden nur dann realisiert, wenn die Bits erfolgreich wiederverwendet werden. Die meisten Algorithmen, die wir haben, sind schrecklich nicht konservativ. Sie können dies sehen, indem Sie eine Implementierung eines Volladdierers oder Schieberegisters unter Verwendung von Fredkin-Gattern untersuchen. Da die reversible Logik kein logisches Ein- und Ausblenden zulässt, führt dies zu einer Menge Bitberechnung, die letztendlich nicht zum Erreichen einer nützlichen Operation verwendet wird. Etwas wie das Hinzufügen von zwei 8-Bit-Zahlen erzeugt 9-Bit- oder nützliche Informationen (8-Bit-Ergebnis, 1 Übertragsbit), erfordert jedoch einen Eingabebus mit vielen 1 und 0-Konstanten und erzeugt viele Junk-Daten-Ausgabebits. Da Sie einen breiteren Bus haben, führt dies zu einer noch weiter verteilten Schaltung auf Silizium.
  6. Außerdem müssen die Junk-Bits vom Prozessor gelöscht werden und würden daher sowieso zu Energieverlusten führen, da sie niemals verwendet werden

Zusammenfassung: Fredkin-Gates verursachen bei der Implementierung realer Algorithmen viel Rechenaufwand. Abfallberechnung = Energieverschwendung. Aus diesem Grund nehmen die Busgrößen zu, wodurch sich die Dinge ausbreiten und verlangsamen. Darüber hinaus ist die physikalische Implementierung von Fredkin-Toren das Hauptanliegen der gegenwärtigen Technologie. Die derzeitige Implementierung verteilt die Dinge mehr, indem mehr Strom- und Masseleitungen erforderlich sind, um Verluste in der Schaltung zu kompensieren (was einen viel größeren Einfluss auf den Energieverlust hat) und viel mehr Platz auf Silizium beansprucht (was einen viel größeren Einfluss auf die Geschwindigkeit hat) )

Mir ist klar, dass dies ein alter Thread ist, aber viele der Antworten konzentrieren sich auf die Tatsache, dass Transistoren ineffizient sind. Mein Ziel ist es zu zeigen, dass unsere Algorithmen auch ineffizient sind und nicht gut mit reversiblem Rechnen umgehen. Ich bin ein Computeringenieur, der sich gerne mit reversiblen und Quantencomputern beschäftigt

Ryan
quelle