Logické a filosofické hlavolamy Raymonda Smullyana

Kód výsledku v IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216208%3A11620%2F09%3A00012568" target="_blank" >RIV/00216208:11620/09:00012568 - isvavai.cz</a>

Výsledek na webu

—

DOI - Digital Object Identifier

—

Jazyk výsledku

čeština

Název v původním jazyce

Logické a filosofické hlavolamy Raymonda Smullyana

Popis výsledku v původním jazyce

Článek je věnován dílu Raymonda Smullyana. Analyzuje jeho přístup, který začíná od jednoduchých logických hádanek, jež postupně rozpracovává do složitějších matematických tvrzení, a kulminuje v důkazu Gődelových vět o neúplnosti a výkladu nekonečna v Cantorově teorii množin.

Název v anglickém jazyce

Logical and philosophical riddles of Raymond Smullyan

Popis výsledku anglicky

This paper analyzes the work of Raymond Smullyan and his approach, which starts form simple logical riddles, gradually proceeds to more complex mathematical statements, and culminates in the proof of Gődel?s Incompleteness Theorems and in an explicationof Cantor?s set theory.

Druh

J_x - Nezařazeno - Článek v odborném periodiku (Jimp, Jsc a Jost)

CEP obor

BA - Obecná matematika

OECD FORD obor

—

Projekt

—

Návaznosti

Z - Vyzkumny zamer (s odkazem do CEZ)

Rok uplatnění

2009

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ů

Název periodika

Vesmír

ISSN

0042-4544

e-ISSN

—

Svazek periodika

88

Číslo periodika v rámci svazku

4

Stát vydavatele periodika

CZ - Česká republika

Počet stran výsledku

3

Strana od-do

—

Kód UT WoS článku

—

EID výsledku v databázi Scopus

—