Logika pro všechny ochotné myslet

Kód výsledku v 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>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Logika pro všechny ochotné myslet

Popis výsledku v původním jazyce

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.

Název v anglickém jazyce

Logic for all ready thinkers

Popis výsledku anglicky

The book brings basic principles of logic that are important in the field of mathematical reasoning. It contains formal methods as well as popular examples and puzzles. A reader can find advanced topics as well - axiomatic theories, Gödel theorems, and arithmetics.

Druh

O - Ostatní výsledky

CEP obor

AA - Filosofie a náboženství

OECD FORD obor

—

Projekt

—

Návaznosti

I - Institucionalni podpora na dlouhodoby koncepcni rozvoj vyzkumne organizace

Rok uplatnění

2011

Kód důvěrnosti údajů

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů