Article View: de.sci.mathematik
Article #105Re: [HJ]Re: Zahl^0
From: Markus Dörschmidt
Date: Tue, 22 Jul 2003 11:27
Date: Tue, 22 Jul 2003 11:27
28 lines
2673 bytes
2673 bytes
Hans Joss wrote: [schnipp] >>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. Axiome sind Definitionen, die sich nicht beweisen lassen und auch nicht beweisen lassen m�ssen, da sie einen Grundstein darstellen. z.B. Das erste Axiom der nat�rlichen Zahlen: 1 ist eine nat�rliche Zahl. Das ist so definiert. Wie willst Du es beweisen? Gar nicht! Weil es ein Axiom ist! mfg Markus
Technical Details
Message-ID:
<bfj73m$f5h1r$1@ID-189086.news.uni-berlin.de>Path:
arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!p5080020b.dip0.t-ipconnect.DE!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> <bc43nc$l55$2@rex.ip-plus.net>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-07-22 04:27:53 PST Path: arc1-ca.pugleaf.net!archiver1.google.com!news1.google.com!newsfeed.stanford.edu!logbridge.uoregon.edu!fu-berlin.de!uni-berlin.de!p5080020b.dip0.t-ipconnect.DE!not-for-mail From: Markus Dörschmidt <markus.doerschmidt@gmx.de> Newsgroups: de.sci.mathematik,ch.talk,ch.comp Subject: Re: [HJ]Re: Zahl^0 Date: Tue, 22 Jul 2003 13:27:34 +0200 Lines: 29 Message-ID: <bfj73m$f5h1r$1@ID-189086.news.uni-berlin.de> 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> <bc43nc$l55$2@rex.ip-plus.net> NNTP-Posting-Host: p5080020b.dip0.t-ipconnect.de (80.128.2.11) Mime-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 8bit X-Trace: news.uni-berlin.de 1058873271 15909947 80.128.2.11 (16 [189086]) User-Agent: Mozilla/5.0 (Windows; U; Windows NT 5.0; en-US; rv:1.4b) Gecko/20030507 X-Accept-Language: de-de, en-us In-Reply-To: <bc43nc$l55$2@rex.ip-plus.net>