Scientific Library of Tomsk State University

   E-catalog        

Normal view MARC view

Axiomatic Method and Category Theory (Record no. 399486)

000 -Маркер записи
Контрольное поле постоянной длины 03994nam a22004935i 4500
001 - Контрольный номер
Контрольное поле vtls000541855
005 - Дата корректировки
Контрольное поле 20210922082145.0
007 - Кодируемые данные (физ. описан.)
Контрольное поле постоянной длины cr nn 008mamaa
008 - Кодируемые данные
Контрольное поле постоянной длины 160915s2014 gw | s |||| 0|eng d
020 ## - Индекс ISBN
ISBN 9783319004044
-- 978-3-319-00404-4
024 7# - Прочие стандартные номера
Стандартный номер 10.1007/978-3-319-00404-4
Источник номера doi
035 ## - Системный контрольный номер
Системный контрольный номер to000541855
040 ## - Источник каталогиз.
Служба первич. каталог. Springer
Служба, преобразующая запись Springer
Организация, изменившая запись RU-ToGU
050 #4 - Расстановочный код библ. Конгресса
Классификационный индекс BD143-237
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории HPK
Источник кода bicssc
072 #7 - Код предметной/темат. категории
Код предметной/темат. категории PHI004000
Источник кода bisacsh
082 04 - Индекс Дьюи
Индекс Дьюи 120
Номер издания 23
100 1# - Автор
Автор Rodin, Andrei.
Роль лиц author.
9 (RLIN) 447219
245 10 - Заглавие
Заглавие Axiomatic Method and Category Theory
Физический носитель electronic resource
Ответственность by Andrei Rodin.
260 ## - Выходные данные
Место издания Cham :
Издательство Springer International Publishing :
-- Imprint: Springer,
Дата издания 2014.
300 ## - Физическое описание
Объем XI, 285 p. 63 illus.
Иллюстрации/тип воспроизводства online resource.
336 ## - Тип содержимого
Тип содержимого text
Content type code txt
Source rdacontent
337 ## - Средство доступа
Средство доступа computer
Media type code c
Source rdamedia
338 ## - Тип носителя
Тип носителя online resource
Carrier type code cr
Source rdacarrier
490 1# - Серия
Заглавие серии Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
№ тома 364
505 0# - Примечание о содержании
Содержание Introduction -- Part I A Brief History of the Axiomatic Method -- Chapter 1. Euclid: Doing and Showing -- Chapter 2. Hilbert: Making It Formal -- Chapter 3. Formal Axiomatic Method and the 20th Century Mathematics -- Chapter. 4 Lawvere: Pursuit of Objectivity -- Conclusion of Part 1 -- Part II. Identity and Categorification -- Chapter 5. Identity in Classical and Constructive Mathematics -- Chapter 6. Identity Through Change, Category Theory and Homotopy Theory -- Conclusion of Part 2 -- Part III. Subjective Intuitions and Objective Structures -- Chapter 7. How Mathematical Concepts Get Their Bodies. Chapter 8. Categories versus Structures -- Chapter 9. New Axiomatic Method (instead of conclusion) -- Bibliography.
520 ## - Аннотация
Аннотация This volume explores the many different meanings of the notion of the axiomatic method, offering an insightful historical and philosophical discussion about how these notions changed over the millennia. The author, a well-known philosopher and historian of mathematics, first examines Euclid, who is considered the father of the axiomatic method, before moving onto Hilbert and Lawvere. He then presents a deep textual analysis of each writer and describes how their ideas are different and even how their ideas progressed over time. Next, the book explores category theory and details how it has revolutionized the notion of the axiomatic method. It considers the question of identity/equality in mathematics as well as examines the received theories of mathematical structuralism. In the end, Rodin presents a hypothetical New Axiomatic Method, which establishes closer relationships between mathematics and physics. Lawvere's axiomatization of topos theory and Voevodsky's axiomatization of higher homotopy theory exemplify a new way of axiomatic theory building, which goes beyond the classical Hilbert-style Axiomatic Method. The new notion of Axiomatic Method that emerges in categorical logic opens new possibilities for using this method in physics and other natural sciences. This volume offers readers a coherent look at the past, present and anticipated future of the Axiomatic Method.
650 #0 - Тематические рубрики
Основная рубрика Philosophy (General).
9 (RLIN) 566367
650 #0 - Тематические рубрики
Основная рубрика Genetic epistemology.
9 (RLIN) 308029
650 #0 - Тематические рубрики
Основная рубрика Algebra.
9 (RLIN) 281363
650 #0 - Тематические рубрики
Основная рубрика Logic, Symbolic and mathematical.
9 (RLIN) 293145
650 14 - Тематические рубрики
Основная рубрика Philosophy.
9 (RLIN) 138650
650 24 - Тематические рубрики
Основная рубрика Epistemology.
9 (RLIN) 308030
650 24 - Тематические рубрики
Основная рубрика Category Theory, Homological Algebra.
9 (RLIN) 307371
650 24 - Тематические рубрики
Основная рубрика Mathematical Logic and Foundations.
9 (RLIN) 306112
710 2# - Другие организации
Организация/юрисдикция SpringerLink (Online service)
9 (RLIN) 143950
773 0# - Источник информации
Название источника Springer eBooks
830 #0 - Заголовок добавочной библ.записи на серию — унифицированное заглавие
Унифицированное заглавие Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science ;
9 (RLIN) 243788
856 40 - Электронный адрес документа
URL <a href="http://dx.doi.org/10.1007/978-3-319-00404-4">http://dx.doi.org/10.1007/978-3-319-00404-4</a>
912 ## - Coursera for Campus: онлайн курсы для ТГУ
Coursera for Campus: онлайн курсы для ТГУ ZDB-2-SHU
999 ## - Системные контрольные номера (Koha)
biblionumber (Koha) 399486

No items available.