Sie sind auf Seite 1von 12

Ma~hematik~ Wissenschait und Sprache.

Von L. E. J. Brouwer in Amsterdam.


Vortrag, gehalten in Wien am 10. III. 1928 tiber Einladung des Komitees
zur Yeranstaltung yon Gastvortr~gen aus]~ndischer Gelehrter tier exakten
Wissenschaften.
I.
Mathematik~ Wissensehaft und Spraehe bilden die Hauptfunk-
tionen der Aktivitiit der Mensehheit, mittels deren sie dis Natur be-
herrscht und in ihrer Mitte die Ordnung aufrecht erhi~lt. Diese Funk-
tionen :finden ihren Ursprung in drei Wirkungsformen des Willens
zum Leben des einzelnen Menschen: 1. die mathematische Betraeh-
tung, 2. die mathematische Abstraktion und 3. die Willensauferlegung
dutch Laute.
1. Die m a t h e m a t i s e h e B e t r a c h t u n g kommt als Willensakt
im Dienste des Selbsterhaltungstriebes des einzelnen Mensehen in
zwei Phasen zustande, die der z e i t l i e h e n E i n s t e l l u n g und die
der k a u s a l e n E i n s t e l l u n g . Erstere ist niehts anderes als das~
intellekr Urph~tnomen der--X~inanderfallung eines Lebens-
momentes in zwei qualitativ v e r ~ ~ v o n denen man
das eine als e m ~ d e r e n weiehend und trotzdem als durch den
Erinnerungsakt behauptet empfindet. Dabei wird gleicbzeitig das
gespaltene Lebensmoment vom Ich getrennt und uach einer als
Anschauungswelt zu bezeiehnenden Welt ftir sieh verlegt. Die durch
die zeitliche Einstellung zustande gekommene zeitliehe Zweiheit
oder zweigliedrige zeitliche Erscheinungsfolge li~fit sich dann ihrer-
seits wieder als eines der Glieder einer neuen Zweiheit auffassen,
womit die zeitliehe Dreiheit geschaffen ist, usw. In diescr Weise ent-
steht mittels Selbstentfaltung des intellektuellen Urphiinomens die
z e i t l i c h e E r s e h e i n u n g s f o l g e b e l i e b i g e r V i e l f a c h h e i t . Nun-
mehr besteht die k a u s a l e E i n s t e l l u n g im Willensakt der ,~Identi-
fizierung -~ versehiedener sich tiber Vergangenheit und Zukunft er-
streckender zeitlicher Erscheinungsfolgen. Dabei entsteht ein als
k a u s a l e F o l g e zu bezeichnendes gemeinsames Substrat dieser
identifizierteu Folgen. Als besonderer Fall der kausalen Einstellung
tritt aui die gedankliche Bildung yon Objekten~ d.h. yon be-
harrenden (einfachen oder zusammengesetzten) Dingen der Anschau-
ungswelt, wodurch gleichzeitig die Anschauungswelt selbst stabilisiert
wird. Wie gesagt, sind die beiden Stufen der mathematischen Be-
trachtung keineswegs passive Einstellungen, sondern im Gegentei!
154 L, E. J. B r o u w e r ,

Willensakte: es kann jedermann die inhere Erfahrung maehen: da$


man naeh Willktir entweder sieh ohne zeitliehe Einstellung und
ohne Trennung zwisehen Ieh und Ansehauungswelt vertr~umen, oder
die letztere Trennung" aus eigener Kraft vollziehen und in der An-
sehauungswelt die Kondensation van Einzeldingen hervorrufen kann.
Und ebenso willktirlieh ist die sieh nie unumg~nglieh aufzwingende
Gleiehsetzung" versehiedener zeitlieher Folgen.
Die einzige Reehtfertigung der mathematisehen Betraeht~ng ist
gelegen in der ,,Zweekmagigkeit" tier aus ihr hervorgehenden
,, m a t h e m a t i s e h e n H a n d 1 u n g " , worunter wit folgendes verstehen.
Die kausale Einstellung setzt den Mensehen instand, yon einer Er=
seheinungsfolge eine spi~tere, instinktiv erwtinsehte, abet nieht dutch
einen direkten Impuls herbeizuftihrende, als Z w e e k zu bezeiehnende
Erseheinung, i n d i r e k t dureh ktihle Bereehnung zu erzwingen, indem
man aus der Folge eine friihere, vielleieht an sieh niehts begehrens:
wertes besitzende, als Mittet zu bezeiehnende Erseheinung hervor-
ruft, die dann die erwtinsehte Erseheinung als F o l g e naeh sieh zieht.
Selbstversti~ndlieh besitzt eine kausale Folge keine weitere
E x i s t e n z auger als Korrelat einer mathematisehe Handlungen her=
vorrufenden Einstellung des menschliehen Willens und kann yon
tier Existenz eines kausalen Zusammenhanges der Welt unabhangig
vom Mensehen keine Rede sein. Im Gegenteit, der sogenannte
kausale Zusammenhang der Welt ist eine naeh augen wirkende
Oedankenkraft im Dienste einer dmfl~len Willensfunktion des Men-
sehen, der sieh dadureh die Welt mehr oder weniger wehrlos unter-
wirft, in analoger Weise wie die Sehlange ihre Beute wehrlos maeht
dureh ihren hypnotisierenden Bliek und der Tintenfiseh dureh Be-
spritzung mit seinem Sekret.
Die Konsequenz der kausalen Einstellung bringt waiter mit
sieh, dag der Menseh sehon auf niedrigen Kulturstufen zur Stabili-
sierung seines kausalen Einfluggebietes um sieh herum eine ihm
untergebene Sphi~re der O r d n u n g zu sehaffen sueht, in wel-
eher er erstens die ihm dienstbaren kausalen Folgen isoliert, d. h.
vor st(~renden Nebenerseheinungen sehiitzt, und zweitens neue kau-
sale Folgen herbeiftihrt, sowohl dutch die materielle Konstruktion
yon neuen beharrenden Objekten und Instrumenten, wie dutch die
mehr oder weniffer organisierte Unterjoellung des Willens seiner
Mitmensehen unter den eigenen Willen.

2. Der volle Ausbau des Getriebes der mathematischen Hand-


lungen wird aber erst aufh(iheren Kulturstufen ermiiglieht~ und zwar
(lurch die m a t h e m a t i s e h e A b s t r a k t i o n , mittels deren man die Zwei-
heit ihres dingliehen Inhaltes beraubt und nur als leere Form~ als
gemeinsames Substrat aller Zweiheiten fibriff behiilt. Es ist dieses
gemeinsame Substrat aller Zweiheiten, das die U r i n t u i t i o n tier
M a t h e m a t i k bildet, deren Selbstentfaltun~, u.a. das Unendliche
als gedankliehe Realit~,t einftihrt und zuar in hier nicht n~her zu
Mathemat.ik, Wissenschaft und_ Sprache. 155

er0rternder Weise zun~ehst die Gesamtheit der natUrliehen Zahlen,


sodann diejenige der reellen Zahlen und sehlieglieh die ganze reine
Mathematik liefert.
Die Wirkung der mathematisehen Abstraktion beruht darauf,
dag viele kausale Folgen erheblieh leiehter zu beherrsehen sind,
wenn man sic auf T e i l s y s t e m e derartiger reinmathematiseher
Systeme proj iziert~ d. h. ihre inhaltlosen Abstraktionen als Teilsysteme
in derartige ausgedehntere reinmathematische Systeme einbettet.
ttierdureh werden namlieh aueh die innerhalb des ausgedehnteren
Systems bestehenden Beziehungen zur t~bersicht tiber das be-
sehrgnktere System verwendbar, was ftir die letztere ~bersieht
manchmal eine durehgreifende Vereinfachung mit sich bringt. In
dieser Weise kommen die w i s s e n s e h a f t l i c h e n T h e o r i e n zu-
stande, in denen neben den Elementen der kausalen Folgen das
bei der t3bersieht eine zentralisierende Rolle spielende erweiterte rein-
mathematisehe System als H y p o t h e s e auftritt. Speziell als e x a k t -
w i s s e n s e h a f t l i e h e T h e o r i e n werdeu gewisse wissensehaftliehe
Theorien bezeiehnet, die sieh erstens auf ganz besonders stabile (sei
es ausschliefilieh als Naturgesetze b e o b a c h t e t e , sei es ats technische
Tatsachen kiinstlieh h e r v o r g e r u f e n e ) kausale Folgen beziehen,
bei denen zweitens durchdie Hypothesen eine grol~eVereinfaehung erzielt
wurde und bei denen drittens die kausalen Folgen speziellen Werten
yon z a h l e n m a g i g e n P a r a m e t e r n entspreehen, welche mit ihrem
vollen Wertegebiet dem tiberlagerten mathematisehen System angehSren.
Insbesondere bei den exaktwissensehaftliehen Theorien ereignet sich
das Ph~nomen des h e u r i s t i s e h e n C h a r a k t e r s w i s s e n s e h a f t -
l i e h e r H y p o t h e s e n , das darin besteht, dal~ zu ursprtinglich als
hypothetiseh eingefiigten Folgen hinterber, im iiberlagernden rein-
mathematischen System die gleiche Stelle einnehmende, wirkliehe
kausale Folgen der Ansehauungswelt entdeekt werden.

3. Die zunachst im Dienste des Willens des einzelnen Men-


sehen fungierende mathematisehe Betraehtung" bzw. mathematisehe
Handlung kann nun genau wie jede zunaehst autonome aggressive
oder defensive Tiitigkeit als A rbeit in den Dienst eines befehlenden
Willens, sei es des Einzelwillens eines anderen Mensehen, sei es des
Parallelwillens einer Mensehengruppe oder der gesamten Mensehheit.
gestellt werden. Dies gesehieht entweder dutch als S u g g e s t i o n zu
bezeiehnende direkte Angst- oder Sehreekensanjagung, Loekung,
Phantasiee~Tegung oder animale Beherrsehungskraft, oder indirekt
mittels V e r n u n f t d r e s s u r , d. h. derartige Beeinflussung der Erfah-
rung des dienstbar zu maehenden Individuums, dai~ bei ihm eine,
Hoffnung auf Lust oder Fureht vor Unlust als den Arbeitswillen be-
stimmenden Affekt ausl~sende, mathematisehe Betraehtung hervor-
gerufen wird.
Unter den allen Mensehen yore Parallelwillen der gesamten
3'Ienschheit auferlegten mathematischen Betraehtungen ist vor allem
156 L.E.J. Brotlwor,

zu nennen die Voraussetzung der hypothetisehen ,~objektiven Raum-


zeitwelt" als gemeinsame Tr~,igerin aller zeitlichen Erseheinungs-
folgen aller Individuen; weiter dig exakten und die teehnischen
Wissensehaften, insofern sie nicht in der Form yon Fabrikgeheim-
nissen speziellen Interessen dienen.
Als yon einer beschr~inkteren (z. B. staatlich oder beruflich
zusammengehaltenen) Menschengruppe ihren Angeh~rigen auferlegte
mathematisehe Betrachtung ist in erster Linie zu erwiihnen die An-
erkennung und Einhaltung der O r g a n i s a t i o n der Gruppe, d. h. des
Stromnetzes tier Willensfibertragung: mittels deren innerhalb der Gruppe
die Aufzwingung der einzelnen mathematischen Betrachtungen und
Handluugen als Arbeit stattfindet. Diese Organisation der einzelnen Men-
schengruppen hat deshalb einen viel weniger stabilen Charakter als
die exakten und die technischen Wissenschaffen, weil sie erstens
nie alle yon ihr zu berticksiehtigenden ~tul~erenmateriellen Umsti~nde
beherrscht und demzufolge~ um zweckmi~Big" zu bleiben, sieh fort-
wiihrend dem Weehsel der ~uBeren materiellen Umst~inde anpassen
muB, und weil zweitens ihre Effektivit~it nieht nur yon ihrer organi-
satorischen Zweekm~LBigkeit, sondern auch yon der T r e u e und yon
der Z u f r i e d e n h e i t 1) der ihr unterstellten Individuen abh~ingt, welche
sich immer nur unvollkommen herbeifiihren und aufrecht erhalten
lassen. Denn die Treue wird vet allem an den h6heren Stellen
dutch die Kollision tier pers~nlichen mit den Oruppeninteressen ge-
f~hrdet und die Zufriedenheit ist vor allem an den niedrigeren
Stellen dadurch eine mangelhafte, daB die niedriger gestellten im
allgemeinen zwar einsehen, dab dig far die AngehSrigen der Gruppe
bestehenden gemeinsamen Wiinsehe und NSte gewisse orgamsa-
torische Einriehtungen erfordern, nieht abet da~ gerade die obwal-
tende Organisation die einzig richtige ist, und dab ihnen selbsf
darin die richtige Stellung zugeteilt wurde.
Um nun Treue und Zufriedenheit in den organisierten Mensehen-
gruppen, wenn aueh unvollkommen, so doch leidlich zu erhalten, wiirden
die in die Organisation aufgenommenen Mittel der Vernunftdressur
bei weitem nieht ausreiehen; jede Organisation ist vielmehr genatigt,
iiberdies die Propaganda zu betreiben yon m o r a l i s c h e n Theorien~
d. h. yon mathematischen Betraehtungen, welche die Notwendigkeit
der bestehenden Organisation auger auf egoistisch zu erfassende gemein-
same Zwecke und N~te, tiberdies auf moralisehe, d.h. sich der ego-
istischen Betrachtung entziehende, Werte der Lebenshaltung zurtiek-
flihren. Unmittelbar sieh darbietende Beispiele sind die yon der Ge-
meinsehaft geschiitzten and propagierten moralischen Werte tier re-
ligiSsen Gebote sowie der Begriffe Vaterland, Eigentum and Familie.
Die Propaganda der moralischen Werte ist, weil sie fast
keine Vernunfldressur benutzen kann~ vor allem auf Suggestion,
~) Die Unzufriedenheitder einzelnen Individuen wirkt deshalb zersetzend
~uf die Gruppenorganisation, weil sie die Bildung yon Teilgemeinschaftenzeitigt,
welche t~uf die Umformung der Organisation der Hauptgemeinschaftabzielende
mathematische Betrachtungen anstellen.
Mathematik, Wissenschaft und Sprache. 157

insbesondere Phantasieerregung angewiesen. ~brigens beruht die


Machtstellung der moralischen Werte nieht aussehtieNieh auf der
organisierten Propaganda der entspreehenden Mensehengruppe, sondern
aueh auf der stillen Wirkung derjenigen mathematisehen Betrach-
tungen der einzelnen Individuen, in welche die moralisehen Werte
als Ablehnungen egoistischer Triebe anderer eingehen.
In den organisierten Menschengruppen kommt auf primitiven
Kulturstufen und in den primitiven Beziehungen die Willenstiber=
tragung dutch eine einfache Gebi~rde zustande und als solche ist ins-
besondere der Sehrei effektiv. In den zur Organisation einer hSheren
Mensehengemeinsehaft gehi~rigen Verhiiltnissen dagegen sind die
aufzuerlegenden Arbeiten zu verschiedenartig and zu kompliziert,
um durch einfache Sehreie veranla~t werden zu kSnnen. Um die
regelm~fiige Veranlassung dieser Arbeiten dutch bittende oder befeh-
lende Laute zu erm6glichen, mul~ vielmehr die Gesamtheit der Ver-
ordnungen~ Objekte und Theorien, welehe bei den yon den Dienst-
baren verlangten mathematischen Handlungen eine Rolle spielen,
selber einer mathematischen Betrachtung unterzogen werden. Den
Elementen des zur aus dieser mathematischen Betraehtung erwaeh-
senen wissensehaftlichen Theorie geh(irigen reinmathematischen
Systems werden s p r a c h l i e h e E l e m e n t a r s i g n a l e zugeordnet:
mit denen naeh derselben wissensehaftlichen Theorie entnommenen
g r a m m a t i k a l i s e h e n R e g e l n die organisierte S p r a e h e operiert,
welehe die iibergrol~e Mehrzahl der in den Kulturgemeinschaften
nStigen Willenstibertragungen zu bewerkstelligen erlaubt. Die Spraehe
ist also durchaus eine Funktion der Aktivitiit des sozialen Mensehen.
Wenn auch der einzelne Menseh in der Einsamkeit die Spraehe
zur Gediichtnisunterstiitzung braneht~ so ist dies nut dem Umstande
zuzuse]hreiben, da$ er dabei die Wissenschaften und die Organisa-
tion der Gemeinsehaft zu bertieksiehtigen hat. Und wenn auch tat-
lose transzendente Vorgiinge yon der Spraehe begleitet werden, so
ist dies darauf zuriiekzufiihren, da~ die gesamte mensehliche Akti-
vitiit dem transzendenten Influx des freien Willens unterworfen ist.
II.
Nun gibt es aber fiir WiUensiibertragung, insbesondere fiir dureh
die Spraehe vermittelte Willenstibertragung, weder Exaktheit, noch
Sicherheit. Und diese Sachlage bleibt ungesehmalert bestehen, wenn
die Willenstibertragung sieh auf die Konstruktion reinmathematischer
Systeme bezieht. Es gibt also aueh ftir die reine M a t h e m a t i k
k e i n e sichere Spraehe~ d. h. keine Sprache, welche in der Unter-
haltung Mi~verst~ndnisse aussehliegt und bei der Gediiehtnisunter-
stiitzung vor Fehlern (d. h. vor Verweehslungen versehiedener mathe-
matischer Entititten) schiitzt. Diesem Umstande ist nicht dadureh
abzuhelfen, dal~ man, wie es die f o r m a l i s t i s e h e Schule macht, die
mathematische Sprache (d. h. das zur Hervorrufung reinmathemati-
seher Konstruktionen bei anderen Menschen dienende Zeichensystem)
selber einer mathematisehen Betrachtung unterzieht~ ihr durch Urn-
158 L.E.g. Brouwer,

arbeitung die Genauigkeit und Stabilit~t eines materiellen Instru-


mentes oder eines Phanomens tier exakten Wissensehaft verleiht
und sieh dabei in einer Spraehe zweiter Ordnung odGr ~berspraehe
tiber sie vGrsti~ndigt. Denn erstens kann beim Gebrauehe der
mathematischen Spraehe diese ~bersprache zwar mit grol3er Wahr-
seheinlichkeit (well sie sigh auf eine iibersichfliche endliehe Neng'e
yon beharrenden 0bjekten und auf dig daraus abstrahierte reine
Nathematik eines endlichen Systems bezieht), aber dem Wesen tier
Spraehe entspreehend, doeh night mit absoluter Sicherheit vor MiBver-
st~tndnissen und Fehlern schtitzen; zweitens wiirde~ aueh wenn letzteres
der Fall wiire~ damit die M(iglichkeit yon Mil@ersti~ndnissen hin-
siehtlich der durch eine derartige exakt6 mathematisehe Spraehe ange-
deuteten reinmathematisehen Konstruktionen keineswegs beseitigt sein.
Die Bestrebungen der formalistischen SGhule, deren Ursprung
nach dam obigen auf den falsehen G]auben an einG magisehe~
wenigstens an eine fiber ihren Charakter als Willensiibertragungs-
mittel hinausgehende Tragweite der Sprache zurtiekzuftihren ist,
lassen sieh in diesem Lichte erkNren als nattir]iche Konsequenz
eines viel i~lteren, primii.reren, folgensehwereren und tiefer einge-
wm-zelten Irrtums, niimlich des leichtsinnigen Vertrauens auf die
k l a s s i s c h e Logik. Dieses Vertrauen ist wie folgt entstanden:
Schon im Altertum verfiigte man tiber eine sehr vollkommene (d.b.
MiBverst~indnisse praktisch aussch]ieBende) Sprache der mathemati-
sehen Betrachtung yon endliehen Gruppen yon je als e i n h e i t l i c h
und b e h a r r e n d aufgefalgten Dinffen dGr objektiven Raumzeitwelt.
Ftir diese Sprache bestehen gGwissG Formen des ~dberganges yon
zutreffenden (d. h. tatsachliche mathematische Betraehtungen an-
dGutenden) Aussagen auf andere zutreffende Aussagen~ welche als
Gesetze tier Identiti~t, des W i d e r s p r u c h s , des a u s g e s e h l o s s e n e n
D r i t t e n und des S y l l o g i s m u s bezeichnet und unter dem Namen
l o g i s e h e r P r i n z i p i e n zusammengefagt wurden. Wenn man diese
Prinzipien rein sprachlich anwandte, d.h. mit ihrer Hilfe sprach-
liehe Aussagen aus anderen sprachlichen Aussagen herleitete, ohne
an die yon diesen Aussagen angedeuteten mathematischen Betrach-
tungen zu denken, so erwies sich~ dab sich die P r i n z i p i e n be-
wiihrten, d. h. yon jeder in dieser Weise erhaltenen Aussage lieB
sieh hinterher konstatieren, dab sie bei jedem spraehlich erzogenen
Menschen eine tatsiiGhliche mathematisehe Betrachtung ausl(isen
konnte~ welehe sich fiir alle spraehlich erzogenen Menschen in der
objektiven Raumzeitwelt praktisch als ,identiseh" herausstellte.
Nun bew~thrten sigh aber die logischen Prinzipien ebenfalls~ wenn
man sie ganz allgemein auf die Sprache der Wissensehaft oder auch
der Begebenheiten des sonstigen praktischen Lebens kontrollierbar an-
wandte, wenigstens solange man dabei nur solehe Ereignisse be-
handelte, welche yon Naturgesetzen beherrseht wurden: auf deren
Unersehtitterlichkeit man zu vertranen gelernt hatte. Demzufo]ge
kam man dazu~ den mittels tier logischen Prinzipien hergeleiteten
Aussagen auch dort zu trauen~ wo sic keiner direkten Kontrollc
Mathematik, Wissensahaft und S13rache. 159

zugiing][ieh waren. Insbesondere wurde auch dem Prinzip des aus-


gesehlossenen Dritten dieses Vertrauen entgegengebraeht und dies
sogar in der erweiterten Form, naeh weleher ein frtiheres Ereignis
als stattgefunden angenommen wird, nieht nur auf Grund der Ab-
surdit~t, sondern aueh auf Grund der praktisehen Unm~gliehkeit,
flit eine feststehende Tatsaehe eine andere Erklarung zu finden,
Auf dieses Vertrauen sttitzen sieh night nur theoretisehe Wissen-
sehaften wie die Palaontologie und die Kosmogonie, sondern auch
staatlielhe Einriehtungen wie die Strafprozei~ordnung. Allerdings kam
es vor, daf man in Angelegenheiten der Ansehauungswelt mittels
logiseher t~berlegungen zu falsehen Ergebnissen gelangte, abet eine
derartige Erfahrung hat immer nur eine geeignete Umformung" der
zngrunde gelegten Tatsaehen bzw. Naturgesetze, hie eine Kiindigung
des Vertrauens auf die logisehen Prinzipien gezeitigt.
Nun ist aber die Tatsaehe der praktisehen Zuverlassigkeit der
logisehen Prinzipien, d. h. der Aussagenverkntipfungsgesetze der Spraehe
der Mathematik des Endliehen, in Angelegenheiten der Ansehauungs-
welt nur eine Folge der allgemeineren Tatsaehe, dag die l~Iensch-
heir die grofie Majoritat der tier Beobaehtung zug~ngliehen Objekte
und Meehanismen tier Ansehauungswelt in bezug auf ausgedehnte
Komplexe yon Tatsaehen und Ereignissen erfolgreieh beherrseht,
indem sie das System der Zust~inde dieser Objekte und Meehanismen
in der Raumzeitwelt als Teil tines endliehen diskreten, mit endlieh-
vielen Verkn~pfungsbeziehnngen zwisehen den Elementen versehenen
Systems betraehtet und behandelt. M. a. W. die praktisehe Zuver-
lassigkeit der logischen Prinzipien beruht darauf, daft ein groger
Tell der Ansehanungswelt in bezug auf ihre endliehe Organisation viel
mehr Treue und Zufriedenheit zeigt als die Menschheit selbst. Daf man
yon altersher vor dieser niiehternen Interpretation blind war, wurde
dadureh verursaeht, (dag man den aussehliegliehen Charakter der
Worte als WillQnsiiSertragungsmittel nieht erkannte und dieselben
infolge eines unbesbhfi~i~6-fi-Ab-r als Andeutungsmittel fetiseh-
artiger , , B ~ betraehtete. Diese ,,Begriffe" sowie die zwisehen
ihnen bestehendgh-'u sollten unabh~ngig yon "d-~i~U-
salen Einstellung des Mensehen eine Existenz besitzen, und die
logischen Prinzipien sollten die Begriffe und ihre Verkniipfungen
beherrsehende aprioristisehe Gesetze darstellen. Dementspreehend
herrsehte die Meinung, daft Begriffsverkniipfungen, welehe aus un-
leugbaren Axiomen (d. h. aus Begriffsverkniipfungen, welehe Kon-
statierungen unleugbarer Tatsaehen oder Naturgesetze entspreehen)
mit Hilfe der logisehen Prinzipien, eventuell mittels Adabsurdum-
fiihrung ihres Gegenteiles, hergeleitet waren, im Falle dag sie
selber 'wiederum kontrollierbare Aussagen fiber die Ansehanungswelt
lieferten, diese Kontrolle jederzeit siegreieh bestehen k~nnten, im ent-
gegengesetzten Falle abet mit gleieher Zuverlassigkeit als ,ideale'
W a h r h e i t e n " zu betraehten w~iren. Derartige ,,ideale Wahrheiten"
sind denn aueh Jahrhunderte lang mit zuversiehtlichem Eifer yon den
Philosophen hergeleitet worden. Wenn die als unbehagliehe Nebener-
160 L.E.J. Brouwer,

seheinang dann und wann auffretenden Widerspriiche Zweifel an der


Riehtigkeit dieser Entwicklungen entstehen lie~en, so war dieser Zweifel
hie gegen die Zuverli~ssigkeit der logisehen Prinzipien, sondern immer
nt~r gegen die Unleugbarkeit der Axiome, d.h. der den Entwiek-
lung'en zugrunde gelegten Begriffsverkntipfangen, geriehtet. Und
manehes Axiom hat man, eben auf Grund der bei den aus demselben
fo)genden idealen Wahrheiten auftretenden Widersprtiche, verwerfen
oder modifizieren mtissen.
In Naehahmung der Philosophen haben schlieNich aueh die Mathe-
matiker beim Stadium der reinen Mathematik der unendliehen Sy-
sterne die logisehen Prinzipien der SroL~he der Endliehkeitsmathe-
matik entnommen and skrupellos angewand~_In-dieser Weise warden
aueh ftir die Mathematik der unendHchen Systeme bzw. der in der
Mengenlehre auftretenden, mittels des Komprehensionsaxioms ge-
schaffenen, Mengen Aussagen ,idealer Wahrheiten ~chergeleitet, welehe
yon den Mathematikern fiir mehr als leere Worte gehalten warden.
Bis sich auch hier~ namentlieh nach Einftihrung der Mengenlehre~
Widerspriiche auftaten~ und zwar solehe, die sich nieht in einfacher
Weise dutch eine geeig'nete Umformung der Axiome beseitigen liegen.
Diesen (in der Mathematik noeh viel verblfiffender als in der
Philosophie wirkenden) Widersprtichen ist man zuniiehst mit den
oben erw~hnten formatistisehen Bestrebungen za Leibe gegangen.
Und zwar werden hierbei unter Aufrechterhaltung des Glaubens
an einen yon der Willensiibertragun~ unabhiingigen Sinn der Spraehe,
die axiomatischen Grundverkniipfungen der mathematischen Begriffe
und die zwisehen den versehiedenen Verkntipfungen mathematischer
Begriffe bestehenden Formen des ~berganges (insbesondere sofern
sie die Schaffung yon Mengen and die Zulassung yon Elementen
zn den Mengen betreffen) einer grtindliehen Analyse and Revision
nnterzogen, in welehe selbstverst~.ndlieh aueh die spraehliehe Wir-
k~mg der logischen Prinzipien mit hineinbezogen wird. Der Sinn
der mathematisehen Begriffe and Begriffsverkntipfungen wird dabei
nieht n~her erSrtert und das Endziel der Bestrebungen (dem man
allerdings noch nieht nahe gekommen ist) besteht in einer wider-
-sprnehsfreien Neag'estaltung der m a t h e m a t i s e h e n Sprache,
die sich tiberdies his auf geringe, die frtiheren Widerspriiehe um-
fassende, Amputationen tiber das ganze Lehrgebiiude der bisherigen
Mathematik erstrecken soll.
III.
Demgegentiber bringt der I n t u i t i o n i s m u s die au~erspraeh-
tiehe Existenz der reinen Mathematik zum Bewu~tsein and unter-
sueht~ am anf dieser Grundlage die Riehtigkeit der bisherigen
Mathematik zu priifen, zuni~chst, inwiefern die logisehen Prinzipien,
die beim Aufbau dieser Mathematik eine so grofie Rolle ge-
spielt haben~ aueh in der Unendlichkeitsmathematik als praktisch
zuverl~ssige Obergangsmittel zwisehen reinmathematisehen Konstruk-
tionen fungieren kSnnen. Diese Untersuehung ergibt ftir die Prin-
Mathematik, Wisse~schaft and Spraehe. 161

zipien der Identitiit, des Widerspruehs und des Syllogismus ein posi-
tives~ ftir das Prinzip des ausgesehlossenen Dritten dagegen ein
negatives Resultat, d.h. es erweist sich~ dag den Aussagen des
letzteren Prinzips und den auf demselhen beruhenden Sehlu~fo]ge-
runfien im allgemeinen~keine mathematisehe Realit~entsprieht.
Um dies an einigen Beispielen zu erl~tutern, bezeiehnen wir
als f l i e h e n d e E i g e n s e h a f t eine Eigenschaft, von der fiir jede
bestimmte nattirliehe Zahl entweder die Existenz oder die Ab-
surdit~t hergeleitet werden kann, wi~hrend man weder eine nattir-
liehe Zahl, welche die Eigenschaft besitzt, bestimmen, noeh die Ab-
surditat der Eigensehaft fiir alle natiirliehen Zahlen beweisen kann.
Unter der L S s u n g s z a h l ),y einer fliehenden Eigensehaft f wollen
wir die (hypothetische) kleinste nattirliehe Zahl, welehe die Eigen-
schaft besitzt, verstehen, nnter einer Oberzahl bzw. U n t e r z a h l
yon f eine nat~irliehe Zahl, welehe nieht kleiner bzw. kleiner als
die L~sungszahl ist. Man sieht unmittelbar ein, dal~ ftir eine belie-
bige fliehende Eigensehaft jede natiirliehe Zahl entweder als Ober-
zahl oder als Unterzahl zu erkennen ist, wobei im ersteren
Falle die fliehende Eigenschaft gleiehzeitig ihren Charakter ats
solche verliert. Wir nennen die fliehende Eigensehattf pari-
tEtsfrei, wenn man ihre Absurdit~t weder ftir die positiven noeh
ftir die negativen natt~rliehen Zahlen beweisen kann. Als die zur
p a r i t ~ t s f r e i e n f l i e h e n d e n E i g e n s c h a f t f g e h S r i g e duale
P e n d e l z a h l ~of bezeiehnen wir die als Limes der konvergenten
Polge al~ a ~ , . . , bestimmte reelle Zahl, wo a, Nr eine beliebige
Unterzahl v v o n f gleieh (-- , dagegen ftir eine beliebige Ober-

zahl ~ yon f gleieh (-- I i s t . Diese duale Pendelzahl ist]weder


gleieh Null noeh yon Null versehieden, ira Gegensatz zum Prinzip
des ausgesehlossenen Dritten. Verstehen wir nnter einer n i e h t p o s i -
t i v e n reellen Zahl eine reelle Zahl~ die unm5glieh positiv sein kann,
dann ist die duale Pendelzahl weder positiv noeh niehtpositiv, im
Gegensatz zum Prinzip des ausgesehlossenen. Dritten. Nennen wir
weiter die positiven und die niehtpositiven Zahlen beide mit Null
v e r g l e i e h b a r nnd die reellen Zahlen, die unmi~glieh mit Null ver-
gleiehbar sein k~nnen~ mit Null u n v e r g l e i e h b a r , dann ist die
daale Pendelzahl weder mit Null vergleiehbar noeh mit Null nnver-
gleiehbar, im Gegensatz zum Prinzip des ausgesehlossenen Dritten.
Und nennen wir eine reelle Zahl g r a t i o n a l , wenn sie entweder
g!eieh Null ist oder zwei solehe positive oder negative ganze Zahlen
p und ~ bestimmt werden ktinnen, dag g - - P---
q' und i r r a t i o n a l ,
wenn die Annahme der Rationalit~t yon g ad absurdum gefiihrt
werden kann, dann ist die obige duale Pendelzahl weder rational
noch irrational, im Gegensatz zum Prinzip des ausgesc.hlossenen
Dritten.
/~Lonatsh. ~iir Mathemalik u n d Physik. XXXVI. Band. ll
162 L.E.J. Brouwer,

Bezeiehnen wir als die zur p a r i t ~ t s f r e i e n f l i e h e n d e n


E i g e u s e h a f t f g e h S r i g e d u a l e N ~ h e r u n g s z a h l nr die als
Limes der konvergenten Folge bl, b2~.., bestimmte reelle Zahl~ we
b, Nr eine beliebige Unterzahl ~ yon f gleieh ~ , dagegen Nr

eine wir
in der mit einem reehtwinkligen goordinatensystem versehenen
guklidsehen Ebene ein~ gerade Linie l dureh die Punkte (1, pf)
und ( - - 1 , nf), dann sind die X-Aehse und l erstens nieht parallel,
w~ihrend doch ihre Parallelitiit nicht absurd ist; zweitens fallen sie
nieht zusammen~ wiihrend doeh ihr Zusammenfallen nicht absurd
ist; drittens sehneiden sie sieh nieht, w~tbrend doch ihr Sichsehneiden
nieht absurd ist.
Aueh sind die X-Aehse und l weder paral]el, noch fallen sie
zusammen, noch auch sehneiden sie sich~ so dail der auf dem
Prinzip des ausgesehlossenen Dritten beruhende Satz, dal~ zwei Ge-
fade der Euklidsehen Ebene entweder parallel sind oder zusammen-
fallen oder abet sieh sehneiden, sieh als hinfiillig erweist.
Sollte der paritatsfreie Charakter yon f verloren gehen, dann
wtirde entweder f~ir die Sehneidung oder fiir die Parallelit~t die
Gtiltigkeit des Prinzipes veto ausgesehlossenen Dritten zurtiekkehren.
Aber erst wenn tier Charakter yon f als fliehende Eigensehaft iiber-
haupt verloren geht, tritt das Prinzip fiir alle drei Eigensehaften
der Paralleliti~t, Zusammenfallung und Sehneidung wieder in Kraft.
Betraehten wir alas in der mit einem reehtwinkligen Koordi-
natensystem versehenen Euklidsehen Ebene gelegene Einheits-
quadrat ~ mit den Eckpunkten (0, 0), (0, 1), (1, 0), (1, 1). Bezeiehnen
wit die yon ~/ bestimmte Quadratfli~ehe mit O und den Punkt (Ps, PJ)
mit P. Alsdann liegt P nieht auf ~, wahrend doeh die Inzidenz yon
P mit q nieht absurd ist; welter geh~rt Y nieht zu Q, wahrend
doeh die Zugehtirigkeit yon P zu Q nieht absurd ist. Sebliefllieh
gehSrt P weder zu ~, noeh zum Innengebiete yon ~/ noeh zum
Augengebiete yon ~,, so da$ der klassisehe, auf dem Prinzip des aus-
gesehlossenen Dritten beruhende J o r d a n s e h e Kurvensatz, der be-
sagt, dai/ eine einfaehe gesehlossene Kurve die Ebene in der Weise
in zwei Gebiete zerlegt, dait jeder Punkt der Ebene entweder zur
Kurve oder zu einem yon diesen Gebieten geh(irt, sieh als hinfallig
erweist.
Betraehten wit die unendliehe Reihe mit positiven Gliedern
b~ + b~ + b3 + 9 we die b~ die oben angegebene Bedeutung haben.
Diese Reihe konvergiert nieht, wi~hrend doeh ihre Konvergenz nieht
absurd ist; ebenso divergiert sie nicht, wahrend doeh ihre Diver-
genz nieht absurd ist. Gleiehzeitig erweist sieh der auf dem Prinzip
des ausgesehlossenen Dritten beruhende Satz, da~ jede nnendliehe
Reihe mit positiven Gliedern entweder konvergiert oder divergiert,
als hinfallig. Auf diesem Satze aber, oder auf einem im wesentlieben
Mafhemagik, Wissenschaft u~d Sprache. 163

~iquivalenten~ beruht tines der wichtigsten Konvergenzkriterien aus


der Theorie der unendlichen Reihen, das K u m m e r s c h e Konver-
genzkriterium. Und tats~ichlich zeigen Gegenbeispiele~ dal~ dieses
Kriterium sich dcr intuitionistischen Kritik gegen~ibcr nicht aufrecht
erhalten l ~ t .
Betrachten wir die algebraische Gleichung x~-- 3 x + 2 b3--_ 0,
wo b : l + p / . Die Diskrimin~nte dieser Gleichung ist glcich
- - 1 0 8 (1--b6)~ also weder gleich Null noch yon Null verschiedem
Auf diese algebraische Gleicbung ist also der zweite Gausssche
Bowels der Wurzelexistenz nicht anwendbar. S~mtliche ~ibrige
klassische Beweise der Wurzelexistcnz werdcn iibrigcns im Lichte tier
intuitionistischen Kritik cbenfalls hinF~llig. Abet die Wurzelexistenz
selber ist durch neue intuitionistische Beweise gesichert worden.
Die vorstchcnden Beispiele werden verst~indlich machen~ da~
tier Intuitionismus fiir die hIathematik wcittrugende Konsequenzen
mit sich bringt. In der Tat m%sen~ wenn die intuitionistischen Ein-
sichten sich durchsetzen~ betrachtliche Teile des bisherigen mathe-
matischen Lehrgebiiudes zusammenbrechen und neue mit vSllig
neuem Stilgepr~ge errichtet werden. Und bei den Teilen~ die bleiben,
ist vielfach ein durchgrcifendcr Umbau erforderlich.
Yon weitcren Exkursen im Oberbau der Mathematik wollen
wir aber hier Abstand nehmen und nur noch ein paar Bemerkungen
grunds~itzlicher Art machem Allererst diese~ dal] mit dem Prinzip des
ausgeschlossenen Dritten tier indirekte Bcweis~ d . h . die Hcrleitung
einer Eigenschaft durch reductio ad absurdum ihres Gegentciles in
dieser allgemeinen Form hinfiillig wird. Denn die obige l%ndelzahl
_;of ist nicht rational~ trotzdem ihre Irrationalit~it absurd ist~ und
nicht mit Null vergleichbar~ trotzdem ihro Unverglcichbarkeit mit
Null absurd ist. Intcressant ist indcssen, da~ fiir n e g a t i v e E i g c a -
s c h a f t e n (d. h. Eigenschaften~ die selber eine Absurdit~it zum Aus-
druck bringen) die M c t h o d e des i n d i r c k t e n B e w e i s e s u n g e -
schmiil~rt in K r a f t bleibt. Denn es gilt in tier intuitionistischen
Mathematik der Satz, da~ Absurdit~it tier A b s u r d i t ~ t d e r Ab-
s u r d i t ~ t ~iquivalcnt ist mit Absurdit~it~ so daiS eine beliebige
nichtverschwindendc endliche Sequenz yon Absurdit~itspr~dikaten
,Absurdit~it dcr Absurdit~t d e r . . , der Absurdit~t"~ welche in der bis-
herigen Mathematik entweder die Richtigkeit oder die Absurdit~it
aussagt, in tier intuitionistischen Mathematik entweder mit tier Absur-
ditat odor mit der Absurdit~t dcr Absurdit~t ~iquivalent ist.
SchlieiSlich bemerken wir noeh~ da~ das Prinzip des ausge-
schlossenen Dritten in der intuitionistischen Mathematik, obwohl
n i c h t r i c h t i g , so doch, wenn man es ausschlie~lich fiir e n d l i c h e
Spezi[es yon Eigenschaften gleichzeitig voraussetzt,-widerspruchs-
frei ist, was in erster Linie erkl~irt, da~ die Irrttimer der bis-
herigen Mathematik sich so lange behaupten konnten, und in zweiter
Linie als ermutigender Umstand fiir die formalistischen Bestrebungen
geltenL kann. Denn auf der Basis der intuitionistischen Einsichteu
11"
164 L . E . J . Brouwer, Ma~hemat.ik,Wissenscha[t und Sprache.

lassen sich auger den unabh~ingig vom Prinzip des aasgeschlossenen


Dritten entwiekelbaren r i c h t i g e n T h e o r i e n , aueh unter Heran-
ziehung dieses Prinzipes mit der obigen Einsehrankung~ n i c h t k o n -
t r a d i k t o r i s c h e Theorien herleiten, mit denen sieh yon tier bis-
herigen Mathematik ein viel gr~l~erer Teil als mit den richtigen
Theorien nmfassen l~il~t. Eine geeignete Meehanisierung der Sprache
dieser intaitionistiseh-niehtkontradiktorisehen Mathematik mfil]tc also
gerade das liefern, was die formalistische Schule sich zum Ziel ge-
setzt hat.
Dagegen kann die gleichzeitige Aussage des Prinzips des aus-
geschlossenen Dritten ffir beliebige Spezies yon Eigenschaften
sehr wohl kontradiktorisch sein. So liigt sich yon der folgenden
Aussage die Kontradiktorit~t beweisen: Alle reellen Zahlen sind ent-
weder rational oder irrational. Im Hinblick auf diese Tatsache wird
beim Aufl'ichten des widerspruchslosen formalistischen Sprachgeb~udes
doeh anf jeden Fall die grSl~te Sorgfalt und Vorsicht erforderlich
bleiben.