Axióma voľby

Axióma voľby (L. Bell John)

Pôvodný názov:

The Axiom of Choice

Obsah knihy:

Táto kniha predstavuje prehľad vývoja Axiómy voľby od jej zavedenia Zermeľom na začiatku minulého storočia. Kniha skúma Axiómu voľby z troch hľadísk.

Prvá, alebo matematická perspektíva, je perspektíva "pracujúceho matematika. " Táto perspektíva približuje rozmanité aplikácie Axiómy voľby - zvyčajne v podobe Zornovej lemy - v najrôznejších oblastiach matematiky. Druhá, fundamentálna perspektíva je perspektíva logika alebo konštruktívneho matematika, ktorý sa zaoberá fundamentálnym statusom Axiómy voľby.

Tretí, topos-teoretický pohľad je pohľad matematika alebo logika, ktorý skúma úlohu Axiómy voľby v teórii toposu. Niektoré témy - napríklad matematické aplikácie axiómy a jej vzťah k logike - sú rozoberané veľmi podrobne.

Iné - najmä konzistentnosť a nezávislosť Axiómy od bežných systémov teórie množín - sú spracované len stručne, čo sa odôvodňuje tým, že tieto témy boli v plnom rozsahu vyložené inde. Dúfame, že kniha bude zaujímavá pre logikov a matematikov, profesionálnych aj perspektívnych.

Ďalšie údaje o knihe:

ISBN:9781904987543
Autor:
Vydavateľ:
Jazyk:anglicky
Väzba:Mäkká väzba

Nákup:

Momentálne k dispozícii, na sklade.

Ďalšie knihy autora:

Život so žalmami - Living with the Psalms
Táto kniha, ktorú vytvoril počas svojej učiteľskej služby po celom svete, je výsledkom jeho celoživotného štúdia žalmov. Ako...
Život so žalmami - Living with the Psalms
Axióma voľby - The Axiom of Choice
Táto kniha predstavuje prehľad vývoja Axiómy voľby od jej zavedenia Zermeľom na začiatku minulého storočia. Kniha skúma Axiómu voľby z...
Axióma voľby - The Axiom of Choice
Logika vyššieho rádu a teória typov - Higher-Order Logic and Type Theory
Výklad logiky druhého a vyššieho rádu a teórie typov. Obsahuje syntax a sémantiku klasickej...
Logika vyššieho rádu a teória typov - Higher-Order Logic and Type Theory
Logické možnosti: Úvod do klasickej a alternatívnej logiky - Logical Options: An Introduction to...
Logické možnosti predstavujú rozšírenia a...
Logické možnosti: Úvod do klasickej a alternatívnej logiky - Logical Options: An Introduction to Classical and Alternative Logics
Intuicionistická teória množín - Intuitionistic Set Theory
Hoci intuicionistickej (alebo konštruktívnej) teórii množín IST venujú matematickí logici určitú...
Intuicionistická teória množín - Intuitionistic Set Theory
Základy nekonečne malej analýzy - A Primer of Infinistesimal Analysis
Jednou z najpozoruhodnejších udalostí v matematike v poslednom čase je opätovné založenie...
Základy nekonečne malej analýzy - A Primer of Infinistesimal Analysis
Spojité, diskrétne a nekonečne malé vo filozofii a matematike - The Continuous, the Discrete and the...
Táto kniha skúma a vyjadruje pojmy spojitého a...
Spojité, diskrétne a nekonečne malé vo filozofii a matematike - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Ťažké časy: Začiatky veľkej hospodárskej krízy v Severnej Karolíne, 1929 - 1933 - Hard Times:...
Podrobnosti o hospodárskych otrasoch v Severnej...
Ťažké časy: Začiatky veľkej hospodárskej krízy v Severnej Karolíne, 1929 - 1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933
Spojité, diskrétne a nekonečne malé vo filozofii a matematike - The Continuous, the Discrete and the...
Táto kniha skúma a vyjadruje pojmy spojitého a...
Spojité, diskrétne a nekonečne malé vo filozofii a matematike - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Diela autora vydali tieto vydavateľstvá: