Es sieht danach aus, in der Schlußfolgerung dies betonen zu müssen, daß G. Cantor die Idee des Logizismus antipiziert hat, welche von ihm fast gegenwärtigen G. Frege und eine Generation jüngeren B. Russell sowie A. N. Whitehead präsentiert wurde. Er hat nicht nur die Ansicht über die Möglichkeit einer Systematisierung der Mathematik vertreten, sondern hat auch tatsächlich dazu beigetragen, daß im neunzehnten Jahrhundert ihre Arithmetisation durchgeführt wurde. Die Errungenschaft von G. Cantor bestand darin, daß er das Modell der Theorie der Realzahlen im Gebiet der Rationalzahlen errichtet hat. Ein wesentlichen Mangel seiner Forschungsarbeiten bestand darin, daß er sich – im Gegensatz zu den Logizisten – der Axiomatik der Arithmetik der Naturalzahlen nicht bedient hat. Diese Axiomatik bildete nämlich gleichzeitig eine Axiomensammlung der ganzen arithmetisierten Mathematik. G. Cantor präsentierte in ähnlicher Weise wie die Logizisten, die Ansicht über einer reduzierung der arithmetisierten Mathematik zu einer Grundtheorie. Seiner Überzeugung nach, sollte jene Theorie die Mengenlehre sein, dagegen nach der Meinung der Logizisten, die Logik. Der deutsche Mathematiker behauptete, daß man bei der Ableitung der Mathematik von der Mengenlehre sich des mengenlehreartigen Begriffs der Ordnungstypen bedienen sollte. Bei der Realisation ihres Programmes definierten die Logizisten die Grundbegriffe der Axiomatik der Arithmetik der Naturalzahlen mit Hilfe des verwandten Begriffs der Kardinalzahl. Man muß stark betonen, daß G. Cantor nur die Idee einer Reduzierung der Mathematik zu einer Grundtheorie präsentiert hat. Da der deutsche Mathematiker sich der Axiomatik der Arithmetik nicht bedient hat, war er nicht im Stande dieses Programm zu verwirklichen. Die Logizisten dagegen, haben ihre Idee der Ableitung der Mathematik des neunzehnten Jahrhunderts von der Logik durchgeführt. Das war jedoch eine Logik, welche eigenartig verstanden wurde. Die Typentheorie von B. Russell und A. N. Whitehead enthielt manche mengenlehreartige Axiome. Man kann also diese Theorie (wenigstens) als ein Fragment der Mengenlehre betrachten. Somit endgültig – wenn man die Mengenlehre als einen Wissenschaftszweig, welcher nicht zur Logik gehört behandelt – kann man behaupten, daß die Logixistendie Idee von G. Cantor, bezüglich der Reduktion der Mathematik des neunzehnten Jahrhunderts zur Mengenlehre, durchgeführt haben. Gegenwärtig wird nicht über die Reduzierung der Mathematik zur Logik gesprochen. Dagegen bemüten sich die Gelehrten, die mit einer Mathematikergruppe, welche mit dem Pseudonym N. Bourbaki bezeichnet wird, in Verbindung stehen, das Programm der Ableitung der ganzen gegenwärtigen Mathematik von der Mengenlehre zu realisieren.
Download files
Citation rules
Licence
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
The Copyright Owners of the submitted texts grant the Reader the right to use the pdf documents under the provisions of the Creative Commons 4.0 International License: Attribution-Share-Alike (CC BY-SA). The user can copy and redistribute the material in any medium or format and remix, transform, and build upon the material for any purpose.
1. License
The University of Silesia Press provides immediate open access to journal’s content under the Creative Commons BY-SA 4.0 license (http://creativecommons.org/licenses/by-sa/4.0/). Authors who publish with this journal retain all copyrights and agree to the terms of the above-mentioned CC BY-SA 4.0 license.
2. Author’s Warranties
The author warrants that the article is original, written by stated author/s, has not been published before, contains no unlawful statements, does not infringe the rights of others, is subject to copyright that is vested exclusively in the author and free of any third party rights, and that any necessary written permissions to quote from other sources have been obtained by the author/s.
If the article contains illustrative material (drawings, photos, graphs, maps), the author declares that the said works are of his authorship, they do not infringe the rights of the third party (including personal rights, i.a. the authorization to reproduce physical likeness) and the author holds exclusive proprietary copyrights. The author publishes the above works as part of the article under the licence "Creative Commons Attribution-ShareAlike 4.0 International".
ATTENTION! When the legal situation of the illustrative material has not been determined and the necessary consent has not been granted by the proprietary copyrights holders, the submitted material will not be accepted for editorial process. At the same time the author takes full responsibility for providing false data (this also regards covering the costs incurred by the University of Silesia Press and financial claims of the third party).
3. User Rights
Under the CC BY-SA 4.0 license, the users are free to share (copy, distribute and transmit the contribution) and adapt (remix, transform, and build upon the material) the article for any purpose, provided they attribute the contribution in the manner specified by the author or licensor.
4. Co-Authorship
If the article was prepared jointly with other authors, the signatory of this form warrants that he/she has been authorized by all co-authors to sign this agreement on their behalf, and agrees to inform his/her co-authors of the terms of this agreement.
I hereby declare that in the event of withdrawal of the text from the publishing process or submitting it to another publisher without agreement from the editorial office, I agree to cover all costs incurred by the University of Silesia in connection with my application.
Vol. 31 (1998)
Published: 2021-02-10
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
English
Język Polski