Foundational Aspects of "non"standard Mathematics
David Ballard
Jan. 1994 · Contemporary mathematics - American Mathematical Society Boek 176 · American Mathematical Soc.
E-boek
135
Bladsye
reportGraderings en resensies word nie geverifieer nie. Kom meer te wete
Meer oor hierdie e-boek
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.
Gradeer hierdie e-boek
Sê vir ons wat jy dink.
Lees inligting
Slimfone en tablette
Installeer die Google Play Boeke-app vir Android en iPad/iPhone. Dit sinkroniseer outomaties met jou rekening en maak dit vir jou moontlik om aanlyn of vanlyn te lees waar jy ook al is.
Skootrekenaars en rekenaars
Jy kan jou rekenaar se webblaaier gebruik om na oudioboeke wat jy op Google Play gekoop het, te luister.
E-lesers en ander toestelle
Om op e-inktoestelle soos Kobo-e-lesers te lees, moet jy ’n lêer aflaai en dit na jou toestel toe oordra. Volg die gedetailleerde hulpsentrumaanwysings om die lêers na ondersteunde e-lesers toe oor te dra.
