Axioma alegerii

Axioma alegerii (L. Bell John)

Titlul original:

The Axiom of Choice

Conținutul cărții:

Această carte prezintă o privire de ansamblu asupra dezvoltării axiomei alegerii de la introducerea acesteia de către Zermelo la începutul secolului trecut. Cartea analizează Axioma alegerii din trei perspective.

Prima, sau perspectiva matematică, este cea a "matematicianului care lucrează". " Această perspectivă aduce în atenție multiplele aplicații ale axiomei alegerii - de obicei sub forma Lemei lui Zorn - într-o mare varietate de domenii ale matematicii. A doua perspectivă, fundamentală, este cea a logicianului sau a matematicianului constructiv preocupat de statutul fundamental al axiomei alegerii.

Cea de-a treia perspectivă, topos-teoretică, este cea a matematicianului sau logicianului care investighează rolul Axiomei de alegere în teoria toposurilor. Anumite subiecte - de exemplu, aplicațiile matematice ale axiomei și relația acesteia cu logica - sunt discutate în detaliu.

Altele - în special consistența și independența axiomei față de sistemele obișnuite ale teoriei seturilor - sunt tratate doar sumar, justificarea fiind că aceste subiecte au fost expuse pe larg în altă parte. Se speră că această carte va fi de interes pentru logicieni și matematicieni, atât profesioniști, cât și potențiali.

Alte date despre carte:

ISBN:9781904987543
Autor:
Editura:
Limbă:engleză
Legare:Copertă moale

Cumpărare:

Disponibil în prezent, pe stoc.

Alte cărți ale autorului:

A trăi cu psalmii - Living with the Psalms
Dezvoltată în timpul activității sale de predare în întreaga lume, această carte este rodul unei vieți de angajament cu Psalmii...
A trăi cu psalmii - Living with the Psalms
Axioma alegerii - The Axiom of Choice
Această carte prezintă o privire de ansamblu asupra dezvoltării axiomei alegerii de la introducerea acesteia de către Zermelo la...
Axioma alegerii - The Axiom of Choice
Logica de ordin superior și teoria tipurilor - Higher-Order Logic and Type Theory
O expunere a logicii de ordinul doi și superior și a teoriei tipurilor...
Logica de ordin superior și teoria tipurilor - Higher-Order Logic and Type Theory
Opțiuni logice: O introducere în logica clasică și în logica alternativă - Logical Options: An...
Opțiuni logice prezintă extensiile și...
Opțiuni logice: O introducere în logica clasică și în logica alternativă - Logical Options: An Introduction to Classical and Alternative Logics
Teoria intuiționistă a seturilor - Intuitionistic Set Theory
Deși teoria intuiționistă (sau constructivă) a seturilor IST a beneficiat de o anumită atenție din...
Teoria intuiționistă a seturilor - Intuitionistic Set Theory
Un abecedar de analiză infinitezimală - A Primer of Infinistesimal Analysis
Unul dintre cele mai remarcabile evenimente recente din matematică este refondarea, pe...
Un abecedar de analiză infinitezimală - A Primer of Infinistesimal Analysis
Continuu, discret și infinitezimal în filosofie și matematică - The Continuous, the Discrete and the...
Această carte explorează și articulează conceptele...
Continuu, discret și infinitezimal în filosofie și matematică - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics
Vremuri grele: Începuturile Marii Depresiuni în Carolina de Nord, 1929-1933 - Hard Times: Beginnings...
Detaliază dislocările economice din Carolina de...
Vremuri grele: Începuturile Marii Depresiuni în Carolina de Nord, 1929-1933 - Hard Times: Beginnings of the Great Depression in North Carolina, 1929-1933
Continuu, discret și infinitezimal în filosofie și matematică - The Continuous, the Discrete and the...
Această carte explorează și articulează conceptele...
Continuu, discret și infinitezimal în filosofie și matematică - The Continuous, the Discrete and the Infinitesimal in Philosophy and Mathematics

Lucrările autorului au fost publicate de următorii editori:

© Book1 Group - toate drepturile rezervate.
Conținutul acestui site nu poate fi copiat sau utilizat, nici parțial, nici integral, fără permisiunea scrisă a proprietarului.
Ultima modificare: 2024.11.08 07:02 (GMT)