Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics
Shapiro S. — Thinking about Mathematics: The Philosophy of Mathematics



Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Thinking about Mathematics: The Philosophy of Mathematics

Автор: Shapiro S.

Аннотация:

This unique book by Stewart Shapiro looks at a range of philosophical issues and positions concerning mathematics in four comprehensive sections. Part I describes questions and issues about mathematics that have motivated philosophers since the beginning of intellectual history. Part II is an historical survey, discussing the role of mathematics in the thought of such philosophers as Plato, Aristotle, Kant, and Mill. Part III covers the three major positions held throughout the twentieth century: the idea that mathematics is logic (logicism), the view that the essence of mathematics is the rule-governed manipulation of characters (formalism), and a revisionist philosophy that focuses on the mental activity of mathematics (intuitionism). Finally, Part IV brings the reader up-to-date with a look at contemporary developments within the discipline.

This sweeping introductory guide to the philosophy of mathematics makes these fascinating concepts accessible to those with little background in either mathematics or philosophy.


Язык: en

Рубрика: Математика/

Статус предметного указателя: Готов указатель с номерами страниц

ed2k: ed2k stats

Год издания: 2000

Количество страниц: 308

Добавлена в каталог: 18.10.2010

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
Space      44 57 79 81 87 9 94 114 123 150 1 176 231
Space-time      27 89 229 30 232 234 7 246 260 1
SPINOZA      4 74
Steiner, M.      35n 36 39
String      140 8 161 5 175n 258 276 7 281 287 typographical)
Structuralism      257-89
Structuralism, ante rem      262 263 70 275 6 278 280 9
Structuralism, eliminative      262 3 270 5 275 6 280 2 289
Structuralism, modal      273 5 276 278 88
Structure      257 258 60 261 3 ante natural
Structure substantivalism      229 30
Successor relation      70 1 110 11 117 125 258 265
Symbol      see character typographical string
Synthetic a prion proposition      23 77 80 90 114 129 175 8 211
Synthetic proposition      77 80 83 6 92 108 9 129 131 177 211-13
Synthetic theory      230 7 247
system      259 261 3 268 269-72 275
Tarski, A.      3 173n 193
Tennant, N.      33 133 194 5 246
Third man argument      269 70
Thomae, J.      143 147 8
Time      23 81 99n 176-7 230 258 280
Token      see type-token dichotomy
Tolerance, principle of      128
Transcendentalism      91-2
Type theory      116 19 121
Type theory, ramified      119 23 127 8
Type theory, simple      121n 127 8 241 3 impredicative irnpredicativity)
Type-token dichotomy      26n 142 3 162 262 276 7 278 282 3 286
Uniqueness condition      285
Universal      26 64 82 261 3 264 269-70
V=L, principle of      18
Verificationism      130 193
Vicious circle principle      10 116 119 20 121n 203 4 impredicative impredicativity)
Vienna Circle      see logical positivism
Vlastos, G.      60
von Neumann, J.      165 265 267
Wang, H.      15n 202
Web of belief      17 19 192 3 213 20 221 239n
Webb,J      44
Weinberg, S.      39
Whitehead, A N.      3 119 23 239
Wittgenstein, L.      37 124 145n 191 2 276
Worlds, possible      5 238
Wright      133 8 283n
Zermelo, E.      114n 265
Zermelo-Fraenkel set theory      see set theory Zermelo-Fraenkel
ZFC      see set theory Zermelo-Fraenkel
1 2
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2024
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте