÷ƒ’À;è TeX output 1997.02.10:1805‹ÿÿÿÿ óŽ„ ý®] àQ£ ýD®]óX«Q cmr12¹MA–ÿVTHEMA“TISCHES‘ÕPINSTITUT’Ÿ„tZimmer–ê¨437“(Sekr.“435)ޤ€DER–ê¨UNIVERSIT‘wwŸýpxŽAT“M‘wwŸýpxŽUNCHEN’¦a:T‘ÿVel.“2394-4432“(-4610)Ž¡‘•HProf.–ê¨Dr.“M.“Sc¬rhottenloherŽŸ-€’Œô©óÂÖN G® cmbx12ÄSeminarank‘Š>ŸÝ2ŽundigungŽŸ€¹Im–ê¨kš¬rommenden“Sommersemester“1997“w˜erde“ic˜h“ein“Seminar‘>6žyŽ“ubSŽerޤ€’•o’󛻈@G® cmti12ÅKonstruktive‘ MA‘gnalysisŽ¡¹vš¬reranstalten.–ê¨W‘ÿVas“abSŽer“ist“k˜onstruktiv˜e“Analysis?ޤ€In–`tder“k•¬ronstruktiv“en–`tMathematik“spric•¬rh“t–`tman“erst“dann“v¬ron“der“Existenz“eines“Ob‘§jekts,Ž¡wš¬renn– ein“Algorithm˜us“v˜orhanden“ist,“anhand“dessen“das“bSŽetre ende“Ob‘§jekt“󛻈@ cmti12ÆkonstruiertŽ¡¹wš¬rerden–.k‘ÿXäann;“demgegenSŽžyŽubSŽer“w˜erden“ExistenzbSŽew˜eise“nac˜h“dem“Muster“Ÿ*ª"ŽŽ‘ ôÞEin“Ob‘§jekt“exi-Ž¡stiert,–¬wš¬renn“die“Annahme“seiner“Nic˜h˜texistenz“zum“Widerspruc˜h“fSŽžyŽuhrt‘ÿ-l\‘ï@als“zw˜eitrangigŽ¡erac•¬rh“tet.Ž¡Betreibt–jman“Mathematik“auf“diese“W‘ÿVeise,“ausgehend“vš¬ron“den“natSŽžyŽurlic˜hen“Zahlen“und“demŽ¡Prinzip–:Ûder“vš¬rollstžyŽandigen“Induktion,“so“m˜u“v˜or“allem“das“Kon˜tin˜uum“der“reellen“ZahlenŽ¡anders–Òxals‘&žyŽ“ublicš¬rh“eingefSŽžyŽuhrt“und“analysiert“w˜erden.“Erste“gra˜vierende“MoSŽdi k‘ÿXäationen“sindŽ¡bSŽei–ê¨den“Begri en“des“HžyŽaufungspunkts“und“der“gleicš¬rhmžyŽaigen“Stetigk˜eit“erforderlic˜h.Ž¡Die–¿Nvš¬rormals“oft“bSŽezw˜eifelte“Brauc˜h˜bark˜eit“einer“k˜onstruktiv˜en“Analysis“in“der“mathemati-Ž¡scš¬rhen–å‹Praxis“wird“seit“dem“Ersc˜heinen“der“bahn˜brec˜henden“Monographie“v˜on“Errett“BishopŽ¡(1967)–VÒmehr“und“mehr“unš¬rter“Bew˜eis“gestellt,“zumal“auc˜h“die“immer“gržyŽoere“Bedeutung“desŽ¡Computers–™Ôin“Wissenscš¬rhaft,“T‘ÿVec˜hnik“und“Gesellsc˜haft“eine“stžyŽark˜ere“Hin˜w˜endung“zu“k˜on-Ž¡struktiv¬ren–ê¨MethoSŽden“nahelegt.Ž¡Im–ÉÎV‘ÿVerlauf“des“Seminars“wš¬rerden“die“GrundzSŽžyŽuge“der“reellen“Analysis“nac˜h“k˜onstruktiv˜enŽ¡Prinzipien––?erarbšSŽeitet,“w¬rob˜ei“b˜esondere“Aufmerksamkš¬reit“den“Un˜tersc˜hieden“zur“klassisc˜henŽ¡V‘ÿVorgehenswš¬reise–v8gewidmet“wird.“Das“Seminar“w˜endet“sic˜h“an“alle“In˜teressen˜ten“mit“Grund-Ž¡k•¬renn“tnissen–|äin“Mathematik,“vš¬ror“allem“an“Studen˜ten“ab“dem“4.“Semester,“die“die“Grund-Ž¡v¬rorlesungen–ê¨in“Analysis“und“linearer“Algebra“gehžyŽort“habšSŽen.“Eine“V‘ÿVorb˜esprec•¬rh“ung‘ê¨ ndetޤ€‘BÄeam–ê¨Mon¬rtag,“den“24.“F‘ÿVebruar“1997“um“13“Uhr“c.“t.,“Raum“E“41,Ž¡statt;–«®dort“wš¬rerden“auc˜h“die“Themen“der“einzelnen“V‘ÿVortržyŽage“v˜ergebSŽen.“Anmeldungen“v˜orޤ€diesem–ê¨T‘ÿVermin“sind“aucš¬rh“mžyŽoglic˜h“bSŽei“Dr.“P‘ÿV.“Sc˜h˜uster,“Zimmer“402,“T‘ÿVel.“2394-4401.ŽŸ€MSŽžyŽuncš¬rhen,–ê¨am“30.“Jan˜uar“1997’ÁéXgez.“M.“Sc˜hottenloherŽŸ&€óò"V ó3 cmbx10ÈLiteratur:Ž¡óŒ-ø ó3 cmcsc10ÉBishop,‘"ùE.:›¦fóý': ó3 cmti10ÊF‘ÿ)oundations–êêof“Constructive“A¸\nalysis.˜óKñ`y ó3 cmr10ÇMcGra²!w-Hill,˜New˜Y‘ÿeork˜1967.Ž¡ÉBishop,–"ùE.;“Bridges,“D.:–¦fÊConstructive‘êêA¸\nalysis.“ÇSpringer-V‘ÿeerlag,“Berlin,“HeidelbMÞerg“1985.Ž¡ÉBridges,–ÁND.“S.:›1ÊA¸\n–UóAxiomatic“T‘ÿ)r–ÿp¹e“atment–Uóof“the“Constructive“R–ÿp¹e“al‘UóLine.˜ÇPreprin²!t,˜Univ.˜ofŽ¡W‘ÿeaik‘ÿdDato,–¦fHamilton“(New“Zealand)“1996.Ž¡ÉHeyting,‘"ùA.:›¦fÊIntuitionism.–êêA¸\n“Intr–ÿp¹o“duction.˜Ç3.˜Au .,˜North˜Holland,˜Amsterdam˜1971.Ž¡ÉT‘ÿ ¸aschner,‘}ºR.:› ÊDas–Z!Unend‘Fliche.“Mathematiker“ringen“um“einen“Be‘ÿp¹gri .˜ÇSpringer-V‘ÿeerlag,˜Berlin,Ž¡HeidelbšMÞerg–¦f1995“(n²!ur“zur“einf˜žzŽuhrenden“Lekt˜žzŽure;“v.“a.“Kapitel“7).Ž¡ÉT‘ÿ ¸aschner,‘"ùR.:‘¦fÊL–ÿp¹ehr“gang–êêder“konstruktiven“Mathematik.“T‘ÿ)eil“1:“Zahl“und“Kontinuum.Ž¡Ç2.–¦fAu .,“Manz-V‘ÿeerlag,“Wien“1995“(als“Grundlage“des“Seminars:“Kapitel“3).ŽŽŽŒø*ƒ’À;èóŽ„̸£óý': ó3 cmti10óŒ-ø ó3 cmcsc10óò"V ó3 cmbx10óKñ`y ó3 cmr10󛻈@ cmti12󛻈@G® cmti12óÂÖN G® cmbx12óX«Q cmr12ùTßßßßßß