für den Algebraiker ist sie "die Charakteristik eines endlichen Körpers" oder "eine nichtarchimedische Bewertung", während der Logiker sie als die positiven Werte des Polynoms

F(a,b,c,d,e,f,g,h,i,j,k,l,m,n,o,p,q,r,s,t,u,v,w,x,y,z)=
(k+2){1-(wz+h+j-q)2-(2n+p+q+z-e)2-(a2 y2 - y2+1 -x2)2 - [(e4+2e3)(a+1)2 + 1 -o2]2 -[16(k+1)3 (k+2) (n+1)2 +1 - f2]2-- [((a+u4 -u2a)2 -1)(n+4dy)2 +1 -(x+cu)2]2-(ai+k+1-l-i)2 - [(gk+2g+k+1)(h+j)+h-z]2-[16r2y4(a2-1)+1-u2]2- [p-m+l(a-n-1)+b(2an+2a-n2 -2n -2)]2 - (n+l+v-y)2 - [z-pm+pla-p2l+t(2ap-p2-1)]2-(a2l2 -l2+1-m2)2 - [q-x+y(a-p-1)+s(2ap+2a-p2 -2p-2)]2}

mit vierundzwanzig Variablen definiert.

Weiter wissen wir, daß die Primzahlen die Bausteine der natürlichen Zahlen sind, d.h. jede natürliche Zahl kann eindeutig - bis auf Reihenfolge

der Faktoren - als Produkt von Primzahlen dargestellt werden.

Verfolgen wir anhand von drei Beispielen, wie sich einfache, "klassische" Fragestellungen entwickelten, wie sie sich teilweise lange ihrer vollständigen Beantwortung entzogen und zu welchen neuen, unvorhergesehenen Problemen sie führten. Zunächst werde ich über die Verteilung der Primzahlen sprechen, ein Problem, zu dem bereits seit Euklid erste Lösungsansätze vorhanden sind und für dessen vollständige Lösung Unsterblichkeit versprochen wurde. Danach komme ich auf das Faktorisierungsproblem zu sprechen, das für eine gegebene Zahl, nennen wir sie n, die Primfaktorzerlegung angeben soll, um danach das Primzahlproblem zu behandeln, das bei gegebenem n entscheiden soll, ob n eine Primzahl ist. Das letztgenannte Problem hat durch die Benutzung von Computern neue Fragen zur Korrektheit von Beweisen aufgeworfen, während das Faktorisierungsproblem in den letzten Jahrzehnten vor allem im Zusammenhang mit kryptographischen Verfahren an neuer Aktualität gewonnen hat.

linkshomerechts