Jaká je logická výstavba matematiky?

Praha]: Jednota československých matematiků a fysiků (1950)
  Copy   BIBTEX

Abstract

Knížka je určena každému, kdo se zajímá o logickou stavbu a základy matematiky a o začátky moderní matematické logiky. Aniž předpokládala zvláštních věcných znalostí, navazujíc na tradiční středoškolskou logiku, přibližuje čtenáři výraz a methodu logiky moderní. V podstatě jde o řešení dvou otázek: jak se odvozují matematické věty a jaké jsou logické základy matematiky. Probírá spojování výroků, výrokové vzorce, obecné a existenční výroky, logickou dedukci adruhy důkazů, některé matematické pojmy (množina, vztah, zobrazení, funkce), definice a jejich vlastnosti i systémy axiomů a požadavky, jež na ně klademe.

Categories

Add categories

Keywords

Reprint years

Call number

BC135.K3 1950

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,503

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Elementárny úvod do modernej matematiky.Vojtech Okrucký - 1971 - Bratislava,: SPN, t. Svornost, ̕.
Katětov Miroslav. Jaká je logická výstavba matematiky? Jednota ceskoslovenských Matematikü a Fysikü, Prague 1946, 103 pp. [REVIEW]O. V. Zich - 1948 - Journal of Symbolic Logic 13 (4):217-217.
A course in mathematical logic.J. L. Bell - 1977 - New York: sole distributors for the U.S.A. and Canada American Elsevier Pub. Co.. Edited by Moshé Machover.
A first course in mathematical logic and set theory.Michael L. O'Leary - 2016 - Hoboken, New Jersey: Wiley.
Logic in Wonderland: an introduction to logic through reading Alice's adventures in Wonderland.Nitsa Movshovitz-Hadar - 2019 - Singapore: WS Education, an imprint of World Scientific Publishing Co Pte. Edited by Atara Shriki.
Miroslav Mleziva. К axiomatisaci trojhodnotové výrokové logiky . Czech with Czech, Russian, and English summaries. Časopis pro pěstování matematiky, vol. 86 , pp. 392–403. [REVIEW]Ann S. Ferebee - 1970 - Journal of Symbolic Logic 35 (3):465.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
From Peirce to Skolem: a neglected chapter in the history of logic.Geraldine Brady - 2000 - New York: North-Holland/Elsevier Science BV.
Rieger Ladislav. 0 sčétnyh obobščénnyh σ-algébrah i novom dokazatélstvé téorémy Gédéla o polnoté. Časopis pro pěstováni matematiky a fysiky , vol. 1 no. 1 , pp. 33–49.Rieger Ladislav. On countable generalised σ-algebras, with a new proof of Gödel's completeness theorem. English translation of the preceding. Czechoslovak mathematical journal, vol. 1 no. 1 , pp. 29–40. [REVIEW]Leon Henkin - 1955 - Journal of Symbolic Logic 20 (3):281-282.
Introduction.Lou Goble - 2017 - In The Blackwell Guide to Philosophical Logic. Oxford, UK: Blackwell. pp. 1–8.
Introduction to mathematical logic.Alonzo Church - 1944 - Princeton,: Princeton University Press. Edited by C. Truesdell.
Mathematical logic.J. Donald Monk - 1976 - New York: Springer Verlag.
Principles of mathematical logic.David Hilbert - 1950 - Providence, R.I.: AMS Chelsea. Edited by W. Ackermann & Robert E. Luce.
Completeness, compactness, and undecidability: an introduction to mathematical logic.Alfred B. Manaster - 1975 - Englewood Cliffs, N.J.: Prentice-Hall.
The Axiomatic Method an Introduction to Mathematical Logic.Albert Harold Lightstone - 1964 - Englewood Cliffs, NJ, USA: Prentice-Hall.

Analytics

Added to PP
2023-07-17

Downloads
4 (#1,616,722)

6 months
4 (#779,417)

Historical graph of downloads

Sorry, there are not enough data points to plot this chart.
How can I increase my downloads?

Citations of this work

No citations found.

Add more citations

References found in this work

No references found.

Add more references