v edic wholenes s and the mathemat ica l u ni v er se

Upload: hugo-salas

Post on 03-Jun-2018

225 views

Category:

Documents


0 download

TRANSCRIPT

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    1/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    109

    Vedic Wholeness and the Mathematical Universe:

    Maharishis Vedic Science as a ool For Research in the

    Foundations of Mathematics

    Paul Corazza, Ph.D.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    2/128

    B O O K I L E

    110

    A B O U H E A U H O R

    Paul Corazza, Ph.D., received his Bachelor of Arts degree in WesternPhilosophy from Maharishi International University in 1978 and hisM.S. and Ph.D. degrees in Mathematics from Auburn University in1981 and 1988, respectively. He was awarded a Van Vleck AssistantProfessorship at University of Wisconsin for the years 19871990. Heworked in the Mathematics Department at Maharishi InternationalUniversity in the years 199095. Following a career as a software engi-neer, he rejoined faculty at Maharishi University of Management in

    2004 and currently serves a joint appointment in the Departments ofMathematics and Computer Science. Dr. Corazza has published morethan a dozen papers in Set heory, focused primarily on the quest forproviding an axiomatic foundation for large cardinals based on a para-digm derived from Maharishi Vedic Science.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    3/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    111

    A B S R A C

    In this paper we make use of Maharishi Vedic Science as a tool to consolidatemathematical intuition about the structure of the mathematical universe andthe nature of mathematical infinity. We consider the inability of ZFC toaccount for the presence of large cardinals in mathematics as a serious failingand suggest that the shortcoming at the root of this failure is the omission ofany axiomatic principle describing the nature of the wholeness of the universeV. We then formulate such an axiomatic principle, called the WholenessAxiom, which is based on insights into the nature of wholeness derived fromMaharishi Vedic Science and from the dynamics suggested by the strongest

    large cardinal axioms, well-known to set theorists. We illustrate how theuniverse V exhibits new dynamics in the presence of the Wholeness Axiom,more in accord with the dynamics of wholeness described in Maharishi VedicScience. We then show that virtually all known large cardinal axioms arenaturally accounted for by this new axiom. We conclude that Maharishi VedicScience, used in conjunction with the frontiers of modern mathematics, canprovide the profound intuition needed to build a truly successful foundationfor all of mathematics.

    1. Introduction

    If the expansion of rishi, devata, and chhandas into the infinite universe doesnot remain in contact with the source, then the goal of expansion will not beachieved.

    (Maharishi 1991)

    And do you not also give the name dialectician to the man who is able to exact

    an account of the essence of each thing? And will you not say that the one whois unable to do this...does not possess full reason and intelligence about thematter?

    Plato, Te Republic(SN 534)

    F

    or nearly 100 years, mathematicians interested in the founda-tions of mathematics have sought a simple set of axioms fromwhich the rest of mathematics could be derived. Georg Can-

    tor, the founder of modern set theory, was among the first to noticethat the fundamental concepts used in mathematicsnumbers, points,

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    4/128

    B O O K I L E

    112

    lines, circles, ordered pairs, functionscould be formulated as sets. Hisinsight led to the conclusion that a theory of sets could provide a foun-dation for mathematics.

    Unfortunately, in Cantors time, the notion of sets was not wellunderstood; the common idea that a set is simply any collection ofobjects led to logical contradictions. No direct definition of set seemedto avoid basic paradoxes. As an alternative, mathematicians at the turnof the century devised a set of axioms which would describe propertiesthat sets ought to have; these axioms would then provide a basis forproving theorems about sets, and hence about all objects of study in

    mathematics.Te set of axioms which has become most widely accepted as the

    foundation for set theory is known as Zermelo-Fraenkel Set Teory withthe Axiom of Choice, or ZFC for short. In addition to setting forth basicproperties of sets, these axioms have, buried within them, instruc-tions for building a universe of sets, a universe in which all math-ematical objects could, in principle, be located. In order to indicate thatthe construction of sets begins with the merest point value, the empty

    set, and expands outward to generate all possible sets, the universe ofsets is denoted by the letter V.As a unifying foundation, ZFC, together with its universe V, has

    been highly successful. Yet, in the past few decades, several advances inmathematics have challenged its adequacy as a foundation. One of themost serious concerns has been the discovery of extremely large infi-nite sets, called large cardinals, whose existence cannot be proven fromZFC, yet whose central presence in a significant portion of mainstreammathematics makes it unreasonable to simply deny their existence. Itwas the hope of many set theorists that an intuitively evident prin-ciple would emerge that would provide sufficient motivation for includ-ing (or excluding) large cardinal axioms among basic axioms of settheory. Efforts to formulate such motivation have been only partiallysuccessful; the problem has been that there is no fundamental intu-ition concerning the nature of enormous mathematical infinities that isgenerally agreed upon by experts in Foundationseven less so amongmathematicians generally.

    raditionally, mathematicians have derived their mathematical intu-ition on the basis of long years of experience with the objects of study

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    5/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    113

    in their respective fields. Certainly the axioms of ZFC arose from anintuitive familiarity with sets; the axioms had to be formulated so asto preserve this familiarity while eliminating undesirable paradoxes.But how does one decide, on an intuitive basis, whether certain typesof enormous infinities exist or belong in the universe? An evaluationof the consequences of assumingor not assumingthat various largecardinals exist has not helped to answer the question. 1

    Te general feeling in the set theory community concerning the uni-verse of sets is that it is supposed to represent, in an imprecise sense, thereal world. Sets in the universe should combine the way we expect

    real sets in the real world to combine. Tis real world is a com-bination of the natural world and the world of mathematics as it hasdeveloped through its long history.2Certainly, observing the physicalworld tells us how to form the union of two disjoint sets and how toextract a subset from a given set. On the other hand, mathematicalexperience is required to form and study the collection of all subsets of agiven set. Likewise, although most people are not accustomed to locat-ing anything infinite in Nature, still, mathematical experience guides

    the mathematician to postulate that indeed there is an infinite set.However, when mathematicians try to decide about whether theuniverse should include large cardinals, they are faced with a uniqueproblem: Nature does not provide well-known examples of enormousinfinities, and mathematical experience, although it can provide anintuitive feel for mathematical consequences of large cardinal axioms,does not equip the mathematician to decide whether such cardinalsshould exist. Indeed, P. Maddy [1988a/1988b] carried out a fascinat-ing survey of philosophical justifications for large cardinals; her workdetailed virtually all known intuitive principles that have ever beenused to justify the better known large cardinal axioms. Each principlehas clear intuitive motivation but succeeds in justifying only a very fewof these large cardinal axioms. As Maddy herself aptly remarks, ...theaxiomatization of set theory has led to the consideration of axiom can-

    1. As we shall see, none of the other attempts to find an answer to this question havebeen successful either.2. According to P. Maddys account (Maddy 1988b, p. 758), our basic intuitions

    concerning mathematical objects like sets beginwith our first perceptual encounterswith objects in the world and then are shaped by the mathematical concepts andtraining we encounter later.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    6/128

    B O O K I L E

    114

    didates that no one finds obvious, not even their staunchest supporters.(Maddy 1988a, p. 481.)

    We can imagine a number of different reasons for this wide variationin the mathematical intuitions that guide set theorists in their attemptto answer the deepest questions about the structure of the universe andthe Infinite. One reason could be, as a formalist might argue, thatthere is no basic underlying reality about which to have clear intuitionsin the first place; talk about the right foundation for mathematicsshould not be understood as a commitment to believe that there is someunderlying reality that is being described, but rather as a device to

    motivate new and interestingbut purely formalmathematical sys-tems. On the other hand, if indeed there is an underlying truth whichmathematicians with growing clarity are glimpsing as they formulateever more fundamental axioms for mathematical foundationsand thiswas certainly the view of Plato,3Cantor,4and Gdel5then it may wellbe that foundational experts are glimpsing this basic reality with quitedifferent levels of lucidity. Certainly Cantor and Gdel are examplesof mathematicians whose intuitions went far deeper than those of

    their contemporaries in foundational matters. Indeed, Plato antici-pated such disparities as inevitable (Republic, SN 518); according to his

    3. Plato held that the objects of mathematical study, however much they mayresemble objects in the physical world, properly belong to an independent timelessworld beyond the senses, apprehended by a higher faculty of reason (for instance: ...geometry is the knowledge of the eternally existent (Republic, SN 527); also, cf. Platos

    Meno). Moreover, he held that, whereas ordinary mathematics begins with certainunquestioned assumptions and derives rigorous conclusions from these, the process bywhich these assumptions are themselves questioned and transcended activates a new

    kind of knowing in which the highest level of reality begins to be known (cf. RepublicSN 510-511).4. M. Hallett [1988] remarks: As Cantor himself says ([1883], p. 206, n. 6), whathe proposes is a Platonic principle: the `creation of a consistent coherent conceptin the human mind is actually the uncovering or discovering of a permanently andindependently existing real abstract idea.

    5. According to Gdel,Evidently the given underlying mathematics is closely relatedto the abstract elements contained in our empirical ideas. It by no means follows,however, that the data of this second kind, because they cannot be associated withactions of certain things upon our sense organs, are something purely subjective, as Kant

    asserted. Rather they, too, may represent an aspect of objective reality, but, as opposed tothe sensations, their presence in us may be due to another kind of relationship betweenourselves and reality. [1947/1983, p. 60]

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    7/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    115

    account, these variations are due to varying degrees of skill in the useof those mental faculties which allow clear perception of these underly-ing mathematical realities. For those whose intuitive faculties are, ina sense, sleeping, this underlying mathematical reality will be simply afiction, much as a blue sky must remain a fiction for one deprived of thesense of sight. For those whose faculties are awake, the reality of math-ematical objects and those forms which give rise to them will comprisea quite lively reality, which they could hardly consider refuting as a fic-tion, even as one having the sense of sight would be unable to deny theexistence of a lustrous blue sky.

    Whether or not this Platonic view of mathematical reality is correct,it certainly has led to fruitful mathematical consequences. Gdel forexample claims to have arrived at his famous completeness and incom-pleteness theorems in logic precisely because of this Platonic worldview; he felt that, had he viewed the symbolism of Peano arithme-tic as mere formalisms, he would never have made his discoveries (see(Wang 1974)). Indeed, according to Moschovakis,6 it is the experi-ence of nearly all mathematicianswhether they admit it or not!that

    a world view which takes mathematical objects to be real and whichviews theorems as discoveries rather than inventions accords more withtheir experience of creative research than does a more formalistic view.Tere is also a certain amount of evidence within foundational stud-ies themselves that suggests that mathematicians are discovering amathematical landscape rather than inventing it; we have in mindthe remarkable confluence of mathematical methods and insights thatoccurs in the large cardinal hierarchy. It has been observed by many settheorists that the fact that this hierarchy of principles, demarcating theextensions of ZFC in terms of their consistency strength, form a linearorder and yet arise from such diverse mathematical considerations sug-gests that something profound about the hidden fabric of mathematicshas been unearthed.

    For these reasons, we take the view in this paper that there is indeedan underlying reality that set theorists and experts in foundations are,

    6 Te main point in favor of the realistic approach to mathematics is the instinctivecertainty of most everybody who has ever tried to solve a problem that he is thinking

    about `real objects, whether they are sets, numbers, or whatever; and that these objectshave intrinsic properties above and beyond the specific axioms about them on whichhe is basing his thinking for the moment. [1980, p. 605]

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    8/128

    B O O K I L E

    116

    consciously or not, attempting to describe;7and we adopt this point ofview for the pragmatic reason that this stance has, historically, provento lead to more interesting and deeper mathematics than the oppositeview. We propose to lay the groundwork for a program of research thatwill (1) clarify the nature of this reality and determine its structureand salient characteristics, and (2) use these insights as the basis forbuilding a new, enriched consistent foundation for mathematics thataccomplishes the purpose of foundations.

    How are we to study the underlying reality of mathematics? Fromour observations so far about research in Foundations, it should be clear

    that the depth and clarity of intuition in this sphere of mathematicalendeavor tends to vary widely from one mathematician to the next.For most specialized mathematical endeavors, a disparity in facility atan intuitive level balances out as experts keep abreast of the main newtheorems and proofs in their fields. In Foundations, however, there isa need for more uniformity of vision; to formulate the right axioms weneed to be seeing the same reality with equal clarity. More theoremsusing the same old axiom system will not in any significant way equal-

    ize our collective vision.We suggest that the reality that the deepest thinkers in Foundationshave been glimpsing on an intuitive basis and have been attempting toexpress through various axiom systems like ZFC has in fact alreadybeen systematically investigated by great seers throughout history.8Wefeel that the deep research of these exceptional individuals has tendedto be overlooked by those working in the foundations of all the sciences.

    In this paper, we propose to make use of the most ancient of thesesystematic investigations, the Ved, revived by Maharishi Mahesh Yogiin the form ofVedic Science, as a new, explicit source of intuition foradvancing the current research into intuitive principles on which to7. See (Weinless 1987, pp. 157 ff) for his discussion of Vedic objectivism an approachthat uses Maharishis Vedic Science as a basis for a philosophy of mathematics that takesmathematical reality to be as real as any physical reality since these are all simplyexpressions of the internal dynamics of the field of pure consciousness.8. Te traditions of knowledge of every culture include insights and information aboutthe fundamental intelligence underlying Nature. Among these, the tradition most oftenlinked with modern mathematics is ancient Greek philosophy, most notably, Platos

    philosophy. Platos philosophy offers a wealth of insight about the ultimate nature ofexistence as a fundamental wholeness; see his discussions of thegoodand the onein theRepublic, Parmenides, imaeus, Phaedrus,and Sophist.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    9/128

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    10/128

    B O O K I L E

    118

    most notably John Hagelin [1987/1989], to understand and motivateresearch into the functioning of nature at its deepest levels. Indeed,recent research in quantum field theory has led to the discovery thatall the fundamental force and matter fields of nature are expressions ofa single, infinite, self-interacting, highly energetic, self-created, com-pletely unified superstring field. Tis field, in any of its formulations,has been shown by Hagelin, in collaboration with Maharishi, to exhibitthe very qualities and dynamics that characterize the field of pure con-sciousness as it has been portrayed in the Vedic tradition of knowledge.Hagelin [1987] argues strongly in favor of the contention that indeed,

    the unified field discovered by modern physics is nothing other thanthe field of pure consciousness described by the ancient texts of the Ved.

    Our plan is to use this Vedic vision of wholeness as an intuitionto guide the construction of the universe V and to account for largecardinal axioms. We will begin by examining the structure of the uni-verse V, as it is currently understood in modern mathematics, in thelight of Maharishis Vedic Science. We will see that in some respects,the dynamics of unfoldment of Vdirectly parallel those of pure con-

    sciousness in its expression into manifest existence, and in certain otherrespects the model falls short. Ten, using principles from Mahari-shis Vedic Science, we will formulate a new axiom to be added11 tothe present ZFC axiom system with the intention of capturing withinthe resulting universe more of the qualities and dyanmics of pure con-sciousness. Tis axiom, which we will call the Wholeness Axiom, asserts(in nontechnical terms) that the nature of the universe of sets as a wholeis to move within itself and know itself through its own self-interaction.We will see that this new axiom brings the qualities and dynamics ofthe universe Vin much closer alignment with those of the wholenessof pure consciousness. As a satisfying consequence of this new theory,we will be able to give a complete account of the origin of virtually allknown large cardinals.

    In this paper, we shall not attempt to address the natural question,What should a foundation of mathematics provide? We believe thatany answer to this question must at least include an account of largecardinal axioms. For the present, we take our success in this latter

    11.Our axiom should properly be called a metatheoreticaxiom since it cannot be directlyformulated in the language of ZFC. Nevertheless, it can be formulated in an expandedlanguage as an axiom schema. See below and (Corazza 2000).

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    11/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    119

    regard as sufficient evidence that our program is on the right track, andpermit this more universal question, concerning the nature of a properfoundation, to motivate further research.

    It is important to mention that our solution to the problem of theorigin of large cardinals could easily have been discovered without theuse of Maharishi Vedic Science; in fact, set theorists are quite familiarwith the fact that axioms like the one we propose are strong enoughto imply the existence of all known large cardinals.12What has beenmissing up till now has been a compelling reason to adopt such anaxiom; without basic insights into the nature of the very wholeness that

    set theorists have been attempting to give expression to all these years,the large cardinal axioms all appear rather arbitrary. Once we havegained a glimpse of the dynamics that ought to underlie anyfounda-tional wholeness (since these are the dynamics which underlie natureitself), an axiom such as our Wholeness Axiom begins to stand out asextremely natural.

    Our audience for this paper is intended to be wide in scope. Fornonmathematical readers who are interested in applications of Maha-

    rishi Vedic Science, we have attempted to make the threads of rea-soning leading to the Wholeness Axiom and its ramifications directand relatively free from unnecessary technicalities, while elucidatingthe connections to Maharishi Vedic Science as accurately as possible.For mathematicians who may be unfamiliar with axiomatic set the-ory, we quickly review the basic ideas of the subject from ground leveland include several highly readable references. And we hope that theexperienced set theorist will find the strong connections between thefamiliar world of large cardinals and elementary embeddings on theone hand, and our intuitive model from Maharishi Vedic Science onthe other, a pleasant surprise. Readers who are new to Maharishi VedicScience may find the article (Corazza 1993) to be a good starting point.

    Te paper is organized as follows. We begin with a brief review ofmodern set theory and the structure of the universe V. As a first sug-gestion that this structure differs in important ways from the structureof wholeness described by Maharishis Vedic Science, we observe thatcertain central properties of wholeness do not appear to be present in

    the structure of V, at least not in the way that we would expect to find

    12. See for example (Maddy 1988a/1988b).

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    12/128

    B O O K I L E

    120

    them. Tis divergence in structures becomes more evident when wenext consider the dynamics of wholeness described in Maharishi VedicSciencethe lack of any real analogue to the self-referral dynamics ofwholeness suggests that some new principle of dynamism ought to beintroduced. We then give a brief introduction to the theory of largecardinals and the model theory of ZFC, leading to a natural candidatefor an explicit representation of the hidden dynamics of the universe ofVas a whole: a nontrivial elementary embedding from Vto itself. Wethen discuss K. Kunens surprising result that, under certain naturalassumptions, such embeddings dont exist! Because such an embedding

    has seemed particularly natural to large cardinal experts, there havebeen numerous attempts to bypass Kunens theorem; we review some ofthese efforts. Using Maharishi Vedic Science as motivation, we offeranother such attempt, formuated as the Wholeness Axiom, which alsobypasses Kunens theorem, and which at the same time introduces newdynamics in V that correspond remarkably well to the dynamics ofwholeness described by Maharishi. After observing the new characterof mathematical proofs that arises from using the Wholeness Axiom,

    we develop the analogies between the wholeness of Vin the presence ofthe Wholeness Axiom and the wholeness of pure consciousness. Wethen present proofs that, from the Wholeness Axiom, virtually all largecardinals can be derived. Finally, we observe that our analogy betweenV and the wholeness described by Maharishi extends even furtherthan previously suggested: Using the technical language of Mahari-shis Vedic Science, we suggest that the eightfold collapse of infinityto a point within wholeness, in its three phases corresponding to rishi,devata andchhandas, are actually mirrored in eight fundamental largecardinal axioms that increasingly approximate the Wholeness Axiom.

    2. Te Need for a Teory of SetsIn Cantors time it was believed that a set is simply any collection ofobjects that can be defined by some property. For example, the evennumbers 0, 2, 4,... form a set, namely, the set of all those natural num-bers having the property of being divisible by 2. As another example,

    the collection {2, 5, 7} is also a set; in this case the defining property ofits elements is that of being equal to either 2, 5, or 7.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    13/128

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    14/128

    B O O K I L E

    122

    themselves and to other sets. Te intent is that if we can conceive of avast aggregation of collections such that the collections in this aggrega-tion obey the axioms of ZFC, then each collection in the aggregationmay be called a set, and the aggregation itself may be called a universeof sets. Te universe Vmentioned above is such an aggregation, knownas the standard universeand its members are standard sets(or just sets).

    Axioms of Set Teory (Empty Set Axiom) Tere is a set with no element

    (Axiom of Infinity) Tere is an infinite set.

    (Axiom of Extensionality) wo sets are equal if and only if they havethe same elements.

    (Pairing Axiom) IfXand Yare sets, so is the collection {X,Y}.

    (Union Axiom) If Xis a set whose members are also sets, then UX

    is also a set.

    (Power Set Axiom) IfXis a set, so is P(X), the collection of all sub-sets ofX.

    (Axiom of Choice) IfXis a set whose member are nonempty pairwisedisjoint sets, then there is a set Ywhich contains exactly one ele-ment of each member ofX.

    (Axiom of Foundation) Every nonempty set Xhas a member y suchthat no member ofyis inX(yis called an -minimal element ofX).

    (Axiom of Separation) For every setXand every property R, the col-lection of all members ofXwhich satisfy the property Ris itself aset.

    (Axiom of Replacement) SupposeXis a set and we replace each mem-ber xof Xwith some set yx, according to some well-defined rule.Ten the resulting collection {y

    x: x X} is a set.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    15/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    123

    We take a moment here to discuss the meaning of these axioms; see(Weinless 1987) for a more detailed discussion relating the axioms toMaharishi Vedic Science. Te first two axioms guarantee that certainsets actually exist. Te empty set, the set with no element, is usuallydenoted . Te Axiom of Infinity asserts that there is an infinite set.It is not surprising that we require our universe of sets to include aninfinite set since such sets are the most commonly used in actual math-ematical practice; a familiar example of such a set is the set of naturalnumbers {0, 1, 2,...}. 14Te Axiom of Extensionality provides a criterionfor testing when two sets are equal. Te Axiom of Foundation is a

    technical axiom which guarantees that any universe of sets that satis-fies the axioms must unfold sequentially so that each set emerges onlyafter all its members have emerged. Tis axiom implies that there is nocircular set, i.e., no set which is a member of itself.

    Te Axiom of Foundation and Circular SetsWe consider here how the Axiom of Foundation proscribes sets con-taining themselves as elements: Suppose there were a set x which

    contained itself as an element; we show that the set {x} would thenviolate the Axiom of Foundation: Since the only member of {x} is x,and since there is a member of x (namely, x itself ) which is also in {x},the set {x} has no -minimal element. Similar reasoning can be usedto establish the result given in the following exercise:

    Exercise Show that the Axiom of Foundation implies that there donot exist sets xandysuch that x yandy x. (Hint: If such sets x

    andydid exist, show that {x,y} would violate the Axiom of Founda-tion.)

    Te Pairing, Union, and Power Set Axioms say that if certain simpleoperations are performed on sets, new sets are produced. Pairing, asmentioned earlier, asserts that from any two given sets, a third set canbe formed having as its only elements the given two sets. Te UnionAxiom tells us that given any set whose elements are themselves sets,

    14 It can be shown that the Axiom of Infinity is equivalent to the assertion that thecollection of all natural numbers is a set.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    16/128

    B O O K I L E

    124

    say,X0,X

    1,X

    2, . . . , a new set can be formed, called the union of X

    0,

    X1,X

    2, . . . , which consists of all the elements of each of the given sets

    X0,X1,X2, . . . . Finally, the Power Set Axiom guarantees that whenwe form the collection of all subsets of a given set, this new collectionis itself a set. Te set of all subsets of a given set is called its power set.

    Applications of the Union AxiomAs an example of the Union Axiom, consider the setsX= {1,2,4} andY= {3,4,9}. Te union of Xand Y, written XY, is the collection{1,2,3,4,9}. Te Union Axiom asserts that the collection XY isitself a set. A precise definition can be given as follows: the unionofa collection of sets is the collection formed by including as membersthose (and only those) objects which are members of at least one ofthe sets in the original collection. As another example, consider thesequence of setsX0= {0},X1= {0, 2},X2= {0, 2, 4}, . . . . Te union ofthis infinite collection of sets is the set {0,2,4,6,...} of all even num-bers. We could write this union in either of the following ways:

    X0 X1 ... Xn ...= 0,2,4,...{ }

    X0,X

    1,...X

    n,...{ } = 0,2,4,...{ }

    Te second of these notations is used in the statement of the UnionAxiom, whereX= {X

    0,X

    1, . . . ,X

    n, . . . }.

    Applications of the Power Set AxiomAs indicated in the Power Set Axiom itself, the power set of a givensetXis the collection of all subsets ofX. As an example, consider thesetX= {1, 2, 4}. Te subsets ofXcan be listed: , {1}, {2}, {4}, {1, 2},{1, 4}, {2, 4}, {1, 2, 4}. Tepower setofX, denoted P(X), is the collec-tion of all subsets ofX. Tus

    P({1, 2, 4}) = {, {1}, {2}, {4}, {1, 2}, {1, 4}, {2, 4}, {1, 2, 4}}.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    17/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    125

    Te Power Set Axiom asserts that the power set of any set is again a

    set. As another example, notice thatP() = {}.

    Te final two axioms tell us that if we are given a set and some propertyor rule, then the given set can be transformed using the property orrule into a new set. Te Axiom of Separation asserts that if we collecttogether all members of a given set which satisfy a given property, the

    resulting collection is a set. Tus, for example, we could start with thesetEof even numbers and form the collection of all members ofEthathave the property of being multiples of the number 7. Te Axiom ofSeparation guarantees that this collection is a set.

    Te Axiom of Separation may remind the reader of the naive notionof a set that we mentioned earlier, prevalent in Cantors time. In fact,the Axiom of Separation historically arose as a deliberate weakening ofthis naive notion, designed to avoid inconsistency.

    Finally, the Replacement Axiom asserts that replacing elements ofany set with other setsaccording to some ruleproduces a set. Asan example, suppose we start with the set of natural numbers, X ={0,1,2...}, and we replace members of Xaccording to the following rule:Replace each number in Xby the set which contains both it and thenumber . Tus, we replace 0 by {0,}, 1 by {1,}, and so forth. By theAxiom of Replacement, the resulting collection

    {{0,},{1,},...}

    is a set.Collectively, these axioms about sets are very powerful; every theo-

    rem in mathematics can be translated into a statement in the languageof sets, and virtually all such statements can be derived directly fromthe list of axioms given above. Tis fact provides powerful conceptualunification of the entire range of mathematics. In addition, as we havesaid before, the axioms give rise to a very natural universe in which allmathematical objectscircles, lines, functions, numbers, groups, topo-

    logical spaces, and so oncan be located.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    18/128

    B O O K I L E

    126

    4. V: Te Universe of SetsTe universe that can be built using ZFC proceeds in stages. Tezeroth stage, denoted V

    0, is the empty set itself; of course, the Empty

    Set Axiom guarantees that this stage is an allowable set. Te next stage,V1, is the set {} whose only element is the empty set; V2= {, {}}.Tese two stages can also be proven to be allowable sets by using thePairing Axiom. Te pattern of unfoldment is that each later stage isobtained by collecting together all subsetsof the previous stage. Afterwe have built up V

    n, for every natural number n, the axioms tell us that

    we can continue building if we extend our number system beyond the

    natural numbers.Ordinal numbers allow mathematicians to continue long construc-

    tions which extend beyond the indexing capabilities of the naturalnumbers. Te ordinals extending past the natural numbers are giventhe following names, in increasing order: , + 1, + 2, . . . , + , + + 1, . . . , 1, 1 + 1, . . . , 2, 2 + 1, . . . . Te Axioms of Infinity,Power Set, Union, and Replacement in combination guarantee that thislong sequence of infinite numbers exists. Te axioms allow us to con-

    tinue defining new, larger stages of our universe: V, V+1,..., V+and soforth. Vis obtained15by forming the union of all the preceding stages

    V0, V

    1,.... Ten V

    +1 is the set of all subsets of V

    , V

    +2is the power set

    of V+1

    , and V+

    is the union of all previous stages; proceeding beyond + , we continue taking powersets and unions. Finally, we candeclare our universe of sets to be the collection of all sets that can befound in at least one of the stages.

    Ordinal Numbers and the Stages of the UniverseTere are two basic types of ordinal numbers that are used indifferent ways in the build-up of the universe through the stagesV

    0, V1, V2, . . . . A successor ordinal is an ordinal number that hasan immediate predecessor; the familiar numbers 3, 5, and 393 areexamples of successor ordinals (since they have predecessors 2, 4, and392, respectively).

    15. In actual fact, the Axiom of Replacement is needed to form the sequence; once this sequence has been formed, the Axiom of Union may be appliedto it (actually, to its range).

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    19/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    127

    Te ordinal +3 is also a successor ordinal, having predecessor +2.

    On the other hand, 0 and are examples of ordinals without imme-diate predecessors; such ordinals are called limit ordinals. Te readerwill notice that the stages of the universe are formed according towhat kind of ordinal number is being used to index the stage: forinstance, V

    is defined to be the union of previous stages while V

    +1isdefined to be the power set of the stage immediately prior to it, V

    .

    Te formal definition of the stages of the universe is given by:

    V0=

    V +1 = P V( )

    V=

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    20/128

    B O O K I L E

    128

    Locating the Set of all Fractions in V

    We examine here how to locate the set of all fractions a/bwherea and bare positive natural numberswithi n the universe V. Tisexercise illustrates how any set can be formally located inside V. First,let us see where each natural number can be found in V. In set theory,the natural numbers are defined as follows:

    0 =

    1 = {0} 2 = {0, 1} . . . . . . n + 1 = {0, 1, 2, . . . , n} . . . . . .

    Notice that for each natural number n, nis a subset of Vnand is in

    fact a member of Vn+1

    \ Vn. It follows that the set = {0, 1, 2, . . .} of

    natural numbers is a subset of V, and so is a member of V

    +1. o

    locate the fractions within V, we must find a way to code up fractions,represented in the form a/b, as sets, just as the natural numbers havebeen canonically identified with sets. Te usual way to do this is torepresent a/bas the ordered pair (a,b). Different fractions are thereby

    identified with different ordered pairs and each ordered pair standsfor a unique fraction. Te final step is to code ordered pairs of setsas other sets. Again, the usual way to do this is to represent the pair(a,b) as the set {{a}, {a, b}}. It is an interesting exercise to verify that aset of this kind successfully separates the components of the orderedpair; i.e., that two sets {{a}, {a, b}} and {{c}, {c, d}} are equal if and onlyif a = cand b= d. Now, to locate the fractions within Vnotice thatsince a V

    a+1and b V

    b+1then {a, b} V

    a+b+1. Tus a/b= {{a}, {a, b}}

    Va+b+2 V.It follows that the set of all fractions is included in Vas asubset, and is therefore a member of V+1

    .

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    21/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    129

    As we have mentioned before, the universe Vis highly successful asa unifying background for mathematical research. Virtually all math-ematical objects and structures can be formally located in the universe;yet paradoxical sets have been successfully excluded.

    Because this mathematical universe plays the role of the fundamen-tal wholeness underlying mathematics, it is natural at this stage to useour source of intuitive motivation, Maharishis Vedic Science, to seeto what extent the fabric of V reflects that of the wholeness of pureconsciousness. Recall that we are seeking to modify this constructionif possible because we wish to provide an account for large cardinals

    in mathematics. Tus, our plan is to bring the construction of Vintocloser relationship with the structure of pure consciousness, as far asthis is possible.

    5. Application of Maharishi Vedic Science to MathematicsWe provide here an overview of how we plan to use Maharishi VedicScience in our treatment of modern set theory. Our plan, as outlinedbriefly in the Introduction, is to use the qualities and dynamics of

    wholeness, pure consciousness, as principles for guiding our intuitionconcerning the right structure of the universe of sets, consideredas a wholeness. We will observe that on the one hand, many of thequalities of pure consciousness have natural correlates in the standarduniverse V; on the other hand, those qualities concerned with self-inter-action of pure consciousnessspecifically,fully awake within itself, self-referral, andblissas well as the quality of infinite correlation, appearto be entirely absent from the universe (using a reasonable interpre-

    tation of these qualities within the context of set theory). We willalso observe that the fundamental dynamics of pure consciousness, bywhich its infinitely expanded value collapses to its own point value, arenot reflected in the structure of V. In order to enrich the universe sothat these missing qualities and dynamics are more fully expressed, wewill suggest that three features should be introduced to the structure ofV: Some kind of truth-preserving embedding should naturally accom-pany the structure of V (corresponding to self-interacting dynamicsof consciousness); elementary (set) submodels of Vstructures which

    fully reflect all first order properties of Vshould permeate the universe(corresponding to the quality of infinitecorrelation); and the dynamics

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    22/128

    B O O K I L E

    130

    of wholeness embodied in the truth-preserving embedding ought toreflect the collapse of infinity to a point in some natural way.

    We will observe that these three criteria are met in a strikingly directway by postulating the existence of a nontrivial, elementary embeddingfrom the universe to itselfa transformation which preserves all firstorder properties of the universe and implies that nearly every set is itselfan elementary submodel of V. It so happens that such an embeddingrepresents the natural culmination of all large cardinal axiomsthevery things that set theory has had such difficulty accounting for andthat our new approach is designed to explain.

    We will address one apparently serious technical difficulty in ourapproach: Tere is a well-known proof that seems to say the existenceof such an embedding is inconsistent with set theory! o address thisissue, we will show that certain assumptions (which are often not men-tioned in discusions about this theorem) are required for the proof ofthis result to go through; and we will indicate how our approach explic-itly avoids these assumptions. Having addressed the problem of incon-sistency, we will assert in an axiom the existence of a certain kind of

    elementary embedding of the universe to itself, and add this axiom tothe usual axioms of set theory. From this new expanded theory, we willindicate many of its strong consequences, among which is the fact thatvirtually all large cardinal axioms are derivable from this expanded settheory.

    We will then discuss at some length the new dynamics that arise inthe universe as a result of this new postulate. We will see how, just asthe infinitely expanded value of pure consciousness collapses to a pointvalue in the unfoldment of the Ved and creation, so, if we view setsfrom the perspective of Vas a whole, the creation of sets can be seen toarise when the large cardinal-like properties of Vbecome focused onthe first point to be moved by the undefinable embedding. Ten, justas the Ved sequentially emerges from the collapse ofAto K, so a specialsequence within the th stage of the universe emerges from the embed-ding that contains essentially all the information about the location ofevery set in the universe. Tis sequence, called a Laver magic sequence,can be shown to give rise to every set, much as the Veda gives rise to

    every detail of creation. We will pursue the analogy further by describ-ing an analogue to the eight stages that are involved in the collapse of

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    23/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    131

    AtoK; in particular, since the axioms defining the larger large cardinalaxioms provide increasingly close approximations to our new postulate,we search for eight prominent large cardinal axioms to correspond tothese eight stages described in Maharishi Vedic Science. Our searchuncovers eight especially significant large cardinal axioms that repre-sent landmarks in any investigation of the structure of V. As a furtherstep in the analogy, we show how just as the eight stages of collapse aregiven expression in Rik Veda in a threefold manner, in terms of ishi,Devat, andChhandas (elaborated in the 24 syllables of the first richaofRik Veda), so we shall observe how these eight large cardinal axioms

    can be expressed in terms of the structure of V(corresponding to ishi),in terms of elementary embeddings (corresponding to Devat), and interms of properties of a specific point in the universe, i.e., a specificlarge cardinal (corresponding to Chhandas).

    Terefore, by introducing this new axiom, which states in math-ematical terms that wholeness by its nature moves within itself andknows itself, we will find that on the one hand, the structure of V isenriched to the point of displaying nearly all the qualities and dynamics

    of pure consciousness, and, on the other hand, the previously mysteri-ous large cardinal properties can be accounted for very naturally as theproperties of the first point moved by our postulated undefinable ele-mentary embedding, which represents the unmanifest self-interactingdynamics of the wholeness embodied in V.

    . Qualities of Pure Consciousness and the Universe VIn this section, we will examine the universe V, looking to see which

    of the qualities ascribed to the field of pure consciousness in MaharishiVedic Science find expression in this foundational structure. As weshall see, some of these qualities will seem to capture the very intentbehind the cumulative hierarchy, while others may not seem quite sorelevant. Since we are attempting to use Maharishi Vedic Science as asource of intuitive guidance, our plan is to look for ways of enrichingthe construction of Vso that qualities which originally seemed irrel-evant will become as fully embodied as the other qualities. As a startingpoint, we give a quick summary of some of the main qualities of pure

    consciousness [Since the time this paper was first written, the list ofqualities specified by Maharishi Vedic Science has grown considerably,

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    24/128

    B O O K I L E

    132

    but this partial list still provides an excellent samplingEd.]

    able 1. Qualities of pure consciousness.

    all possibilities All activity beginsfrom the field of pure conscious-ness; all laws of nature begin tooperate from this level; the pointKrepresents the point of all pos-sibilities within this field.

    ominiscience Te self-interactingdynamics of pure consciousnessconstitures that pure knowledgeon the basis of which all knowl-edge and existence arise. Know-ing this level of life, all else isknown.

    freedom Remaining ever unin-volved in its own self-referraldynamics, pure consciousness is astate of eternal freedom.

    unmanifest Te self-referraldynamics of pure conscious-ness form the unseen govern-ment of nature. All manifest life

    is governed by these unmanifestdynamics.

    simplicity Pure consciousness isknown when that which is for-eign to the nature of the knowerdrops away. Te simplest formof awareness is a state of perfectorder, the ground state of all

    the laws of nature. (Maharishi1991b, p. 283)

    infinite silence Te infinitelysilent quality of pure conscious-ness is expressed in the first letterAof Rk Ved. Tis quality quietlynourishes the infinitely dynamicunfoldment of pure conscious-

    ness.infinite dynamism Being awaketo itself, pure consciousnessundergoes an infinity of trans-formations within itself; the infi-nite organizing power inherentin these dynamics structures theinfinite diversity of creation.

    pure knowledge Being awaketo itself, pure consciousnessknows itself. Tis self-knowing,a sequential flow within theunmanifest, is called pure knowl-edge.

    infinite organizing power

    Knowledge has organizingpower. Pure knowledge has infi-nite organizing power.

    evolutionary Te pure intel-ligence inherent in the infiniteorganizing power at the basis ofcreation directs life toward ever-increasing levels of progress and

    fulfillment.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    25/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    133

    omnipotencePure knowledge has

    infinite organizing power. Pureconsciousness knows no limita-tion in its creative expression as itunfolds sequentially within itself.

    ominipresence Te self-referraldynamics of consciousness arepresent at every point in creation.

    total potential of natural lawTecreation unfolds and is main-tained in accordance with themost fundamental laws of exis-tence the laws that govern theflow of pure consciousness fromthe Constitution of the Universe.

    discriminating Te flow of pureconsciousness within itself is notonly highly dynamics and unre-stricted, but precise and sequen-tial in its unfoldment. Eachstage of expression comes aboutmethodically and with full aware-ness of all that has come before it

    and all that is yet to come.

    fully awake within itself Pureconsciousness is, by its verynature, pure wakefulness.

    harmonizing Te basis of har-mony is enlivenment of theinfinitely harmonizing qualityof pure consciousness in whichextreme opposite values are

    perfect orderliness Te laws gov-

    erning the precise sequential flowof pure consciousness are at thebasis of the orderly functioningobserved in nature.

    self-sufficiency Pure conscious-ness needs nothing outside itselffor its existence, creative expres-sion, and fulfillment. Creationunfolds and dissolves within pureconsciousness.

    purifying Enlivenment of pureconsciousness, the ultimate real-ity of manifest life, bring an endto unwanted tendencies, whichare foreign to life.

    infinite creativity Te infiniteorganizing power inherent inpure consciousness finds unre-stricted expression in the unfold-ment of creation.

    integrating Te wholeness of

    pure consciousness is maintainedis maintained through the inte-gral coexistence of opposite val-ues, such as infinite dynamismand infinite silence.

    perfect balance Te balanceinherent in the eternal contin-uum of the unmanifest nature ofthe Absolute is reflected in thebalance that nature maintains

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    26/128

    B O O K I L E

    134

    simultaneously lively without

    conflict.self-referral Pure consciousness,through all stages of unfoldment,is awake to itself; its nature andcreation are therefore self-refer-ral.

    unboundedness All boundariesare structured in the boundless,unlimited value of pure con-sciousness.

    immortality Birth, death, andthe field of change are the cre-ative expression of pure con-sciousness. Pure consciousness

    itself is an immortal field, beyondthe manifest field of change.

    invinicibility Nothing can disrupt the perfect balance ofthis field since everything is apart of its structure. (Maharishi1991b, p. 281)

    amidst the dynamism of evo-

    lutionary change. (Maharishi1976, p. 148)

    bliss Te self-interacting dynam-ics of consciousness form theunmanifest structure of bliss. the Absolute ever celebrates itsown nature within its unmanifestnonchanging Self. (Maharishi1976, p. 146)

    nourishing All stages of expres-sion of pure consciousness arenourished by the infinitely silentvalue of pure consciousness.

    infinite correlation Pure con-

    sciousness is a field of infinitecorrelation in which an impulseanywhere is an impulse every-where. (Maharishi 1976, p. 150)

    Te alert reader will no doubt discover many ways to interpret thesequalities in the context of set theory and Foundations that we have notconsidered here. Our account may at times assert that certain qualitiesare absent from the set theoretic universe which the reader, taking aslightly different approach, may find abundantly present. We feel thatthese different viewpoints are to be expected and mark the beginning

    of a healthy, rigorous research program. In our own research, we foundthat, as we reflected on the significance of each quality, natural ways for

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    27/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    135

    this quality to be expressed in a foundational context became apparentto us. We asked ourselves, for example, What would a universe haveto look like in order to embody the quality of infinite correlation? Itseemed apparent to us that this quality would be most clearly embodiedif all knowledge about the universe were avaiable throughout the universe.From the perspective of set theory, we interpreted this to mean that wewere looking for a universe in which a substantial proportion of setswould reflect all first-order properties of the universe. Tis require-ment is certainly not met by the universe arising from ZFC; as we shallsee, however, by suitably supplementing ZFC with an axiom about the

    wholeness of V, this requirement expresses one of the most appealingfeatures about the new resulting universe.

    In the discussion below, we list most of the qualities from this tableand suggest the ways in which ZFC set theory, as a foundation formathematics, exhibits these qualities. Several qualities from out tableare not mentioned below; these, in our view, do not find natural expres-sion in set theory as it is presently understood. We will discuss theseat greater length later in this section, outlining the ways in which we

    might expect to find these qualities displayed in an enriched set theoryand our reasons for believing they are absent from the present founda-tion.

    all possibilities All models of every mathematical theory are located inV; all sets needed for the development of any mathematical theory arelocated in V.

    omniscience Every mathematical fact is true in the model V; thus, ifone could view mathematics from the vantage point of V, the wholenessunderlying mathematics, every mathematical truth could be known.

    freedom Te power set axiom freely generates the set of all subsets ofa given set; since no restriction is placed on the sets generated in thisway, the continuum may consistently be taken to have arbitrarily largecardinality.

    unmanifest Vis too large to be an individual set; although all propertiesof sets can be rigorously determined and demonstrated using the axiomsof set theory, nothing can be directly proven aboutV.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    28/128

    B O O K I L E

    136

    simplicity A single elegant recursive rule is at the basis of the sequentialand simultaneous unfoldment of all stages of the universe.

    omnipotence Any mathematical truth that has ever been demonstratedcan be seen as a derivation from the axioms of set theory using rules oflogic, and all of these can be found in coded form within the structureof the universe itself.

    total potential of natural law Te laws governing a mathematical theoryare expressed by axioms; the content of every axiom of set theory is fullyrealized in the universe of sets.

    discriminating Te sets which emerge in the cumulative construction ofVdo not lead to any known paradox.

    bountiful All mathematical knowledge and its applications arise fromthe interactions of the axioms of ZFC (i.e., from logical derivationsfrom the axioms).

    infinite silence At limit stages of the construction of the universe, no

    new sets are added; this silent phase of the construction creates smooth-ness and uniformity in the unverse.

    infinite dynamism In the construction of V, each new stage producedby the power set operator is larger than the previous stage; in particu-lar, the power set operator produces an endless sequence of ever largerinfinities.

    pure knowledge Te information content in ZFC is the basis for virtually

    all known mathematical theorems.

    infinite organizing power Te organizing power of a mathematical the-ory is expressed by its models;16 the models of set theory are infinite,complete, and all-inclusive.

    evolutionary Set theory has stimulated progress in a wide range ofmathematical fields.

    16. Weinless [1987] discusses at some length this notion that the organizing power of aset of axioms is expressed in its models.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    29/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    137

    perfect orderliness All theorems of set theory, and hence of virtually all ofmathematics, can in principle be generated automatically by a computer

    once sufficiently many axioms have been input.

    self-sufficiency All the information needed to construct the stages of theuniverse is coded in the first few stages of the universe; the universe cantherefore reproduce itself.

    purifying Te recursive construction of V systematically prevents theentry of paradoxical sets.

    infinite creativity All the creativity of the brightest mathematicians ofrecorded history can be coded up as formal theorems derivable from thesimple axioms of set theory.

    integrating All mathematical theories, with their own special mathe-matical languages, find a common basis in set theory; the interrelation-ships between theories are thereby more easily identified.

    harmonizing Superficial differences in style between different theories

    are stripped away when the formal content of these theories is expressedin the language of set theory.

    perfect balance Despite the differences in style and content between dif-ferent theories and their models, all such models naturally emerge in theuniform and simply defined unfoldment of the stages of the universe.

    unboundedness Te sequence of stages of the universe Vunfold withoutbound; the resulting universe V is so vast that it cannot be considered

    a set.

    nourishing Every mathematical theory has a basis in set theory; as aresult, each theory can make use of the tools of set theory within itsown context.

    immortality Te conceptual reality developed by pure mathematicians,and uniformly codified in set theory, is time independent.

    omnipresence All mathematical structures can be located inside V.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    30/128

    B O O K I L E

    138

    As our list indicates, set theory with its universe Vexhibits a wide rangeof the qualities attributed to pure consciousness in Maharishi VedicScience. In the table below, we provide the reader additional informa-tion about our point of view concerning the presence of these qualitiesin set theory by considering one such qualityself-sufficiencyin greaterdetail.

    Our main concern here is with the five qualities, present in the tablegiven earlier, that do not appear on our list. Tese aspects of whole-ness, described by Maharishi Vedic Science, are, in our view, missingfrom set theory and the structure of V; we shall argue later that the

    difficulties set theory faces as a foundation are intimately tied to theseomissions. Te omitted qualities are infinite correlation, invincibility,fully awake within itself, bliss, andself-referral.

    As we mentioned at the beginning of this section, the first of thesequalities, infinite correlation, would be exhibited in a universe in which asignificant proportion of its sets satisfied all the first-order properties ofthe universe itself. Using Gdels Incompleteness Teorem, however,one can easily show that it is impossible to prove from ZFC that there

    are anysets in Vwhich are even models of ZFC, what to say of setswhich reflect all first-order properties of the universe!As indicated in the table, the quality of invincibility is the charac-

    teristic of pure consciousness by which it maintains its connection toits unbounded source through all stages of expression, and thereforeis not foreign or antagonistic to any aspect of its creation. In our view,this quality could be ascribed to the universe if, as in the case of infinitecorrelation, nearly all sets in the universe satisfied all first order prop-erties of Vitself. In that case, clearly, the nature of wholeness would notbe lost at any stage of the unfoldment of V.

    Te next three qualities have one common property that leads usto declare that they are absent from the structure of V: All three arisefrom a fundamental self-interaction of wholeness, of pure consciousess.According to Maharishi Vedic Science, being fully awake within itself,pure consciousness is fully awake to itself; its own wakefulness results inits own self-knowing and self-interaction. Tis dynamic state in whichpure wakefulness is awake to itself represents the eternal nature of pure

    consciousness to be ever in a state of self-knowing; this unchangingcondition of self-knowing is called self-referral, and is another funda-

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    31/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    139

    mental instance of self-interaction. Finally bliss is a description of theexperienceof this self-referral flow of consciousness. At this level, theexperience and that which is experienced are the same (see the table,and recall Te experience of pure Being and the state of Being meanthe same thing, Maharishi 1966, p. 295). Tus, the subjective experi-ence of self-referral consciousness as bliss is no different from the realityof self-referral consciousness as bliss. Again, this quality arises from theself-interaction of pure consciousness.17

    What does self-interactionmean in the context of the universe V? Atthe very least, we would expect a self-interacting universe to have some

    sort of transformation associated with it that would move its elements.One observation that many category theorists and physicists have maderegarding Vboth in publications (see for example Lawvere, 1979, andMcLarty, 1990) and in lectures and discussions is that it is unduly static;even the central concept of afunctionthe very essence of mathematicaltransformationis formalized as a setof ordered pairs, on a par withother sets, like the rationals or integers, which exhibit no essentiallydynamic features. In short, the mathematical intuition of dynamism

    embodied in the concept of a function is not well expressed in Veitheron the local scale (particular functions are mere sets of ordered pairs) oron the global scale (Vis not naturally associated with any map18fromV to itself that would transform its elements). Tus, in order for usto declare that the universe exhibits self-interacting dynamics compa-rable to those of pure consciousness, we would expect that some naturaltransformation of Vinto itself should accompany the construction of V.

    Tus, our viewpoint about these five basic qualities suggests to usthat a universe more in accord with our objective, more in accord withthe nature of the wholeness set theorists wish to capture, will displayinfinite correlation and invincibility through the widespread presenceof sets embodying all first-order properties of V, and self-interacting17 In [1983], Hagelin identifies the quality of blissin pure consciousness as a qualityof the unified field of natural law, as described by quantum field theory, because of thisunified fields continuous effervescence of topological fluctuationsa fundamentalinteraction of the field with itself.18 Interestingly, nearly two decades after this article was first written (1993), it wasdiscovered that the Axiom of Infinity is provably equivalent to the existence of a certain

    kind of structure-preserving map from Vto itself (Corazza, 2010). Te naturalness ofthis phenomenon led the author to argue in favor of the Wholeness Axiomas discussedin this paperas a new axiom to be added to ZFCEds.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    32/128

    B O O K I L E

    140

    dynamicsexpressed perhaps by some natural map from Vto itself.Notice that if we are successful in our efforts to give expression to

    these qualities in an enriched set theory, we should expect to find thatmany of the other qualities on the list above will be expressed in a man-ner even more in accord with their expression within pure consiousness.For instance, the fact that pure consciousness can be described as pureknowledge or as omniscient arises from the nature of its self-interact-ing dynamics: Pure consciousness, being awake to itself, is eternallyengaged in the act of self-knowing, and all knowledge emerges fromthe sequential unfoldment of this process. Our use of these qualities as

    descriptions of the foundation of mathematics differs from the patternwe find within pure consciousness, and this difference stems from thefact that the universe V, as it is presently understood, does not exhibitany fundamental self-interaction from which knowledge could besaid to emerge. Tus, even though we feel these qualities are exhib-ited to some extent in the present universe, once we have invested Vwith a fundamental form of self-interaction, we shall expect to find thequalities ofpure knowledge, omniscience, and many others, arising from

    these new dynamics.In this section, our aim has been to identify qualities of pure con-sciousness that appear to be absent from the structure of V so thatour intuition concerning the right structure for Vcould be suitablyguided. In the next section, when we compare the dynamicsof pureconsciousness with those of V, the difference between these two whole-nessespure consciousness and the present foundation of mathematicswill become even more apparent.

    Self-Sufficiency in the Universe VHere we show how all the information needed to build V can belocated within V itself. Te basic idea is that set theory is formal-ized within a symbolic language; the symbols of this language can beidentified with sets, as can the basic rules of proof. Tis means thatthe informal reasoning we used earlier to build up Vusing the axiomsof ZFC can be formalized in symbolic logic and coded as a set. Wenow investigate some of the details of this coding.

    Te symbolic language in which formal set theory is expressed is

    called first-order logic. Te symbols which are used in first-orderlogic are listed below:

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    33/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    141

    Variables x0, x1, x2, ...

    Logical symbols (not),(and), (or),(if...

    then), (for all), (thereexists)

    Parentheses and comma ( ) ,

    Membership relation

    Equality relation =

    Tese symbols are put together according to simple rules of formationto obtain the formal sentences of set theory. Here is an example:

    x0x1 (x0 x1).

    Tis sentence symbolically represents the assertion, Every set is con-tained in some other set (or more precisely, for every set x0, thereexists a set x

    1such that x

    0is a member of x

    1).

    Te axioms of set theory can be expressed in this formal language.For instance, the Empty Set Axiom has the following symbolic form:

    x0x1(x1 x0).

    With our formal language in place, formal rules of proof can also bedeveloped which give precise criteria for deriving theorems from theZFC axioms. Using these, one can, for example, give a formal proofof the formal sentence given above that asserts every set belongs tosome other set. We now identify the basic symbols of first-order logicwith sets according to the following scheme:

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    34/128

    B O O K I L E

    142

    Symbol Set

    0 (= )

    = 1 (= {0})

    2 (= {0, 1})

    3 (= {0, 1, 2})

    4

    5

    6

    Symbol Set

    7

    ( 8

    ) 9

    , 10

    x0 11 (=1120 )

    x

    1 22 (=1121)

    xn 112n

    We can now translate any formal sentence of set theory into a set bytranslating symbols directly into sets using the key above. In orderto preserve the order in which the symbols occur in a given sentence,we attach to the first symbol the number 0, to the second the num-ber 1, and so forth. As an example, we can translate the formulax0x1 (x0 x1) as the following set:

    {(0,6), (1,11), (2,7), (3,22), (4,8), (5,11), (6,0), (7,22), (8,9)}.

    In this way, all the axioms of set theory can be located within theuniverse V(in fact, within V

    ). Moreover, it can be shown that all

    the rules of proof can also be identified with sets; hence, all provablestatements and their proofs can also be located in V. In particular, allthe reasoning needed to construct Vfrom the axioms of ZFC can becoded up as a single set, which can actually be found in V

    !

    7. Dynamics of Pure Consciousness and the UniverseVContinuing with our program to compare the structure of the universeV with the wholeness of pure consciousness described by Maharishi

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    35/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    143

    Vedic Science, in this section we seek to determine to what extent thedynamicsascribed to pure consciousness are displayed in the structureof the universe. We will find a rather unmistakable difference betweenVand pure consciousness in this portion of our comparison. We firstsummarize in a table important principles of these dynamics, describedin Maharishis Vedic Science:

    able 2. Te dynamics of pure consciousness.

    Existence Te first truth aboutpure consciousness is that itexists.

    Nature Te nature of pure exis-tence is pure wakefulness or pureintelligence.

    Tree-in-one structure Being

    awake to itself, pure existence isconscious of itself and assumesthe roles of rishi(knower), devata(process of knowing), andchhan-das (that which is known). Putanother way, the pure intelligenceof pure existence distinguishes athree-in-one structure within

    pure existence, the samhita ofrishi, devata, and chhandas.

    All possible transformations Aseach of samhita, rishi, devata, andchhandas is fully awake withinitself, each is awake to each ofthe others. Being awake to eachother transforms each. Tesetransformed values of samhita,rishi, devata, andchhandasare th-

    Collapse and expansion with infi-nite frequency In the unfoldmentof pure knowledge, the point,embodied in K, expands to infin-ity. Te process of collapse andexpansion occurs with infinitefrequency and is the theme ofunfoldment of the Vedand all ofcreation.

    Apaurusheya Bhasya Mahari-shis Apaurusheya Bhasya assertsthat the Ved provides its owncommentary on itself. Te struc-ture of total knowledge is foundin its most concentrated form inA, and in successively more elab-

    orated forms in AK, in the firstpad, the first richa, the first sukt,and the first mandal of Rk Ved,and finally in its most elaboratedform in the entire Ved.

    Eightfold collapse Te collapseof A to K is like a whirlpoolthat contracts to a point in eightstages. Tese eight stages corre-spond to the five tanmatras and

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    36/128

    B O O K I L E

    144

    emselves fully awake to them-

    selves and each other, and the pro-cess of transformation continues.An infinity of transformationsall possible transformationsofpure consciousness emerge in thisunfoldment.

    Pure knowledge and infinite orga-nizing power Tese transforma-tions of pure consciousness withinitself constitute a sequential pro-cess by which pure conscious-ness knows itself. Tis sequentialunfoldment is called pure knowl-edge. Te Ved is pure knowledgetogether with the infinite orga-nizing power contained within it.

    Tis organizing power gives riseto the whole creation and all thelaws of nature.

    Constitution of the Universe Telaws governing the sequen-tial unfoldment of the Veda areknown collectively as the Con-

    stitution of the Universe. Teself-interacting dynamics of con-sciousness is the primary admin-istrator of the universe.

    Collapse of A to K Pure knowl-edge emerges in the collapse ofthe infinitely expanded value ofwholeness to the fully contractedpoint value of wholeness; fullness,infinite silence, embodied in

    the three subjective principles--

    mind, intellect, and ego. Teseeight stages unfold from threeperspectives: from the point ofview ofrishi, devata, andchhan-das.

    Coexistence of infinite silence andinfinite dynamism Te fabricof pure knowledge is composednot only of infinite dynamismand the tendency to give rise tocreation, but also infinite silenceby which pure consciousnessremains forever uninvolved in itscreation. Prakriti unfolds withinPurusha; pure consciousness isboth pure samhita and samhitaof

    rishi, devata, andchhandas.

    Maintaining unity, wholeness Inits sequential unfoldment, theself-interacting dynamics of con-sciousness always remains infi-nitely correlated with its source,the samhita value of pure con-

    sciousness.

    Present at every point in creationTe self-interacting dynamicsof consciousness, the Veda, isunmanifest and present at eachpoint in creation.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    37/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    145

    A, the first letter of Rik Veda,

    collapses to emptiness, the pointvalue, the point of all possibilitiesand infinite dynamism, embod-ied in the second letter of RikVeda, K.

    In Maharishis description of the dynamics of pure intelligence, heobserves that pure intelligence, being pure wakefulness, becomes aware

    of itself. Tis process of becoming aware involves a move of the fullyexpanded aspect of its nature, represented by the letter A, toward thefully contracted, point value of its nature, represented by the letterK. In this collapse of infinity to a pointall within pure intelligenceoccurring as a fundamental flow of its own natureall possible trans-formations of its nature take place. In this collapse, the full unmanifestpower of unbounded silence is imparted to the point value which thenis impelled to expand its contracted nature to the fully expanded infi-nite value. Tis expansion of the point to infinity gives rise in sequen-

    tial fashion to the entire blueprint of creation, the Ved, which emergesas an elaboration of the transformations occurring within the originalcollapse.

    Tis description suggests to us that the construction of V empha-sizes only one half of the dynamics of wholeness, namely, the expan-sion of the point (represented by the empty set) to infinity (representedby the ever larger stages of the universe).19Again we note that none ofthe ZFC axioms actually attempts to describe the nature of wholeness;

    instead they focus on the nature of sets. Tus the construction of theuniverse necessarily proceeds in a one-sided way. From the point ofview of Maharishis Vedic Science, we would expect that the unfold-ment of parts in any foundational system that does not maintain a con-nection with the nature of the whole is doomed to fall short of its goal(Maharishi 1991):

    If the expansion of rishi, devata, andchhandasinto the infinite universedoes not remain in contact with the source, then the goal of expansion

    19 See (Weinless 1987) for an excellent detailed treatment of the relationship betweenthe expansion of the universe of sets from the empty set and the dynamics of the pointexpanding to infinity in Maharishi Vedic Science.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    38/128

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    39/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    147

    Before introducing the Wholeness Axiom, we shall offer a briefintroduction to the theory of large cardinals and the foundational chal-lenges which accompany them; we shall see that large cardinals them-selves suggest the very foundational solution we are seeking. Sincelarge cardinals are vast infinite sets, we begin with a discussion ofmathematical infinity.

    . Mathematical Infinity

    Te whole material creation is just a sequence of quantified values of infinity.

    (Maharishi 1990)

    Prior to the work of Cantor, mathematicians viewed the concept ofinfinity as a kind of unreachable ideal which various mathematicalsequences could approximate. Te sequence 0, 1, 2,... of natural num-bers, for example, was viewed as continuing indefinitely, but was neverconceived as a completed collection. In studying certain problems inmathematical analysis, Cantor found it useful to consider certain infi-

    nite collections as completed wholes which could be further manipu-lated using techniques commonly used on finite collections. His workwas at first met with skepticism but by now has come to be consideredone of the great achievements of modern mathematics.

    Once the concept of sets having infinite size is in place, it is naturalto ask, as Cantor himself did, whether all infinite sets have the samesize. In order to answer the question, Cantor first needed to describe away of comparing two infinite sets. Certainly, the familiar method ofcomparing the sizes of two finite setsnamely, by counting the num-

    ber of elements in eachwould not apply to the case of two infinitesets (how many elements does an infinite set have?). However, anothermethod of comparing finite sets does turn out to be useful in the con-text of infinite sets: Consider two fairly large finite sets Aand Bandarrange each sets elements in a row, aligned as in the diagram below:

    elements ofA: ....................

    elements of B: .................................

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    40/128

    B O O K I L E

    148

    In the diagram, it is clear that B has more elements than A evenbefore we attempt to count the number of elements in each set. Tis isbecause, without concern for the actual numbers of elements involved,we can see that there is no way to match up the elements of Awiththose of Bin a one-to-one way. Te same sort of reasoning shows thatthe sets Cand Dbelow do have the same size:

    elements of C: ...........................

    elements of D: ...........................

    Tus, Cantor reasoned, two sets, whether finite or infinite, can besaid to have the same size if their elements can be matched up onefor one; moreover, a set Acan be said to be smaller than a set Bif theelements ofAcan be matched with those of a subset of B, but not con-versely.

    Using this method of comparing infinite sets, Cantor showed thatthe even numbers 0, 2, 4, . . . form a set that has the same size as the

    entire set of natural numbers, whereas the set of real numbers is strictlybigger than the set of natural numbers.21Cantor went on to make an even more startling discovery about the

    infinite: For any set A, the collection of subsets of Ais strictly biggerthan A itself. Using notation from set theory, we can say that P(A)is bigger than A, or more briefly, A < P(A), for any set A, where P(A)stands for the set of all subsets, or power set, of A. In particular, wehave the following endless sequence of infinite sets, each one biggerthan the previous one:

    N< P(N) < P(P(N)) < . . .

    Cantor hoped in his time that the sequence of infinities given abovewould include all possible infinite sizes of sets. (Nowadays, it is knownthat this hypothesis about the sequence of infinite sizes, known as Can-tor's Generalized Continuum Hypothesis, is consistent with ZFC, but

    21. See (Rucker 1982) for a popular treatment of this famous result; (Hallett 1988)

    for a historical treatment; (Roitman 1990) for a pedagogical treatment; and (Weinless1987, Section I.5) for a treatment that interfaces with principles from Maharishi VedicScience.

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    41/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    149

    not provable from it.) Since he was unable to prove his conjecture, hedevised a hierarchy of numberswhich he called transfinite numbersandwhich in contemporary language are called infinite cardinalsthat wereintended to represent all possible infinite sizes. In modern-day nota-tion, Cantors infinite cardinals form a subclass of the ordinal numbersdiscussed above; in the context of ordinals, a cardinal number can bedefined to be any ordinal which does not have the same size as any ofits predecessors. Every finite ordinal (i.e., every natural number) is alsoa finite cardinal; the first few infinite cardinals are listed below:

    , 1, 2, . . . , , +1, . . .

    In particular, if Cantors Generalized Continuum Hypothesis happensto be true, we have the following neat correspondence:

    the size of Nis the size of P(N) is

    1

    the size of P(P(N)) is 2

    . . .

    It is helpful for our mathematical intuition to view the progression ofthe infinities of set theory from through Cantors hierarchy as a grow-ing approximation to a full description of the ultimate nature of theInfinite. We shall see that as we climb the hierarchy of infinities, moreand more of the qualities of the field of pure self-referral consciousness,as described by Maharishi Vedic Science, become embodied in thesecardinals. Tus, for example, the smallest infinite cardinal, , simplyembodies the quality of unboundednessin that for every number nlessthan , n+1 is also less than . Te qualities of completeness, indescrib-ability, self-referral, all-inclusiveness, self-sufficiencyand others, which wefind present in the ultimate Infinite are absent from ; however, as wewill see, these qualities begin to be expressed by cardinals higher up inthe hierarchy. Climbing to the level of large cardinals, we will find that

    deep properties of the universe Vas a whole begin to be reflected intosets having large cardinal size; thus, it is natural to study large cardinals

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    42/128

    B O O K I L E

    150

    to gain an intuitive sense of the nature of Vas a whole.

    9. Large CardinalsA large cardinalis a cardinal which cannot be obtained using any con-ceivable22set-theoretic operation on the cardinal numbers below it. Eachof the first few infinite cardinals (see the list above) can be obtained byapplications of the axioms of set theory to cardinals which occur earlierin the list, and hence are not large. For instance, is obtained explic-itly from one of the axioms (the axiom says, essentially, exists).

    is obtained as the union of the cardinals which are below it:

    =

    n : nand thestage V

    has the following two properties:

    1. Vis not the union of fewer than many of the earlier stages V

    .

    2. Te size of any previous stage Vis less than .

    22. By conceivable set-theoretic operation, we mean an operation that can beformalized in ZFC.23. For an introduction to large cardinals for the nonmathematician, see (Rucker1982). For more formal treatments of this subject, including a discussion of all resultsmentioned in this section of the paper, see (Roitman 1982), (Kanamori, A. and Magidor,

    M. 1978), (Drake 1974), (Jech 1978), and (Corazza 2000). For an excellent discussionof large cardinals and their relationship to the principles of Maharishi Vedic Science,see (Weinless 1987, Section II.6).

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    43/128

    V E D I C W H O L E N E S S A N D H E M A H E M A I C A L U N I V E R S E

    151

    We can see rather quickly that the ordinary infinite cardinals we havedescribed so far could not possibly be inaccessible. For instance, if weconsider the cardinal 1, it can be shown that property (2) fails becausethe size of V

    +1is at least as big as 1.24On the other hand, if we con-

    sider the cardinal , we can see that property (1) fails; in fact V is the

    union of just many previous stages:

    V = V V1 V 2 ...We have established that if an inaccessible cardinal exists at all,

    it must be extremely big. One indication of the enormity involvedis the fact that if is inaccessible, must have the property that

    () = .

    Our experience tells us that the phenomenon indicated by () is veryunusual: 1 <

    1; 2 <

    2; <

    ; and so forth. o find a with the

    property () would require a very long journey through the hierarchy of

    cardinal numbers (and using ZFC alone, even in an endless journey, alarge cardinal would never turn up!).25

    As we indicated earlier, bigger infinities in the universe can beunderstood to be sets which embody more of the qualities of the ulti-mate nature of the infinite. Tis point can be illustrated especiallywell with inaccessible cardinals: Properties (1) and (2) above indicatenot only that an inaccessible cardinal embodies a very strong form ofunboundedness, but also that an inaccessible is truly transcendental,beyond intellectual apprehensionand these are well-known qualitiesof pure consciousness (Maharishi, 1969):

    Te senses, they say, are subtle; more subtle than the senses is mind; yetfiner

    24. Note that each natural number lies in V; thus each (possibly infinite) subset of the

    set of natural numbers is a member of V+1. But there are at least 1 such subsets. Hence

    the size of V+1is at least 1.

    25. It is interesting to note that a cardinal having property () will indeed turn upafter a sufficiently long climb, but such cardinals will not be large in the technicalsense. Te least such cardinal can be obtained by taking the supremum of the sequence0,1, 2, . . . defined by 0 = , n+1 = , where = n. On the other hand, if there isa sufficiently large cardinal (such as a measurable), nearly all cardinals below haveproperty ()!

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se

    44/128

    B O O K I L E

    152

    than mind is intellect; that which is beyond even the intellect is he.

    Bhagavad-Gita, 3.42

    Yato vho nivartante aprpya manas saha

    From where speech returns, even with the mind it is unapproachable.

    aittiriya Upanishad 2.4.1

    Another quality of the infinite which is embodied in inaccessible

    cardinals is indicated by property () above: if is inaccessible, it is itsown index, and hence in a sense is known and verified only at its ownlevel. Tis property of the infinite is brought out in (Maharishi, 1991b,p. 190) in comparing the field of pure consciousness with the structureof the unified field discovered by modern physics:

    Ultimately, because the unified field is completely holistic in its natureand interacts with itself alone, it can be verified only at its own self-referral level.

    We find the same theme expressed more succinctly in Maharishiscommentary to the Bhagavad-Gita(Maharishi 1967, p. 120):

    Realization is not something that comes from outside: it is the revela-tion of the Self, in the Self, by the Self.

    Adding large cardinals to set theory increases the power of the the-ory to decide a wide variety of mathematical questions and also servesto unify apparently antagonistic theories and views of foundations.

    When we speak of adding large cardinals to set theory, what we meanis adding a large cardinal axiom to the list of ZFC axioms. A largecardinal axiom is an assertion of the form A cardinal number havingproperty P exists, where property P is some combination of proper-ties which (consistently) imply (1) and (2) above. Adding to ZFC theaxiom Tere exists an inaccessible cardinal (known as the Axiom ofInaccessibility) tremendously increases the power of set theory; newand interesting results can be proven which could not be proven inZFC alone.

    Below we give the names of many of the better known large cardi-nals in increasing order of strength: For instance, adding the axiom

  • 8/12/2019 V Edic Wholenes s and the Mathemat Ica l u Ni v Er Se