Article View: de.sci.mathematik
Article #160Re: [HJ]Re: Zahl^0
From: Hans Joss
Date: Wed, 11 Jun 2003 05:32
Date: Wed, 11 Jun 2003 05:32
48 lines
3219 bytes
3219 bytes
"Rudolf Polzer" <denshimeiru-sapmctacher@durchnull.ath.cx> > > > > Rekursionen sind beim Definieren nicht erlaubt. > > > Die Ackermanfunktion ist also eine nicht definierbare Funktion? > > > Eine Funktion ist sie ja mit Sicherheit, ordnet sie doch jedem > > > Paar aus Z x Z eine Zahl aus Z zu. > > Woher kommt das erste Z ? > Es ist falsch. Wieso behauptest du denn so einen Bl�dsinn ? Also: wie ist es deiner Ansicht korrekt ? > s/Z/N/g _ _________ V Q - 17k/pi > Immerhin hast du es gemerkt. rekursive Definitionen sind logische Paradoxone > > Sich selber definierende Definitionen sind Unsinn. > > Auch bei Z und �hnlichem Gugus. > Daher legt man ja auch einen Anfang fest. Der dieser Anfang muss zwingende *ausserhalb* der Definition sein und wahr und korrekt sein. Sonst ist die daraufbauende Definition falsch. > Und - wie willst du die nat�rlichen Zahlen > anders definieren als durch Rekursion? Erstens: Durch Z�hlen. Zweitens: Das geht ohne Definition. Alle Kulturen k�nnen Z�hlen. Die Mathematiker sollen sich nicht k�nstlich wichtig machen. Z�hlen funktioniert ohne ihre Definitionen. mfg Hans Joss
Technical Details
Message-ID:
<bc6fta$ru4$1@rex.ip-plus.net>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!out.nntp.be!propagator2-sterling!news-in.nuthinbutnews.com!newsfeed-zh.ip-plus.net!news.ip-plus.net!not-for-mailReferences:
<3edd0ac8$0$20558$91cee783@newsreader01.highway.telekom.at> <3eddb916$0$1053$5402220f@news.sunrise.ch> <bbkk5m$7tu$1@rex.ip-plus.net> <3eddf247$0$1041$5402220f@news.sunrise.ch> <bbld16$at0$2@rex.ip-plus.net> <bblhp5$kih$1@nets3.rz.RWTH-Aachen.DE> <bbn53b$f9u$1@rex.ip-plus.net> <bbnlg5$a2n$1@nets3.rz.RWTH-Aachen.DE> <bbnvrp$iab$4@rex.ip-plus.net> <bbo30e$9kg$1@nets3.rz.RWTH-Aachen.DE> <bbpff2$lt3$3@rex.ip-plus.net> <x5y90ft364.fsf@lola.goethe.zz> <bbslj2$1v7$12@rex.ip-plus.net> <f9fade32.0306080544.11adb1a5@posting.google.com> <pan.2003.06.08.13.55.22.922950@unifr.ch> <bbvnu1$50q$00$1@news.t-online.com> <bc2p8q$h1u$5@rex.ip-plus.net> <slrnbe9qca.ojo.denshimeiru-sapmctacher@message-id.durchnull.ath.cx> <bc3t4m$jrv$3@rex.ip-plus.net> <slrnbec9qq.dii.denshimeiru-sapmctacher@message-id.durchnull.ath.cx>Show Full Headers
Complete Article Headers
X-Google-Language: GERMAN,ASCII X-Google-Thread: 10c1fa,4e1e4c7eebdd8c18 X-Google-Attributes: gid10c1fa,public X-Google-Thread: fc006,5b6fdd3219828911 X-Google-Attributes: gidfc006,public X-Google-Thread: 1032cb,4269f02e885e0585 X-Google-Attributes: gid1032cb,public X-Google-ArrivalTime: 2003-06-10 22:48:53 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!news-spur1.maxwell.syr.edu!news.maxwell.syr.edu!out.nntp.be!propagator2-sterling!news-in.nuthinbutnews.com!newsfeed-zh.ip-plus.net!news.ip-plus.net!not-for-mail From: "Hans Joss" <hj@hjp.ch> Newsgroups: de.sci.mathematik,ch.talk,ch.comp Subject: Re: [HJ]Re: Zahl^0 Date: Wed, 11 Jun 2003 07:32:54 +0200 Organization: JOSS Lines: 51 Message-ID: <bc6fta$ru4$1@rex.ip-plus.net> References: <3edd0ac8$0$20558$91cee783@newsreader01.highway.telekom.at> <3eddb916$0$1053$5402220f@news.sunrise.ch> <bbkk5m$7tu$1@rex.ip-plus.net> <3eddf247$0$1041$5402220f@news.sunrise.ch> <bbld16$at0$2@rex.ip-plus.net> <bblhp5$kih$1@nets3.rz.RWTH-Aachen.DE> <bbn53b$f9u$1@rex.ip-plus.net> <bbnlg5$a2n$1@nets3.rz.RWTH-Aachen.DE> <bbnvrp$iab$4@rex.ip-plus.net> <bbo30e$9kg$1@nets3.rz.RWTH-Aachen.DE> <bbpff2$lt3$3@rex.ip-plus.net> <x5y90ft364.fsf@lola.goethe.zz> <bbslj2$1v7$12@rex.ip-plus.net> <f9fade32.0306080544.11adb1a5@posting.google.com> <pan.2003.06.08.13.55.22.922950@unifr.ch> <bbvnu1$50q$00$1@news.t-online.com> <bc2p8q$h1u$5@rex.ip-plus.net> <slrnbe9qca.ojo.denshimeiru-sapmctacher@message-id.durchnull.ath.cx> <bc3t4m$jrv$3@rex.ip-plus.net> <slrnbec9qq.dii.denshimeiru-sapmctacher@message-id.durchnull.ath.cx> Reply-To: "Hans Joss" <hj@hjp.ch> NNTP-Posting-Host: 025.catv118.oes01.lan.ch X-Trace: rex.ip-plus.net 1055310570 28612 62.204.118.25 (11 Jun 2003 05:49:30 GMT) X-Complaints-To: abuse@ip-plus.net NNTP-Posting-Date: Wed, 11 Jun 2003 05:49:30 +0000 (UTC) X-Priority: 3 X-MSMail-Priority: Normal X-Newsreader: Microsoft Outlook Express 6.00.2600.0000 X-MimeOLE: Produced By Microsoft MimeOLE V6.00.2600.0000