excluded at the sential to the Hyperuniverse Program is thus the effort to combine
the desired criteria into a coherent synthesis; this will be explained in detail below.
4 This cortcet deealiaded ffom 143 207.2 50 ce Tas:27 Aug 2013 1731.39 PM
All use suiect to JSTτR Temanie αnd Cαnd EeeECN Fom 14su/239I IN,iT ANE 2UU31/ H.FY FN
All use subjet toIS1 M TemaniCaallers
dens
80 TATIANA ARRIGONI AND SY-DAVID FRIEDMAN
It must be explicity said, however, that in formulating the Hyperuniverse
Program, Platonism is nowhere invoked, cither with regard to Vor to the
hyperuniverse. To the contrary, some of its characteristic features clearly
express an anti-Platonistic attitude, which makes the program radically dif-
ferent from Gödel's. No well-determined reality is called upon within the
Hyperuniverse Program in arguing for the legitimacy of the search for so-
lutions to independent questions. Rather, one considers that in spite of
the abundancc of independence results obtained in set theory, there are no
a priori grounds against the goal of finding ultimate answers to questions
like CH. This shifts the burden of proof onto those who claim that there are
such grounds.⁴ Moreover,in formulating the Hyperuniverse Program the
cxpression “trwe in V” is not used to reflcct an ontological state of affairs
concerning the universe of all sets as a reality to which existence can be as-
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。