Foundational Aspects of "non"standard Mathematics
David Ballard
сту 1994 · Contemporary mathematics - American Mathematical Society Кніга 176 · American Mathematical Soc.
Электронная кніга
135
Старонкі
reportАцэнкі і водгукі не спраўджаны Даведацца больш
Пра гэту электронную кнігу
This work proposes a major new extension of non standard mathematics. Addressed to a general mathematical audience, the book is intended to be philosophically provocative. The model theory on which non standard mathematics has been based is first reformulated within point set topology, which facilitates proofs and adds perspective. These topological techniques are then used to give new, uniform conservativity proofs for the various versions of non standard mathematics proposed by Nelson, Hrbacek and Kawai. The proofs allow for sharp comparison. Addressing broader issues, Ballard then argues that what is novel in these forms of non standard mathematics is the introduction, however tentative, of relativity in one's mathematical environment. This hints at the possibility of a mathematical environment which is radically relativistic. The work's major and final feature is to present and prove conservative a version of non standard mathematics which, for the first time, illustrates this full radical relativism. The book is entirely self-contained, with all necessary background in point set topology, model theory, non standard analysis, and set theory provided in full.
Ацаніце гэту электронную кнігу
Падзяліцеся сваімі меркаваннямі.
Чытанне інфармацыb
Смартфоны і планшэты
Усталюйце праграму "Кнігі Google Play" для Android і iPad/iPhone. Яна аўтаматычна сінхранізуецца з вашым уліковым запісам і дазваляе чытаць у інтэрнэце або па-за сеткай, дзе б вы ні былі.
Ноўтбукі і камп’ютары
У вэб-браўзеры камп’ютара можна слухаць аўдыякнігі, купленыя ў Google Play.
Электронныя кнiгi i iншыя прылады
Каб чытаць на такіх прыладах для электронных кніг, як, напрыклад, Kobo, трэба спампаваць файл і перанесці яго на сваю прыладу. Выканайце падрабязныя інструкцыі, прыведзеныя ў Даведачным цэнтры, каб перанесці файлы на прылады, якія падтрымліваюцца.
