Andrs Mt

Was heit Mathematik und wie soll sie gelehrt

werden?
Antworten der ungarischen Mathematik
Die Geschichte der Mathematik in Ungarn im 20. Jh. ist eine
Erfolgsgeschichte, die fast kein Vorsiel hat. !m "#. Jahrh$ndert
ga% es eine ein&ige 'eist$ng (on internationaler )ede$t$ng*
Jnos )ol+ai,s Ar%eit &$r )egr-nd$ng der nichte$klidischen
Geometrie. .eit Anfang des 20. Jahrh$nderts stehen /edoch die
Mathematiker a$s )$daest im 0entr$m der mathematischen
1orsch$ng. Der ersten Generation der international
anerkannten Mathematiker ging a%er eine Generation (on
gro2en 'ehrern (ora$s 33 4rofessoren $nd a$ch
G+mnasiallehrer 33, die den Unterricht a$f 5eltni(ea$ %rachten
$nd a$ch ein .+stem der )ega%tenf6rder$ng a$f%a$ten.
Diese Generationen ha%en a%er a$ch eine mathematische
7$lt$r &$stande ge%racht 8 ich meine damit eine Denk9eise
-%er die Mathematik, einen .til der )ehandl$ng
mathematischer 4ro%leme $s9. !ch 9erde /et&t &9ei Merkmale
dieser 7$lt$r her(orhe%en, $nd das sind ein hilosohisches
!nteresse $nd eine A$ffass$ng -%er die :at$r der Mathematik.
Die (erschiedenen Verf;sser denken nat-rlich a$f
(erschiedene 5eise< ihre A$ffass$ngen sind a%er nah (er9andt
$nd, 9as noch 9ichtiger ist, sie %e&iehen sich in ihren
=efle>ionen $nd Ant9orten a$feinander. Diese Ansichten
ha%en 9ichtige 7onse?$en&en, %esonders f-r den Unterricht
der Mathematik. Die Mathematiker, (on denen ich /et&t
srechen 9erde, ha%en alle (ers$cht, ihre Ansichten -%er die
:at$r der Mathematik a$ch da geltend &$ machen. 5as
(ielleicht noch interessanter ist, der Unterricht der Mathematik
sielt in den 5erken -%er die Mathematik der %eiden :icht3
Mathematiker, deren Ansichten ich a$ch darstellen 9erde, eine
9ichtige =olle.
1. Plya
G+6rg+@Georg 4Al+a B"CCD3"#CEF (erlie2 Ungarn im Jahr "#"G.
Er 9$rde erst in 0-rich, dann an der .tanford Uni(ersit+ einer
der einfl$ssreichsten Mathematiker des 20. Jahrh$nderts. Von
den G03er Jahren an %esch;ftigte er sich mit mathematischer
He$ristik $nd mathematischer Er&ieh$ng. Er 9ar Doktor(ater
(on !mre 'akatosI %ei dessen Dissertation in Jam%ridge.
4Al+a erinnert sich im Vor9ort &$r ersten $ngarischen
A$sga%e (on 4Al+a "#GG@"##E im Jahre "#EK an seine erste
4r-f$ng in Mathematik in )$daest, nach /$ristischen,
hilosohischen $nd hilologischen .t$dien. Der 4rofessor
ManA )eke 8 ein 9ichtiges Mitglied der Generation der 'ehrer 8
hat in seinem 7olleg%$ch ge%l;ttert $nd gesagt* LJa, sie
kommen a$s der 4hilosohie. .ie 9erden dahin &$r-ckkehren.
M$n .ie es a%er nicht &$ fr-h.N 4Al+a schrei%t, er hoffe, dass
das )$ch als L%escheidener hilosohischer Vers$chN nach
Jahr&ehnten (on Unterrichtserfahr$ngen nicht &$ fr-h
geschrie%en 9$rde.
!n einem .inne ist 4Al+as He$ristik ge9iss ein )eitrag &$r
4hilosohie* dass die .$che nach den g$ten Methoden des
Entdeckens traditionell ein Mhema in der 4hilosohie (on
Aristoteles -%er Descartes %is in die ne$eren 0eiten ist. 4Al+as
He$ristik ist a%er a$ch in einem tieferen .inne (on
hilosohischer )ede$t$ng* als )eitrag &$r 1rage der :at$r der
Mathematik. Man findet in seinen he$ristischen )-cher &9ar
keine langen Er6rter$ngen -%er diese 1rage, sie legen a%er ein
)ild -%er die Mathematik nahe, das sehr 9eit (on einer
formalen, rein ded$kti(en 5issenschaft entfernt ist. :icht als o%
4Al+a n$r mit einem 5ort %e&9eifle, dass Mheoreme in der
Mathematik rein ded$kti( a$s den A>iomen %e9iesen 9erden
sollen oder dass er seine 'ogik des la$si%len .chlie2ens als
eine Alternati(e der klassischen &9ei9ertigen 'ogik in der
)egr-nd$ng der Mathematik %etrachte. Mathematik ist a%er (or
allem eine menschliche M;tigkeit, eine .$che nach '6s$ngen
(on 4ro%lemen, nach Mheoremen $nd )e9eisen. Man kann die
.ache nicht einmal mit der herk6mmlichen Unterscheid$ng (on
L7onte>teN der Entdeck$ng $nd der )egr-nd$ng erledigen. Man
kann nicht einfach sagen, dass die He$ristik &$r Entdeck$ng
$nd die ded$kti(e 'ogik &$r )egr-nd$ng geh6rt. Erstens, in der
Mathematik s$cht man nicht n$r Mheoreme, die entdeckt
9erden sollen, sondern (ielmehr a$ch )e9eise da&$, $nd die
He$ristik 9ird e%en daf-r %en$t&t. 09eitens, 9as 9esentlicher
ist , 4Al+as gan&e 5erk 9idersricht dem )ild, dass
Entdeck$ng in der Mathematik ein nicht d$rchsichtiger,
s$%/ekti(er, indi(id$eller 4ro&ess ist, im Gegensat& &$ dem
)e9eis, der o%/ekti(, f-r alle gemeinsam $nd im 4rin&i
(ollkommen klar ist. Vielleicht hat diese, entdeckende .eite der
Mathematik mehr mit den 7-nsten gemeinsam als mit
a$tomatisier%aren 4ro&essen des =echnens $nd der A%leit$ng,
ist a%er e%enso o%/ekti( $nd e%en deshal% lehr%ar. Dieser
;dagogische Otimism$s ist die Gr$ndlage seines gan&en
he$ristischen 5erks. 5o Mathematik gelehrt 9ird, soll man (or
allem das Entdecken der Mathematik lehren.
2. Kalmr
's&lA 7almr B"#0E3"#DKF 9ar 4rofessor der Uni(ersit;t
.&eged. .eine 9ichtigsten Erge%nisse in der mathematischen
'ogik 9aren )eitr;ge &$m Entscheid$ngsro%lem. Von den
fr-hen (ier&iger Jahren %is &$m Ende seines 'e%ens hat er
&ahlreiche .chriften, !nter(ie9s, )emerk$ngen -%er die
4hilosohie der Mathematik $%li&iert 8 immer (erkn-ft mit
4ro%lemen des Mathematik$nterrichts.
7almr hat &$m ersten Mal im Jahr "#G0 einen Vortrag -%er
hilosohische 1ragen der Mathematik gehalten in einem 7reis
/$nger kal(inistischer !ntellekt$eller B7almr "#G2@20""F. !n
seinen 7ollegheften -%er die Gr$ndlagen der Mathematik 3
geschrie%en nach seinen Vorles$ngen Anfang E0er Jahre 8
(ers$cht er in manchen &erstre$ten A%s;t&en eine dialektisch3
materialistische 4hilosohie der Mathematik a$f&$%a$en. !m
Jahre "#KE 9$rde er (on 'akatos &$ einer 7onferen& -%er die
4hilosohie der 5issenschaften in 'ondon eingeladen $nd trat
da f-r den mathematischen Emirism$s ein B7almr "#KDF 8
hier $nd a$ch in seinen Erkl;r$ngen in Ungarn gi%t es a$ch
kein 5ort mehr -%er dialektischen Materialism$s. A%er %ei
allen diesen Pnder$ngen %lei%t ein Gedanke $n(er;ndert $nd
&entral* dass die Mathematik nicht $nfehl%ar ist.
A$ch der Vortrag (on "#G0 er6rtert am Anfang die
srich96rtliche a%sol$te .icherheit der mathematischen
5ahrheiten, die f-r den A$tor n$r ein falscher Anschein ist* die
E>aktheit $nd der daher ge9onnene hohe Grad der .icherheit
ist nicht a%sol$t, sondern relati( $nd historisch. 7almr
konstr$iert einen historischen )ogen der methodischen
Ent9ickl$ng in der Mathematik (on den anscha$lichen
Anf;ngen d$rch (ier .t$fen %is &$ den modelltheoretischen
Unters$ch$ngen der "#Q0er Jahre. 09ei 4$nkte sind noch in
diesem sehr k$r& gefassten R%er%lick her(or&$he%en. Erstens,
das Erscheinen der A>iomatik kommt nach 7almr (on dem
)ed-rfnis, den Anderen &$ -%er&e$gen. Es kommt also nicht
dara$f an, o% die A>iome $nfehl%are $nd $n%e&9eifel%are
5ahrheiten sind. 5enn 9ir %e&-glich einer )eha$t$ng mit
dem Anderen nicht -%ereinstimmen, 9ir f-hren sie a$f andere,
-%er&e$gendere Annahmen &$r-ck. A$f diesem 5ege
gelangen 9ir am Ende &$ den ersten Annahmen, die
gegenseitig angenommen 9erden k6nnen, $nd das sind e%en
die A>iome Ba$f der .t$fe der anscha$lichen A>iomatikF.
09eitens, 7almr %etont dass %ei der Ent9ickl$ng der
E>aktheit et9as 5ichtiges (erlorengeht 8 n;mlich die
Anscha$lichkeit. Er arg$mentiert a%er daf-r, dass die
Anscha$$ng in der Mathematik, in der Ent9ickl$ng der
Mathematik $nent%ehrlich ist $nd deshal% a$ch a$f h6heren
.t$fen der A%straktion in anderer 1orm %e9ahrt 9erden soll. Er
ill$striert seine A$ffass$ng mit dem )eisiel des )egriffs der
7ontin$it;t. Der nai(e, anscha$liche )egriff einer l-ckenlosen
7$r(e ist sel%st(erst;ndlich $ngen-gend< man kann a%er die
e>akte S3T3Definition n$r (erst;ndlich machen, 9enn man &eigt,
9ie man d$rch den Vers$ch, den nai(en )egriff gena$ &$
fassen, den e>akten )egriff erreicht.
Es kommt nicht dara$f an, dass 9ir nach einer l-ckenlosen
A%leit$ng eines Mheorems noch %e&9eifeln sollten, dass es a$s
$nseren A>iomen folge. Ded$kti(es .chlie2en ist ein
$nent%ehrlicher Meil der mathematischen M;tigkeit, a%er nicht
deren 9ichtigster Meil. Gan& %esonders 9enn 9ir Mathematik
lehren, d-rfen 9ir $ns nicht a$f A%leit$ngen $nd Ein-%$ng (on
Algorithmen %eschr;nken. 5ir sollen den 5eg &$ den
A%leit$ngen $nd Algorithmen &eigen, $nd dann sind 9ir sofort
im Ge%iet des Vers$chs $nd !rrt$ms, im Ge%iet der He$ristik.
. !"nyi
Alfrd =n+i B"#2"3"#D0F 9ar Gr-nder $nd (on "#E0 %is "#D0
Direktor des akademischen !nstit$ts f-r Mathematische
1orsch$ng in )$daest. Er hatte 9ichtige =es$ltate in der
5ahrscheinlichkeitsrechn$ng, in der 0ahlentheorie, der
Grahtheorie $nd in anderen Ge%ieten. Er schrie%
hilosohische .chriften (om Ende der f-nf&iger Jahre, oft in
literarischer 1orm Bse$do34latonische Dialoge, fikti(e 4ascal3
)riefe, $s9.F .o 9ie 7almr $nterst-t&te er die Erne$er$ng des
Mathematik$nterrichts in den sech&iger Jahren.
.eine Ansichten 9aren in ge9isser Hinsicht 9esentlich
(erschieden (on den Vorangehenden. !n einer =and%emerk$ng
&$ =n+is sokratischem Dialog -%er die Mathematik Bdie 7oie
(on =n+i "#KD 9$rde a$f%e9ahrt im 'akatos3Archi( in
'ondonF schrei%t !mre 'akatos %6se* LEr sricht 9ie ein
aristotelischer !nfalli%ilistUN. An der %etreffenden .telle des
Dialogs &itiert Hiokrates als Ant9ort a$f die 1ragen (on
.okrates die 5orte Mheaitetos,* 9ir k6nnen mit a%sol$ter
.icherheit 9issen, dass ein Dodekaeder drei2ig 7anten hat, im
Gegensat& &$ der 0ahl der )e9ohner (on Hellas, die n$r
ann;hernd angege%en 9erden kann, 9eil sie sich im 'a$fe des
0;hlens ;ndern kann. Es ist also in der Mat eine Art (on
!nfalli%ilism$s, 'akatos %emerkt a%er nicht, dass es eine recht
sonder%are Art ist. 1r-her im Dialog 9ar %eha$tet 9orden,
dass die mathematischen O%/ekte nicht in der 5elt der
sicht%aren $nd tast%aren Dinge Le>istierenN, sie sind n$r in
$nseren Gedanken. 5ie kann man a%er (on nicht3e>istierenden
Dingen -%erha$t 7enntnisse, sogar sichere 7enntnisse
ha%enV =n+i %en$t&t die Analogie der 1iktion. 5enn eine
le%ende 1ra$ 9egen der Ermord$ng ihres Mannes angeklagt
ist, kann das Gericht n$r selten gan& sicher entscheiden, o% sie
es 9irklich getan hat. Von 7l+t;mnestra in Aisch+losI Mrag6die
9issen 9ir gan& sicher, dass sie Agamemnon ermordet hat,
9eil sie als Heldin des Drama so geschaffen ist. =n+is
.okrates nach sind a$ch mathematische O%/ekte ;hnlich* 9ir
9issen sicher, 9ie sie sind, 9eil sie 4rod$kte $nseres
schaffenden Denkens sind. Ein Laristotelischer !nfalli%ilistN
gr-ndet die Ge9issheit der Mathematik a$f die rim;re, klare
$nd $n&9eifel%are .icherheit der mathematischen A>iome $nd
die Unfehl%arkeit der Ded$ktion. =n+is 1ragestell$ng ist
9esentlich n;her an den traditionellen 4hilosohien der
Mathematik als die der Anderen* er fragt nach den W$ellen $nd
Garantien der mathematischen .icherheit. .eine Ant9ort %ringt
a%er seine 4osition n;her an die der anderen %etrachteten
Denker, die die Mathematik (or allem als menschliche M;tigkeit
sehen. .ie ist eigentlich identisch mit dem he$tigen
1iktionalism$s in der 4hilosohie der Mathematik.
:ach diesen drei Mathematikern sollen &9ei :icht3
Mathematiker (orgestellt 9erden, die in einer 4eriode ihres
'e%ens &$r Organisation der $ngarischen Mathematik geh6rten
$nd (on der Gedanken9elt der $ngarischen Mathematik
%eeinfl$sst 9aren $nd a$ch Einfl$ss dara$f a$s-%ten.
#. $%a&
Xrd .&a%A B"#"Q3200"F 9ar Althilologe $nd
Mathematikhistoriker, (on "#ED %is "#CQ 1orsch$ngsrofessor
des !nstit$ts f-r Mathematische 1orsch$ng. 5egen seiner
Meilnahme an der =e(ol$tion hatte er seine 4rofess$r als
Althilologe (erloren, =n+i hat ihm a%er eine .telle als
Mathematikhistoriker in seinem !nstit$t ange%oten.
.ein Ha$t9erk .&a%A "#K# ist der 1rage* L5ie $nd 9ar$m
ist die Mathematik eine ded$kti(e 5issenschaft ge9ordenN $nd
dad$rch einer 7ritik des aristotelischen !nfalli%ilism$s ge9idmet.
.&a%A arg$mentiert daf-r, dass der griechischen ded$kti(3
a>iomatischen Mathematik eine 4eriode der anscha$lichen
Mathematik (oranging, in der die )eha$t$ngen mittels 1ig$ren
$nd =echenstein37onfig$rationen schon -%er&e$gend ge&eigt,
nicht a%er im strengen .inne des 5ortes %e9iesen 9$rden.
5oher die A%kehr (on dieser anscha$lichen MathematikV
.&a%A findet die Ant9ort in der 7ritik der Anscha$$ng $nd der
Erfahr$ng d$rch die eleatischen 4hilosohen B4armenides $nd
0enonF. .ie %edienen sich einer Methode der Arg$mentation,
die das anscha$liche 0eigen -%ertrifft* die indirekte
Arg$mentation. Die %er-hmte Entdeck$ng der
!nkommens$ra%ilit;t &9ischen der .eite $nd der Diagonale des
W$adrats 9ar also nicht die Ursache einer 5end$ng in der
griechischen Mathematik, sondern $mgekehrt, sie 9ar schon
eine 1olge der An9end$ng der indirekten Methode. Er
interretiert die mathematische .telle (on 4latons Dialog
Theaitetos ne$* sie soll nicht als ein a$thentischer historischer
)ericht -%er den Entdeck$ngen (on Mheaitetos $nd seinem
'ehrer Mheodoros am Ge%iet der irrationalen 4roortionen
gelesen 9erden, sondern als die )eschrei%$ng einer
m$sterhaften Mathematikst$nde (on Mheodoros* er l;sst
seinen .t$denten die genannten, sonst schon %ekannten
0$sammenh;nge sel%st ne$ entdecken 8 er %en$t&t also die
Methode des Mathematik$nterrichts, 9elche mit .okratesI
Methode der LGe%$rtshilfeN der Gedanken im innigsten
Ver9andtschaft steht. .&a%A geht a%er 9eiter in der
Ver9andtschaft (on %e9eisender Mathematik $nd sokratisch3
latonischer Dialektik $nd &eigt, dass die gan&e Merminologie
der Gr$ndlagen BarkhaiF der griechischen Mathematik, so 9ie
sie (on E$klid a$f $ns gekommen ist, a$s der Merminologie der
Dialektik stammt. Die arkhai, (on denen E$klids )e9eise
a$sgehen, also die Definitionen, A>iome, 4ost$late sind alle
Arten (on Annahmen, die in der Dialektik (on den
Dialogartnern gegenseitig ak&etiert 9erden, $m dara$s
7onse?$en&en &$ &iehen 33 oft 9idersr-chliche
7onse?$en&en, die also die $rsr-ngliche H+othese
9iderlegen. Die arkhai der Mathematik sollen also nicht als
a%sol$t sichere 5ahrheiten a$fgefasst 9erden8 sie sind e%en
n$r H+othesen, die angenommen 9erden, 9eil sie )e9eise
m6glich machen $nd %isher noch &$ keinem 5idersr$ch
gef-hrt ha%en. !n den Aorien 0enons geht man (on den
anscha$lichen )egriffen der 4l$ralit;t $nd der )e9eg$ng a$s,
$nd die Aorien %e9eisen eigentlich, dass diese )egriffe
9idersr-chlich sind. !n den e$klidischen A>iomen $nd
4ost$laten ist 9eniger -%er 4l$ralit;t $nd )e9eg$ng
angenommen, als der imli&ite !nhalt der anscha$lichen
)egriffe, $nd deshal% ist &$ hoffen, dass sie nicht &$ densel%en
4arado>ien f-hren. Die Definition der %e9eisenden
5issenschaft in AristotelesI Zweiter Analytik trifft also a$f die
Mathematik nicht &$. Die arkhai der Mathematik sind keine
a%sol$t sicheren )eha$t$ngen< folglich k6nnen sie $nd a$ch
die logische A%leit$ng der Mheoreme keine a%sol$te .icherheit
(erleihen. Mathematik %eginnt nicht mit Ur9ahrheiten, sondern
mit 1ragen $nd 4ro%lemen, $nd 9ir s$chen Ant9orten dara$f.
Die a>iomatische, $nd 9ie .&a%A sie nennt*
anscha$$ngsfeindliche 5ende der griechischen Mathematik ist
a$ch eine Ant9ort a$f ein 4ro%lem, 9elches in der 1orm der
0enonschen Aorien a$ftrat.
'. (akatos
!mre 'akatos B"#223"#DGF 9ar 5issenschaftshilosoh,
.t$dent $nd 1re$nd (on .&a%A $nd 7almr. :ach seiner
Entlass$ng a$s dem 09angsar%eitslager im Jahre "#EQ 9$rde
er erst )i%liothekar, dann %is "#EK 9issenschaftlicher
Mitar%eiter am !nstit$t f-r Mathematische 1orsch$ng.
5enn 'akatos B"#KD%F 7almrs A$sf-hr$ngen -%er die
M6glichkeiten einer LemiristischenN 5ende in der Mathematik
in .ch$t& nimmt, korrigiert er sie a$ch ein %isschen* er sricht
(on ?$asi3emirischer 5issenschaft, in der die e(ent$elle
1alschheit (on den let&ten .chl$ssfolger$ngen, (on der 9ir $ns
irgend9ie Bd$rch emirischen 7ontrolle, oder a$f andere 5eiseF
-%er&e$gen k6nnen, a$f9;rts flie2t d$rch die 7an;le der
logischen A%leit$ng &$ den A>iomen. Dies steht im Gegensat&
&$ der ?$asi3e$klidischen 5issenschaft, in der die 5ahrheit
(on den A>iomen a%9;rts &$ den 7onse?$en&en flie2t. Es
9;re eigentlich %esser ge9esen, (on ?$asi3aristotelischer statt
?$asi3e$klidischer 5issenschaft &$ srechen, 9eil E$klids
.+stem an sich in dieser Hinsicht nicht interretiert ist< .&a%As
Arg$mentation sricht daf-r, dass eine ?$asi3emirische
!nterretation historisch so9ie a$ch theoretisch mehr &$treffend
ist als die &9eita$send Jahre lang traditionell ge9ordene
aristotelische. !n der ?$asi3emirischen A$ffass$ng der
Mathematik 9ollen 9ir nicht mathematische Mheoreme a$f
ind$kti(e Verallgemeiner$ngen gest-t&t %eha$ten. 5ir
9erden %lo2 $nsere 1orsch$ngsar%eit, $nd darin die =olle der
ded$kti(en A%leit$ng a$f andere 5eise (erstehen.
'akatos "#KQ@"#DK &eigt, 9ie diese Ar%eit anal+siert 9erden
kann< die Geschichte der Entdeck$ng der (erschiedenen
1ass$ngen (on E$lers 4ol+eder3Mheorem 9ird sich nicht
&$f;llig in einem 7lassen&immer in logisch3dialektisch
Lrekonstr$ierterN 1orm 9ieder a%sielen. !n diesem B?$asi3F
historischen 4ro&ess 9erden )e9eise als
Gedankene>erimente $nd nicht als A%leit$ngen (erstanden.
'akatos indentifi&iert seinen )egriff des Gedankene>eriments
mit .&a%As 0eigen in der archaischen griechischen
Mathematik, $nd legt nahe, dass diese Methode nicht n$r die
$rsr-ngliche, sondern a$ch die dem Geist der Mathematik
9irklich entsrechende 5eise des )e9eises ist. :at-rlich kann
man /edes Gedankene>eriment in eine strenge A%leit$ng
innerhal% eines a>iomatischen .+stems (er9andeln 8 9enn 9ir
das .+stem schon ha%en. A%er die Definitionen, manchmal
sogar a$ch die A>iome des .+stems kommen a$s dem )e9eis
Bals Gedankene>erimentF. Die nachtr;gliche R%erset&$ng
eines )e9eises in die .rache der formalen A%leit$ng macht
a$s dem le%endigen 4ro&ess der Entdeck$ng ein totes .kelett.
5enn 9ir mathematische Mheorien innerhal% der formalen
.rachen (on 1rege oder =$ssell35hitehead a$f%a$en, oder
9enn 9ir sie als Mengen (on inhaltlosen 0eichenketten a$s der
4ersekti(e der Hil%ertschen Metatheorie %etrachten, so tritt an
die .telle des riskanten $nd immer ne$e !deen rod$&ierenden
Gedankene>eriments die sichere $nd tri(iale, ta$tologische
formale Mathematik Bs. 'akatos "#K2F.
)eide er9;hnten Ha$t9erke, 'akatos "#KQ3KG $nd .&a%A
"#K# k6nnen als artiale D$rchf-hr$ngen eines alten, (ielleicht
(on 'akatos $m "#E0 gefassten 4lans %etrachtet 9erden*
gemeinsam eine Geschichte der Dialektik Bin der MathematikF
&$ schrei%en. 'akatosI ?$asi3Geschichte des 4ol+eder3
Mheorems ist e%en die 5irk$ng der dialektischen Vern$nft in
der Mathematik. Und seine genannte Ha$tanklage gegen-%er
den formalistischen 4hilosohien der Mathematik ist in seinen
0etteln $nd :oti&en in einer anderen 1orm form$liert* die
1ormalisten machen a$s der le%endigen, dialektischen
Methode der Mathematik ein starres, totes .+stem. 'akatos
%en$t&t hier einen Moos a$s der mar>istischen 7ritik an Hegel*
den Gegensat& &9ischen der re(ol$tion;ren Methode $nd dem
reaktion;ren .+stem. Und 'akatos erhe%t diesel%e Anklage
gegen den .o9/etso&ialism$s, 9ie gegen den mathematischen
1ormalism$s* dass er a$s der offenen re(ol$tion;ren Methode
ein reaktion;res, geschlossenes .+stem gemacht hat.
). *in o++ener A&schluss
Da ich in diesem k$r&en R%er%lick kein geschlossenes .+stem
schaffen 9ill, lasse ich &9ei !deen $na$sgef-hrt* den &$let&t
angede$teten 0$sammenhang &9ischen hilosohischen
.tand$nkten $nd der 4olitik $nd das fr-her er9;hnte
Verh;ltnis &$m Unterricht. 0$m 'et&teren soll a%er ein kleines
09ischensiel er9;hnt 9erden, das sich in dem 'ondoner
7ollo?$i$m -%er die 4hilosohie der 5issenschaft im Jahre
"#KE a%gesielt hat. J.A. Easle+ B"#KDF stellte den 5iderstreit
&9ischen den %eiden 4arteien in den De%atten $m die
4rogramme der :e9 Math &$r =eform des
Mathematik$nterrichts in den U.A als den hilosohischen
Gegensat& &9ischen der formalen, a>iomatischen modernen
Mathematik $nd der inhaltlichen, anscha$lichen, he$ristischen
Mathematik dar $nd srach (on 4Al+a als dem sch;rfsten
Gegner der =eform. 7almr %emerkte da&$, dass es diesen
Gegensat& in Ungarn nicht ge%e, 9eil in der 7omle>en
Mathematik (on Mams Varga die Modernisier$ng des !nhalts
B&. ). die Ein%e&ieh$ng der MengenlehreF mit den Asekten der
Anscha$lichkeit $nd He$ristik (ereinigt erscheine $nd deshal%
sei a$ch 4Al+a in Ungarn nicht ein Gegner, sondern ein
)ef6rderer der =eform.
,i&liogra-hie
Easle+, J.A B"#KDF* 'ogic and he$ristics in mathematics
c$rric$l$m reform. !n* 'akatos "#KDa, .. 20C32Q0. Disk$ssion
da&$ mit 7almrs )eitrag* .. 2Q"32G".
7almr, '. B"#KDF* 1o$ndations of Mathematics* 5hither :o9V.
!n* 'akatos "#KDa, .. "CK3"#G.
7almr, '. B"#G2@20""F* Mhe de(eloment of mathematical rigor
from int$ition to a>iomatic method. !n* Mt@=dei@.tadler
BHrsg.F, Der 5iener 7reis in Ungarn. 5ien3:e9 York* .ringer,
.. 2K#32CC.
'akatos, !. B"#K2@"#DCF* !nfinite =egress and 1o$ndations of
Mathematics. !n* 5orrall, J.@J$rrie, G.BHrsg.F* !mre 'akatos*
Mathematics, .cience and Eistemolog+. Jam%ridge*
Jam%ridge Uni(ersit+ 4ress. .. Q32Q.
'akatos, !. B"#KQ@"#DKF* 4roofs and =ef$tations. Hrsg.5orrall,
J.@0ahar,E. Jam%ridge* Jam%ridge Uni(ersit+ 4ress.
'akatos, !. B"#KDaF BHrsg.F 4ro%lems in the 4hilosoh+ of
Mathematics. Amsterdam* :orth3Holland 4$%lishing Jo.
'akatos, !. B"#KD%F* Mhe renaissance of emirism in the recent
hilosoh+ of mathematicsV, in* 'akatos "#KDa, . "##3202.
4Al+a, G.B"#GG@"##EF* .ch$le des Denkens. Vom '6sen
mathematischer 4ro%leme
G
. M-%ingen*1rancke Verlag.
=n+i, A. B"#KDF* Dialog$es on Mathematics. .an 1rancisco*
Holden Da+.
.&a%A B"#K#F* Die Anf;nge der griechischen Mathematik.
M-nchen* =. Olden%o$rg 8 )$daest* Akadmiai 7iadA.