Logic for all ready thinkers
The result's identifiers
Result code in IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11210%2F11%3A10105858" target="_blank" >RIV/00216208:11210/11:10105858 - isvavai.cz</a>
Result on the web
—
DOI - Digital Object Identifier
—
Alternative languages
Result language
čeština
Original language name
Logika pro všechny ochotné myslet
Original language description
Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logického uvažování v jeho moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s teoriílogiky. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také s náročnějším dokazováním v axiomatické teorii či rozborem Gödelových vět o neúplnosti aritmetiky. Právě podrobný popis Gödelových myšlenek v intuitivní rovině je v české odborné literatuře ojedinělým počinem. Přední český matematik Antonín Sochor se zabýval matematickou logikou a teorií množin, později také studiem Vopěnkovy alternativní teorie množin a souvisejícími otázkami z tzv. nestandardní analýzy. Svými monografiemi Klasická matematická logika a Metamatematika teorií množin položil u nás základy moderní univerzitní výuky matematické logiky.
Czech name
Logika pro všechny ochotné myslet
Czech description
Zájemcům o logiku, ať už z řad studentů vyšších ročníků gymnázií, či širší veřejnosti, je určena publikace přibližující základy logického uvažování v jeho moderní podobě. Od logických hádanek a sylogismů směřuje systematicky k bližšímu seznámení s teoriílogiky. Zejména studenti gymnázií uvažující o vysokoškolském studiu matematického zaměření se zde mohou setkat nejen s výrokovou a predikátovou logikou, ale také s náročnějším dokazováním v axiomatické teorii či rozborem Gödelových vět o neúplnosti aritmetiky. Právě podrobný popis Gödelových myšlenek v intuitivní rovině je v české odborné literatuře ojedinělým počinem. Přední český matematik Antonín Sochor se zabýval matematickou logikou a teorií množin, později také studiem Vopěnkovy alternativní teorie množin a souvisejícími otázkami z tzv. nestandardní analýzy. Svými monografiemi Klasická matematická logika a Metamatematika teorií množin položil u nás základy moderní univerzitní výuky matematické logiky.
Classification
Type
O - Miscellaneous
CEP classification
AA - Philosophy and religion
OECD FORD branch
—
Result continuities
Project
—
Continuities
I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace
Others
Publication year
2011
Confidentiality
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů