1 This cortent downbaded tom 143.207.2.50 cn Tue, 27 Aug 2013 17:3139 PM
All ase subjact to 15TOIR Terms and Cand tors
THE BuLLmN or SYMDouc Loac
Volame 19, Nam.ber 1,March2013
THE HYPERUNIVERSEPROGRAM
TATIANA ARRIGONI AND SY-DAVID FRIEDMAN
Abstract. The Hyperaiwrse Program is a new approach to sel-theoretic truth which is based on justifiable principles and Jeads to the resolution of mamy questions independent from ZFC. The purpose of this paper is to present this program.to illustrate its machematical contept and implications,and to discuss its phitosophical assumptons.
§1. Introduction. The purpose of this paper is to discuss and illustrate the Hyperuniverse Program(as well as the Inner Model Hypothesis (IMH) and its variants as a proposal for realizing it), an approach due to the second author (sce[7])which is inspired by the search for solutions to qucstions known to be independent from the axiomatic system ZFC. ˡ
数学联邦政治世界观提示您:看后求收藏(同人小说网http://tongren.me),接着再看更方便。