Aksjomat wyboru

Aksjomat wyboru (L. Bell John)

Oryginalny tytuł:

The Axiom of Choice

Zawartość książki:

Niniejsza książka przedstawia przegląd rozwoju aksjomatu wyboru od czasu jego wprowadzenia przez Zermelo na początku ubiegłego wieku. Książka analizuje Aksjomat Wyboru z trzech perspektyw.

Pierwsza z nich, czyli perspektywa matematyczna, to perspektywa "pracującego matematyka". "Perspektywa ta ukazuje różnorodne zastosowania Aksjomatu Wyboru - zwykle pod postacią Lematu Zorna - w wielu różnych dziedzinach matematyki. Druga, fundamentalna, perspektywa to perspektywa logika lub matematyka konstruktywnego zajmującego się fundamentalnym statusem Aksjomatu Wyboru.

Trzecia, toposowo-teoretyczna, perspektywa jest przyjmowana przez matematyka lub logika badającego rolę Aksjomatu Wyboru w teorii toposów. Niektóre tematy - na przykład matematyczne zastosowania Aksjomatu i jego związek z logiką - są omawiane dość szczegółowo.

Inne - w szczególności spójność i niezależność aksjomatu od zwykłych systemów teorii mnogości - są traktowane jedynie skrótowo, co uzasadnia się tym, że tematy te zostały w pełni omówione gdzie indziej. Mamy nadzieję, że książka będzie interesująca dla logików i matematyków, zarówno profesjonalnych, jak i przyszłych.

Dodatkowe informacje o książce:

ISBN:9781904987543
Autor:
Wydawca:
Język:angielski
Oprawa:Miękka oprawa

Zakup:

Obecnie dostępne, na stanie.

Inne książki autora:

Życie z psalmami - Living with the Psalms
Książka ta, opracowana podczas jego posługi nauczania na całym świecie, jest owocem życiowego zaangażowania w Psalmy. Jako nadawca...
Życie z psalmami - Living with the Psalms
Aksjomat wyboru - The Axiom of Choice
Niniejsza książka przedstawia przegląd rozwoju aksjomatu wyboru od czasu jego wprowadzenia przez Zermelo na początku ubiegłego wieku...
Aksjomat wyboru - The Axiom of Choice
Logika wyższego rzędu i teoria typów - Higher-Order Logic and Type Theory
Omówienie logiki drugiego i wyższego rzędu oraz teorii typów. Zawiera składnię i...
Logika wyższego rzędu i teoria typów - Higher-Order Logic and Type Theory
Opcje logiczne: Wprowadzenie do logiki klasycznej i alternatywnej - Logical Options: An Introduction...
Logical Options wprowadza rozszerzenia i...
Opcje logiczne: Wprowadzenie do logiki klasycznej i alternatywnej - Logical Options: An Introduction to Classical and Alternative Logics
Intuicjonistyczna teoria zbiorów - Intuitionistic Set Theory
Podczas gdy intuicjonistyczna (lub konstruktywna) teoria zbiorów IST cieszy się pewnym...
Intuicjonistyczna teoria zbiorów - Intuitionistic Set Theory
Elementarz analizy nieskończenie wymiarowej - A Primer of Infinistesimal Analysis
Jednym z najbardziej niezwykłych ostatnich wydarzeń w matematyce jest ponowne...
Elementarz analizy nieskończenie wymiarowej - A Primer of Infinistesimal Analysis
Ciągłe, dyskretne i nieskończone w filozofii i matematyce - The Continuous, the Discrete and the...
Książka ta bada i artykułuje koncepcje ciągłego i...
Ciągłe, dyskretne i nieskończone w filozofii i matematyce - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Ciężkie czasy: Początki Wielkiego Kryzysu w Karolinie Północnej, 1929-1933 - Hard Times: Beginnings...
Szczegółowe informacje na temat zaburzeń...
Ciężkie czasy: Początki Wielkiego Kryzysu w Karolinie Północnej, 1929-1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933
Ciągłe, dyskretne i nieskończenie małe w filozofii i matematyce - The Continuous, the Discrete and...
Książka ta bada i artykułuje koncepcje ciągłego i...
Ciągłe, dyskretne i nieskończenie małe w filozofii i matematyce - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Prace autora wydały następujące wydawnictwa: