; TeX output 1997.05.16:0956TtiHo*[&b"K`y 3 cmr10MAeTHEMATISCHESLINSTITUT3aMMޞzunc!hen,fam15.Mai1997 &rDERfUNIVERSIT^gATM^gUNCHEN 8Prof.Dr.M.fSc!hottenloherUM[Dr.Pe.fSc!huster1t卑5H7"Vff cmbx10Seminar" Konstruktiv=eAnalysis8\imSommer1997  r'"V 3 cmbx10Zeit2undRaum: jFereitag,f11Uhrc.t.,Seminarraum133R rRegul靟+are2V\ortr靟+agef(QuellenangabMennac!hR.Teaschner,r"Lehrgang...;\>):d,捍.&rDatumSThema;Quelle?Referen!t rzff8ܟ 9.5.3NjRationalefundirrationaleZahlen3.1{3.3P!ascalfNeumann 16.5.3NjDasfKon!tinuumI3.4.1{3.4.3FeelixfHzotzinger23.5.3NjDasfKon!tinuumIMI3.4.4{3.4.6MartinfZzolc!h30.53NjFeolgenfundGrenzw!erteI3.5.1{3.5.5MarenfHesse6.6.3NjFeolgenfundGrenzw!erteIMI3.5.6{3.6.1JMޞzurgenfDumon!t13.6.3NjFeunktionenDzfubMerdemKon!tinuum3.6.2{3.7.1P!eterfBayerl20.6.3NjStetigefFeunktionen3.7.2{3.7.7IngridfSc!hmidhubMer27.6.3NjMengenfimKon!tinuum3.8Dietric!hfBrandmaier4.7.3NjGleic!hmzaigefStetigkeitI3.9.1{3.9.3DietmarfLinster11.7.3NjGleic!hmzaigefStetigkeitIMI3.9.4{3.9.6UlifHartmann18.7.3NjGleic!hmzaigefStetigkeitIMII3.9.7{3.9.9P!eterfSchuster25.7.3NjAnalysisfderEbMene3.10JanafKornh rGastvtortrag: rR- 3 cmcsc10RUniv.-Doz.jDr.R."T aschnerf(Teec!hnischeUniversitzatWien):Y獑&m%': 3 cmti10MathematikundWirklichkeit: veineA\nalysederr" fExistenz7f\mathematischerObjekte }ausderSichtderr" fkonstruktiven7f\Mathematik\ rDonnerstag,f26.Juni,Mathematisc!hesKolloMquium(17Uhrc.t.,HzorsaalE27)R rR.Teasc!hneristam26.und27.JuniGastdeshiesigenGraduiertenk!ollegsr"@Mathematik rimfBereic!hihrerWeechselwirkungmitderPhysik;\>. rLiteratur:$LS- cmcsc10SBishop,E.:UU': cmti10F;oundationsofConstructiveAnalysis.qK`y cmr10McGraw-Hill,NewY*ork1967. rSBishop,E.;4Bridges,D.:UUConstructiveAnalysis.qSpringer-V*erlag1985. rSBridges,D.:.AConstructiveLoGokattheRealNumbGerLine.RIn:CyP*.Ehrlich(Hg.),dR}'eal rNumb}'ers,GeneralizationsoftheR}'eals,andTheoriesofContinua.7Kluwer=AcademicPublishers r1994.qpp.29{92UU(zurW*eiterfGouhrungdesSeminars). rSBridges,UD.9NS.:AnAxiomaticT;r}'eatmentoftheConstructiveR}'ealLine.Preprint,JUniv.of rW*aikqato,UUHamilton(NewZealand)1996. rSBridges,nD.XyS.;}YRichman,F.:V;arieties2ofConstructiveMathematics.NCambridgeUniversity rPressUU1987(einUfUbGerblickderkonstruktivenMathematik). rSHeyting,A.:UUIntuitionism.AnIntr}'oduction.q3.Au .,NorthHolland1971. rST aschner,/R.:BDaseUnendliche.LMathematikerringenumeinenBe}'gri .vSpringer-V*erlag, rBerlin,UUHeidelbGerg1995(nurzureinfouhrendenLektoure;v.qa.KapitelUU7). rST aschner,R.:UUL}'ehrgangderkonstruktivenMathematik.T;eil1:ZahlundKontinuum. r2.qAu .,UUManz-V*erlag,Wien1995 r(alsUUGrundlagedesSeminarsKapitel3;zurV*ertiefungauchTeile2und3). rSWeyl,H.:UUDasKontinuum.qBerlin1918.Reprint:ChelseaPubl.Co.,NewY*ork1966. rSWeyl,H.:UfUUUbGerdieneueGrundlagenkrisederMathematik.qMath.Z.10(1920). rSWeyl,qH.:PhilosophieCbderMathematikundderNaturwissenschaften.Oldenburg,CMGounchen r1990UU(ErweiterungderOriginalausgabGevon1928).*;TS- cmcsc10R- 3 cmcsc107"Vff cmbx10'"V 3 cmbx10%': 3 cmti10"K`y 3 cmr10': cmti10K`y cmr10d