Article View: de.sci.mathematik
Article #145Re: [HJ]Re: Zahl^0
From: Hans Joss
Date: Tue, 10 Jun 2003 08:08
Date: Tue, 10 Jun 2003 08:08
54 lines
3402 bytes
3402 bytes
"Carsten 'Mad Acme' Mueller" <cm@carsten-mueller.de> > >> > Eine Definition darf *nie* mit sich selber definiert werden. > >> Du weisst was ein Axiom ist? > > Ja. > Scheinbar nicht: Das t�nt sehr unsicher. > Axiom > [das; griechisch] > in der alten Logik und Mathematik (Aristoteles, Euklid) ein > unbeweisbarer, in sich einsichtiger und unbestreitbarer Grundsatz, der > als Ausgangspunkt f�r deduktive Systeme dient; Siehst du. Genau wie ich sagte. Das ist das exakte Gegenteil dessen, was Mathematiker unter ihren Definitionen verstehen. j> so die logischen Axiome. Die mathematischen Definitionen der Mathematiker sind aber nicht logisch. Sondern haarstr�ubend willk�rlich. Na, wenigstens f�r solche Menschen mit Glatze. > (der Satz der Identit�t, des Widerspruchs, des ausgeschlossenen > Dritten) oder die geometrischen Axiome Euklids. Dann kannst du beinahe die gesamte "moderne" Mathe kanalisieren. Denn wo siehst du da einen ausgeschlossenen Dritten ? > In der modernen Grundlagenforschung Nein. Mathematiker betreiben keine Grundlagenforschung. > hei�t Axiom jeder beliebige Satz, > der in einem System als absolute > Pr�misse verwendet wird. Axiomatik. Das ist nicht in der Grundlagenforschung so. Sondern bei den vor Unlogik triefenden Mathematikern. Bei denen ist das "moderne Axiom" das Gegenteil eines Axioms. mfg Hans Joss
Technical Details
Message-ID:
<bc43nc$l55$2@rex.ip-plus.net>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!cyclone.bc.net!sjc70.webusenet.com!news.webusenet.com!feedwest.aleron.net!aleron.net!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> <bc2p8o$h1u$4@rex.ip-plus.net> <Xns939685BED271carstenmueller@130.133.1.4> <bc3t4k$jrv$2@rex.ip-plus.net> <Xns93965B797BEC7carstenmueller@130.133.1.4>Show Full Headers
Complete Article Headers
X-Google-Language: GERMAN,ASCII X-Google-Thread: 10c1fa,4e1e4c7eebdd8c18 X-Google-Attributes: gid10c1fa,public X-Google-Thread: 1032cb,4269f02e885e0585 X-Google-Attributes: gid1032cb,public X-Google-Thread: fc006,5b6fdd3219828911 X-Google-Attributes: gidfc006,public X-Google-ArrivalTime: 2003-06-10 01:08:39 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!nntp.cs.ubc.ca!cyclone.bc.net!sjc70.webusenet.com!news.webusenet.com!feedwest.aleron.net!aleron.net!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: Tue, 10 Jun 2003 10:08:07 +0200 Organization: JOSS Lines: 58 Message-ID: <bc43nc$l55$2@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> <bc2p8o$h1u$4@rex.ip-plus.net> <Xns939685BED271carstenmueller@130.133.1.4> <bc3t4k$jrv$2@rex.ip-plus.net> <Xns93965B797BEC7carstenmueller@130.133.1.4> Reply-To: "Hans Joss" <hj@hjp.ch> NNTP-Posting-Host: 025.catv118.oes01.lan.ch X-Trace: rex.ip-plus.net 1055232556 21669 62.204.118.25 (10 Jun 2003 08:09:16 GMT) X-Complaints-To: abuse@ip-plus.net NNTP-Posting-Date: Tue, 10 Jun 2003 08:09:16 +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