Aggregative consequentialism and several other popular moral theories are threatened with paralysis: when coupled with some plausible assumptions, they seem to imply that it is always ethically indifferent what you do. Modern cosmology teaches that the world might well contain an infinite number of happy and sad people and other candidate value-bearing locations. Aggregative ethics implies that such a world contains an infinite amount of positive value and an infinite amount of negative value. You can (...) affect only a finite amount of good or bad. In standard cardinal arithmetic, an infinite quantity is unchanged by the addition or subtraction of any finite quantity. So it appears you cannot change the value of the world. Modifications of aggregationism aimed at resolving the paralysis are only partially effective and cause severe side effects, including problems of “fanaticism”, “distortion”, and erosion of the intuitions that originally motivated the theory. Is the infinitarian challenge fatal? (shrink)

Many have the intuition that human persons are both extremely and equally valuable. This seeming extremity and equality of vale is puzzling: if overall value is the sum of one’s final value and instrumental value, how could it be that persons share the same extreme value? One way that we can solve the Value Puzzle is by following Andrew Bailey and Josh Rasmussen. Philosophy and Phenomenological Research, 103, 264–277 (2020) and accepting that persons have infinite final value. But there (...) are some significant downsides to their way of thinking about values, which relies on the extended real numbers. We offer a different approach: if we model values using the hyperreal numbers, we can capture many of our intuitions about the extremity and relative equality of human value without incurring the substantial theoretical costs of using the extended real numbers. We also examine other ways of modeling the infinite value of persons and evaluate the strengths and weaknesses of these other accounts compared to ours. (shrink)

Once one accepts that certain things metaphysically depend upon, or are metaphysically explained by, other things, it is natural to begin to wonder whether these chains of dependence or explanation must come to an end. This essay surveys the work that has been done on this issue—the issue of grounding and infinite descent. I frame the discussion around two questions: (1) What is infinite descent of ground? and (2) Is infinite descent of ground possible? In addressing (...) the second question, I will consider a number of arguments that have been made for and against the possibility of infinite descent of ground. When relevant, I connect the discussion to two important views about the way reality can be structured by grounding: metaphysical foundationalism and metaphysical infinitism. (shrink)

We address the question of how finitely additive moral value theories (such as utilitarianism) should rank worlds when there are an infinite number of locations of value (people, times, etc.). In the finite case, finitely additive theories satisfy both Weak Pareto and a strong anonymity condition. In the infinite case, however, these two conditions are incompatible, and thus a question arises as to which of these two conditions should be rejected. In a recent contribution, Hamkins and Montero (2000) (...) have argued in favor of an anonymity-like isomorphism principle and against Weak Pareto. After casting doubt on their criticism of Weak Pareto, we show how it, in combination with certain other plausible principles, generates a plausible and fairly strong principle for the infinite case. We further show that where locations are the same in all worlds, but have no natural order, this principle turns out to be equivalent to a strengthening of a principle defended by Vallentyne and Kagan (1997), and also to a weakened version of the catching-up criterion developed by Atsumi (1965) and by von Weizsäcker (1965). Footnotes1 For valuable comments, we would like to thank Marc Fleurbaey, Bart Capéau, Joel Hamkins, Barbara Montero, Tim Mulgan, and two anonymous referees for this journal. (shrink)

It has been suggested that the measuring apparatus used to measure quantum systems ought to be idealized as consisting of an infinite number of quantum systems. Let us call this the infinity assumption. The suggestion that we ought to make the infinity assumption has been made in connection with two closely related but distinct problems. One is the problem of determining the importance of the limitations on measurement incorporated into the Wigner-Araki-Yanase quantum theory of measurement. The other is (...) the measurement problem. These problems are not internal to the quantum mechanical formalism. They arise when we obtain particular formal results in applying the quantum mechanical formalism to measurement interactions. The formal results are problematic because they resist explanation. Various authors have claimed that by making the infinity assumption we can neglect the limitations on measurement. Bub (1988) and (1989) claims it allows us to solve the measurement problem. I will argue that both claims are unjustified. (shrink)

The connection between the infinite nature of Quantum Cosmology and the infinite nature of God is presented here. At the beginning of the creation process, there was a single God/Void that was divided into many Gods/Voids all filled with Dark Energy consisting of photons which were responsible for creating the Multiverses made of matter, antimatter, space, time, charge, and multiple dimensions of space. The one God initially had no material existence which along with the laws of science was (...) a creation of the powers of His infinite mind. Since the process of creation started with the Dark Energy of the Voids, the Conservation of Energy Principle applied to all of them. If the Dark Energy of each Void were to be finite, then its energy would begin to decrease as Multiverses were created, and the only solution for not violating the Conservation of Energy Principle was that the Dark Energy of each of the Voids must be infinite implying that the Voids themselves must be infinite, and with infinite amount of energy be able to create an infinite number of Multiverses. According to Mathematics, all infinite numbers are not equal, some infinities are greater than other infinities. Hence of the many infinite Voids that were initially created, some Voids were greater than others. Each Void has a Supreme Leader that we refer to as God, and therefore there exist many Gods, some Gods more powerful than other Gods. (shrink)

Infinite time register machines (ITRMs) are register machines which act on natural numbers and which are allowed to run for arbitrarily many ordinal steps. Successor steps are determined by standard register machine commands. At limit times register contents are defined by appropriate limit operations. In this paper, we examine the ITRMs introduced by the third and fourth author (Koepke and Miller in Logic and Theory of Algorithms LNCS, pp. 306–315, 2008), where a register content at a limit time (...) is set to the lim inf of previous register contents if that limit is finite; otherwise the register is reset to 0. The theory of these machines has several similarities to the infinite time Turing machines (ITTMs) of Hamkins and Lewis. The machines can decide all ${\Pi^1_1}$ sets, yet are strictly weaker than ITTMs. As in the ITTM situation, we introduce a notion of ITRM-clockable ordinals corresponding to the running times of computations. These form a transitive initial segment of the ordinals. Furthermore we prove a Lost Melody theorem: there is a real r such that there is a program P that halts on the empty input for all oracle contents and outputs 1 iff the oracle number is r, but no program can decide for every natural number n whether or not ${n \in r}$ with the empty oracle. In an earlier paper, the third author considered another type of machines where registers were not reset at infinite lim inf’s and he called them infinite time register machines. Because the resetting machines correspond much better to ITTMs we hold that in future the resetting register machines should be called ITRMs. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Hume Studies Volume XX, Number 2, November 1994, pp. 219-240 Infinite Divisibility in Hume's First Enquiry DALE JACQUETTE The Limitations of Reason The arguments against infinite divisibility in the notes to Sections 124 and 125 of David Hume's Enquiry Concerning Human Understanding are presented as "sceptical" results about the limitations of reason. The metaphysics of infinite divisibility is introduced merely as a particular, though especially representative (...) problem, among several that Hume discusses. Hume first writes: The chief objection against all abstract reasonings is derived from the ideas of space and time; ideas, which, in common life and to a careless view, are very clear and intelligible, but when they pass through the scrutiny of the profound sciences (and they are the chief object of these sciences) afford principles, which seem full of absurdity and contradiction.1 There follows an intuitive appeal to the apparent incoherence of the consequences of infinite divisibility in the geometry of space and measurement of time. Hume enlists natural belief against the infinite divisibility thesis in the mathematics of extension: But what renders the matter more extraordinary, is, that these seemingly absurd opinions are supported by a chain of reasoning, the Dale Jacquette is at the Department of Philosophy, The Pennsylvania State University, 246 Sparks Building, University Park PA 16802 USA. e-mail: [email protected] 220 Dale Jacquette clearest and most natural; nor is it possible for us to allow the premises without admitting the consequences. Nothing can be more convincing and satisfactory than all the conclusions concerning the properties of circles and triangles; and yet, when these are once received, how can we deny, that the angle of contact between a circle and its tangent is infinitely less than any rectilinear angle, that as you may increase the diameter of the circle in infinitum, this angle of contact becomes still less, even in infinitum, and that the angle of contact between other curves and their tangents may be infinitely less than those between any circle and its tangent, and so on, in infinitum? The demonstration of these principles seems as unexceptionable as that which proves the three angles of a triangle to be equal to two right ones, though the latter opinion be natural and easy, and the former big with contradiction and absurdity. (EHU 156-157) The implied sense of contradiction is then extended by Hume to the problem of infinite divisibility in time. The absurdity of these bold determinations of the abstract sciences seems to become, if possible, still more palpable with regard to time than extension. An infinite number of real parts of time, passing in succession, and exhausted one after another, appears so evident a contradiction, that no man, one should think, whose judgment is not corrupted, instead of being improved, by the sciences, would ever be able to admit of it. (EHU 157) The contradictions involved in traditional concepts of extension and time demarcate the limits of which reason is capable. But Hume's answer is more complex than merely surrendering to skepticism over the prospects of reason achieving understanding in the metaphysics of space and time. He tries to show that what he calls "Pyrrhonian" skepticism is ultimately self-defeating in its application of reason against reason. In place of a negative conclusion, he offers another solution to the paradoxes of infinite divisibility. What is remarkable about Hume's pronouncements against the infinite divisibility of extension and time, that may signal a change in his methodology if not his overall position on divisibility in the Enquiry from that of A Treatise of Human Nature, is his straightforward claim that natural belief rebels against the concept of infinite divisibility as its consequences apply to the metric of space and time.2 As in the Treatise, Hume pits natural disbelief in infinite divisibility against abstract metaphysical reason. But in the Enquiry, he does not invoke reason merely to correct the excesses of natural belief for the skeptical deflation of natural belief, say, in the necessity of causal connection, or the existence of mind-independent continuants. On the contrary, Hume Studies Infinite Divisibility in Hume's First Enquiry 221 Hume here appears instead to invoke natural disbelief in... (shrink)

In this paper, I suggest that infinite numbers are large finite numbers, and that infinite numbers, properly understood, are 1) of the structure omega + (omega* + omega)Ө + omega*, and 2) the part is smaller than the whole. I present an explanation of these claims in terms of epistemic limitations. I then consider the importance, part of which is demonstrating the contradiction that lies at the heart of Cantorian set theory: the natural numbers (...) are too large to be counted by any finite number, but too small to be counted by any infinite number – there is no number of natural numbers. (shrink)

Infinite time Turing machines represent a model of computability that extends the operations of Turing machines to transfinite ordinal time by defining the content of each cell at limit steps to be the lim sup of the sequences of previous contents of that cell. In this paper, we study a computational model obtained by replacing the lim sup rule with an ‘eventually constant’ rule: at each limit step, the value of each cell is defined if and only if the (...) content of that cell has stabilized before that limit step and is then equal to this constant value. We call these machines weak infinite time Turing machines. We study different variants of wITTMs adding multiple tapes, heads, or bidimensional tapes. We show that some of these models are equivalent to each other concerning their computational strength. We show that wITTMs decide exactly the arithmetic relations on natural numbers. (shrink)

The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important changes have been required in philosophies of mathematics, in part because of Kurt Godel's epoch-making paper of 1931 which established the essential in completeness of arithmetic. In the (...) light of that finding, a number of the claims made in the book (and in the accompanying articles) are demon strably mistaken. Nevertheless, as a whole it retains much of its original interest and value. It presents the issues in the foundations of mathematics that were under debate when it was written (and in some cases still are);, and it offers one alternative to the currently dominant set-theoretical definitions of the cardinal numbers and other arithmetical concepts. While still a student at the University of Vienna, Felix Kaufmann was greatly impressed by the early philosophical writings (especially by the Logische Untersuchungen) of Edmund Husser!' He was never an uncritical disciple of Husserl, and he integrated into his mature philosophy ideas from a wide assortment of intellectual sources. But he thought of himself as a phenomenologist, and made frequent use in all his major publications of many of Husserl's logical and epistemological theses. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Bishop Berkeley Exorcises the Infinite: Fuzzy Consequences of Strict Finitism1 David M. Levy Introduction It all began simply enough when Molyneux asked the wonderful question whether a person born blind, now able to see, would recognize by sight what he knew by touch (Davis 1960). After George Berkeley elaborated an answer, that we learn to perceive by heuristics, the foundations ofcontemporarymathematics wereinruin. Contemporary mathematicians waved their hands and (...) changed the subject.2 Berkeley's answer received a much more positive response from economists. Adam Smith,in particular, seizedupon Berkeley's doctrine that welearn to perceive distance tobuild anelaborate system in which one learns to perceive one's self-interest.3 Perhaps because older histories of mathematics are a positive hindrance in helping us understand the importance of Berkeley's argument against infinitesimals,4 its consequences for economics have passed unnoticed. If infinitesimal numbers are ruled out, and we wish to maintain an algebra, then we rule out infinite numbers. This implication of Berkeley's argumenthas a dramatic implication for our understanding ofthe history ofideas about rule-directed action. Let me motivate this claim with a well-known historical problem. The social doctrine set forth by John Locke outside the Two Treatises depends critically upon individual belief about possible states of infinite pain or pleasure. The critical issue for the intolerance of atheism in Locke's system is his claim that without beUefin the infinite bliss of heaven forgone by a criminal, there is no reason to think a calculating individual will avoid crime.5 Locke's discussion is so different from the discussion of religion by David Hume and Smith. Here, questions of the substance of belief—the infinite worth of Heaven—have largely vanished.6 What happened between Locke and Hume-Smith? One answer is Pierre Bayle and Bernard Mandeville. Berkeley's doctrine that only the finite is perceived is, I think, a better answer. Out of sight, out ofmind. In this paper I propose to give a close look at the content and consequences ofBishop Berkeley's once famous Towards a New Theory ofVision. While there are other aspects ofBerkeley's work that attract Volume XVIII Number 2 511 DAVID M. LEVY attention from historians ofeconomics,7 1 shall claim that Berkeley's insight into human perception in the Theory of Vision is central to Adam Smith's attempt to found economic behaviour on the self-awareness of systematic illusion. There is no doubt that Smith finds that much ofhuman behaviour is characterized by illusion.8 The difficulty arises, or so it seems to me, from modern unwilUngness to beheve that illusion can be systematic. There are four pieces to my argument. First, we consider Berkeley's statementofwhat we shall call his doctrine ofstrict finitism in perception.9 Berkeley puts forward two postulates: 1) there exists some minimum perceptible quantity, and 2) distance is not perceived directly but by experience. Second, we define strict finitism and demonstrate that it translates into the claim that perception is fuzzy in a technical sense. If Berkeleian perception is fuzzy, then some modern criticism of Berkeley's strict finitism is based upon a simple misunderstandingofthe propertiesoffuzzyrelations. Thisis quite easy to set right. (Getting right the doctrine of those who implicitly take perception to be fuzzy—Adam Smith is my prime candidate—will be muchharder.)Third, wereconsiderBerkeley's dispute withMandeville on the role ofinfinite gain in choice. Here, we find Mandeville putting forward the Berkeleian position that if infinite amounts mattered, people would not behave as they do. Berkeley's position against Mandeville, however, seems to depend upon the supposition that infinite distance is sensible.10 Earlier, however, the position that Mandeville argued for was defended by Berkeley. Fourth, we ask why all this isn't well known. The debate between Berkeley and Mandeville has been well studied, as has been the link between Berkeley and the Scots. In fact, our work focuses on one aspect of Berkeley's work that led to his challenge of the contemporary foundations of the calculus. If sense is a matter of perception, and infinitesimals cannot be perceived, then they are quite literally nonsense. Armed with this insight, Berkeley refuted contemporary mathematics. Nevertheless, the calculus was too... (shrink)

This paper analyzes two different proposals, one by Ellis and Brundrit, based on classical relativistic cosmology, the other by Garriga and Vilenkin, based on the DH interpretation of quantum mechanics, both concluding that, in an infinite universe, planets and beings must be repeated an infinite number of times. We point to possible shortcomings in these arguments. We conclude that the idea of an infinite repetition of histories in space cannot be considered strictly speaking a consequence of (...) current physics and cosmology. Such ideas should be seen rather as examples of «ironic science» in the terminology of John Horgan. (shrink)

Almost more than any other sport, baseball has long attracted the interest of writers and intellectuals. Relatively few of them have been philosophers however. Alva Noe, a celebrated philosopher, here proposes to collect and rework his short articles and blog posts (many of which first appeared on npr.org) on baseball into a cohesive and accessible book that tries to tease out its deeper meanings - and to advance a view of what baseball ultimately is all about. A basic theme (...) will run through the book, which is that fundamentally baseball is concerned with questions of responsibility and liability - i.e. who gets credit or blame for a play. It is starting from this fundamental insight that Noe then ranges over diverse topics like the slowness of baseball and the virtues of boredom, why fans write down box scores, the meaning of the no-hitter, television replays, the aesthetics of ballparks, how we learn to 'see' baseball like we learn to look at art, the ethics of performance enhancing drugs, the nature of fandom, and reflections on rules and umpires. Noe's writing voice is informal and personal, and always puts the details of the sport before the ideas. Ultimately, his essays are part of a larger view of baseball as fundamentally a game about values - and not simply, as some would have it, a numbers game. (shrink)

Population ethics studies the tradeoff between the total number of people who will ever live, and their quality of life. But widely accepted theories in modern cosmology say that spacetime is probably infinite. In this case, its population is also probably infinite, so the quantity/quality tradeoff of population ethics is no longer meaningful. Instead, we face the problem of how to ethically evaluate an infinite population of people dispersed throughout time and space. I argue that axiologies based (...) on _spatiotemporal Cesàro average utility_ are the most appropriate way to make this evaluation, because their unique properties make them superior to other axiologies that have been proposed. (shrink)

A simultaneous collision that produces paradoxical indeterminism (involving N0 hypothetical particles in a classical three-dimensional Euclidean space) is described in Section 2. By showing that a similar paradox occurs with long-range forces between hypothetical particles, in Section 3, the underlying cause is seen to be that collections of such objects are assumed to have no intrinsic ordering. The resolution of allowing only finite numbers of particles is defended (as being the least ad hoc) by looking at both -sequences (in (...) the context of a very basic supertask, in Section 4) and *-sequences (reversed -sequences, in the form of paradoxical results from the recent literature). Introduction The simultaneous collision The paradox in other contexts The basic problem is N0 things The recent literature Generating N0 things. (shrink)

The great mathematician, physicist, and philosopher, Hermann Weyl, once called mathematics the “science of the infinite.” This is a fitting title: contemporary mathematics—especially Cantorian set theory—provides us with marvelous ways of taming and clarifying the infinite. Nonetheless, I believe that the epistemic significance of mathematical infinity remains poorly understood. This dissertation investigates the role of the infinite in three diverse areas of study: number theory, cosmology, and probability theory. A discovery that emerges from my work is that (...) the epistemic role of the infinite varies, often in surprising ways, across different domains of knowledge. -/- My first chapter examines the role of mathematical infinity in number theory. It is reasonable to think that theorems concerning finite patterns and structures in the natural numbers are particularly “simple” or “elementary.” Indeed, such statements are comprehensible to a wide range of investigators, regardless of their mathematical training. One might then expect proofs of these theorems to be similarly comprehensible. However, many proofs, especially those that utilize only finitary methods, are exceedingly difficult to understand. Consequently, one finds that finitary theorems are often re-proved using infinitary techniques. My claim is that this is because infinitary proofs are often explanatory, while finitary proofs are not. This chapter analyzes why this is the case. Along the way, I investigate other questions of long-standing interest in the philosophy of mathematics, e.g., the role of purity/impurity ascriptions and the nature of the content of a theorem. In particular, I diagnose the explanatory potential of the infinite by articulating a new construal of content. This new construal both saves intuitive epistemic ascriptions made in mathematical practice and explains the unexpected role of the infinite in providing explanatory proofs of finitary statements. Thus, in number theory, my claim is that the infinite often plays an explanatory role. -/- My second chapter turns to the role of the infinite in cosmology. It investigates a question much discussed by philosophers and physicists alike: is the spatial extent of the universe finite or infinite? Contemporary cosmological research has indicated that one of the essential determinants of the extent of the universe is the topology we ascribe to space. Topology is a global property, which may suggest that it is not testable through local observation. Nonetheless, some cosmologists have indicated that it may be empirically detected, thereby providing an answer to the question of spatial extent. I argue that, in fact, the epistemic status of the topology of space is extremely subtle and not well captured by any of the categories commonly employed by philosophers of science. In particular, I argue that topological properties are neither empirical nor a priori (even in suitably weakened senses). Furthermore, I claim that we should prefer topological properties that generate finite universe models (consistent with our best data) in order to avoid extremely thorny issues concerning the physics of an infinite universe. I argue for such a preference on the grounds of the simplicity and explanatory power of finite universe models. Thus, in cosmology, my claim is that the finite often plays an explanatory and simplifying role. -/- My third chapter investigates several paradoxes that arise in the foundations of infinitary probability theory: the Label Invariance Paradox, God’s Lottery, and Bertrand’s Paradox. I argue that these have been poorly understood because they do not expressly concern probability theory, but rather our intuitions about—and formal techniques for dealing with— infinite sets. The paradoxes in question are, in fact, symptoms of our complete reliance upon Cantorian cardinality and its associated criterion of sameness of “size.” That is, two sets have the same cardinality if and only if the elements of the sets can be placed in 1-1 correspondence. When applied to infinite sets, this criterion produces counterintuitive verdicts. For instance, given a fair lottery on the natural numbers, we expect that the probability of drawing an even number is 1/2, and likewise for drawing an odd number. However, one can construct “relabellings” of the naturals such that the probability of drawing an even number remains 1/2, while the probability for drawing an odd number becomes 1/4. I argue that, ultimately, it is the coarseness of Cantorian cardinality that generates the probabilistic paradoxes. I then propose that finer-grained measures of infinite sets from mathematical logic and number theory can help to dissolve the paradoxes in question. Thus, in probability theory, we find that particular kinds of infinitary techniques effectively systematize our theory, while others lead to paradox. (shrink)

Limitwise monotonic sets and functions constitute an important tool in computable structure theory. We investigate limitwise monotonic numberings. A numbering ν of a family is limitwise monotonic (l.m.) if every set is the range of a limitwise monotonic function, uniformly in k. The set of all l.m. numberings of S induces the Rogers semilattice. The semilattices exhibit a peculiar behavior, which puts them in‐between the classical Rogers semilattices (for computable families) and Rogers semilattices of ‐computable families. We show that every (...) Rogers semilattice of a ‐computable family is isomorphic to some semilattice. On the other hand, there are infinitely many isomorphism types of classical Rogers semilattices which can be realized as semilattices. In particular, there is an l.m. family S such that is isomorphic to the upper semilattice of c.e. m‐degrees. We prove that if an l.m. family S contains more than one element, then the poset is infinite, and it is not a lattice. The l.m. numberings form an ideal (w.r.t. reducibility between numberings) inside the class of all ‐computable numberings. We prove that inside this class, the index set of l.m. numberings is ‐complete. (shrink)

Linnebo in 2018 argues that abstract objects like numbers are “thin” because they are only required to be referents of singular terms in abstraction principles, such as Hume's principle. As the specification of existence claims made by analytic truths (the abstraction principles), their existence does not make any substantial demands of the world; however, as Linnebo notes, there is a potential counter-argument concerning infinite regress against introducing objects this way. Against this, he argues that vicious regress is avoided (...) in the account of arithmetic based on Hume's principle because we are specifying numbers in terms of the concept of equinumerosity, or its ordinal equivalent. But far from being only a matter for philosophy, this implies a distinct empirical prediction: in cognitive development, the principle of equinumerosity is primary to number concepts. However, by analysing and expanding on the bootstrapping theory of Carey in 2009, I argue in this paper that there are good reasons to think that the development could be the other way around: possessing numerosity concepts may precede grasping the principle of equinumerosity. I propose that this analysis of early numerical cognition can also help us understand what numbers as thin objects are like, moving away from Platonist interpretations. (shrink)

Abstract Though it has been claimed that Frege's commitment to expressions in indirect contexts not having their customary senses commits him to an infinite number of semantic primitives, Terrence Parsons has argued that Frege's explicit commitments are compatible with a two-level theory of senses. In this paper, we argue Frege is committed to some principles Parsons has overlooked, and, from these and other principles to which Frege is committed, give a proof that he is indeed committed to an (...) infinite number of semantic primitives?an intolerable result. (shrink)

The theoretical availability of an infinite number of contract types suggests that there may be an optimal quantity from which contractual parties could make a selection. In this Article, we emphasize the difficulty of identifying that optimal number, given information costs and other transaction costs related to the production of a contract type. We argue that standard market failures might cause markets to produce a suboptimal number of contract types. We then consider whether government should intervene to remedy (...) any market failure. We conclude that government would generally lack the access to information necessary to identify the optimal number of contract types. Moreover, we argue that issues of political economy would impede the ability of government to achieve the optimal number of contract types, even if it were able to identify that number. Government, that is, may tend to either oversupply or undersupply contract types. Perhaps the best that government can do is to provide “soft” interventions that reflect appropriate defaults or safe harbors. (shrink)

Iterability, the repetition which alters the idealization it reproduces, is the engine of deconstructive movement. The fact that all experience is transformative-dissimulative in its essence does not, however, mean that the momentum of change is the same for all situations. Derrida adapts Husserl's distinction between a bound and a free ideality to draw up a contrast between mechanical mathematical calculation, whose in-principle infinite enumerability is supposedly meaningless, empty of content, and therefore not in itself subject to alteration through contextual (...) change, and idealities such as spoken or written language which are directly animated by a meaning-to-say and are thus immediately affected by context. Derrida associates the dangers of cultural stagnation, paralysis and irresponsibility with the emptiness of programmatic, mechanical, formulaic thinking. This paper endeavors to show that enumerative calculation is not context-independent in itself but is instead immediately infused with alteration, thereby making incoherent Derrida's claim to distinguish between a free and bound ideality. Along with the presumed formal basis of numeric infinitization, Derrida's non-dialectical distinction between forms of mechanical or programmatic thinking (the Same) and truly inventive experience (the absolute Other) loses its justification. In the place of a distinction between bound and free idealities is proposed a distinction between two poles of novelty; the first form of novel experience would be characterized by affectivites of unintelligibility , confusion and vacuity, and the second by affectivities of anticipatory continuity and intimacy. (shrink)

This paper proposes an extension of Chaitin's halting probability Ω to a measurement operator in an infinite dimensional quantum system. Chaitin's Ω is defined as the probability that the universal self-delimiting Turing machine U halts, and plays a central role in the development of algorithmic information theory. In the theory, there are two equivalent ways to define the program-size complexity H of a given finite binary string s. In the standard way, H is defined as the length of the (...) shortest input string for U to output s. In the other way, the so-called universal probability m is introduced first, and then H is defined as –log2m without reference to the concept of program-size.Mathematically, the statistics of outcomes in a quantum measurement are described by a positive operator-valued measure in the most general setting. Based on the theory of computability structures on a Banach space developed by Pour-El and Richards, we extend the universal probability to an analogue of POVM in an infinite dimensional quantum system, called a universal semi-POVM. We also give another characterization of Chaitin's Ω numbers by universal probabilities. Then, based on this characterization, we propose to define an extension of Ω as a sum of the POVM elements of a universal semi-POVM. The validity of this definition is discussed.In what follows, we introduce an operator version equation image of H in a Hilbert space of infinite dimension using a universal semi-POVM, and study its properties. (shrink)

In ‘The Train Paradox’, I argued that sequential random selections from the natural numbers would grow through time. I used this claim to present a paradox. In response to this proposed paradox, Jon Pérez Laraudogoitia has argued that random selections from the natural numbers do not grow through time. In this paper, I defend and expand on the argument that random selections from the natural numbers grow through time. I also situate this growth of random selections in (...) the context of my overall work on infinite number, which involves two main claims: 1) infinite numbers, properly understood, are the infinite natural numbers in a nonstandard model of the reals, and 2) ω is potentially infinite. (shrink)

Cet essai cherche à faire de la complémentarité entre énergie-idée, structure et fonction, et autres couples de concepts, la base d'une nouvelle ontologie qui puisse résoudre les conflits entre les pôles de description « mental » et « physique », entre la vérité mathématique et la vérité empirique et entre la mécanique quantique et la théorie de la relativité comme formes rivales d'explication scientifique. L'auteur y plaide en faveur de la fermeture déductive de l'univers à la lumière de la relation (...) logique entre le nombre et l'alphabet . Il y présente la réalité et l'autonomie conceptuelle des idées comme une alternative au platonisme et à d'autres idéologies. Il dispose de fausses interprétations, malentendus, et objections au moyen du dialogue.Conjugacy between energy-idea, structure and function, and other concept pairs is made the basis for a new ontology which resolves the conflicts between "mental" and "physical" poles of description, between mathematical and empirical truth, and between quantum mechanics and relativity theory as rival forms of scientific explanation. The deductive closure of the universe is argued for, in light of the logical connection between number and the alphabet . The reality and the conceptual autonomy of ideas are presented as an alternative to Platonism and other ideologies. Mistaken interpretations, misunderstandings and objections are handled through the medium of dialogue. (shrink)

Originally published in 1995, Creation-Evolution Debates is the second volume in the series, Creationism in Twentieth Century America, reissued in 2021. The volume comprises eight debates from the early 1920s and 1930s between prominent evolutionists and creationists of the time. The original sources detail debates that took place either orally or in print, as well as active debates between creationists over the true meaning of Genesis I. The essays in this volume feature prominent discussions between the likes of Edwin Grant (...) Conklin, Henry Fairfield Osbourne and William Jennings Bryan, John Roach Francis and Charles Francis Potter, George McCready Price and Joseph McCabe and William Bell Riley versus Charles Smith, amongst many others. The collection will be of especial interest to natural historians, and theologians as well as academics of philosophy, and history. (shrink)

Periodic systems are considered whose increments in quantum energy grow with quantum number. In the limit of large quantum number, systems are found to give correspondence in form between classical and quantum frequency-energy dependences. Solely passing to large quantum numbers, however, does not guarantee the classical spectrum. For the examples cited, successive quantum frequencies remain separated by the incrementhI −1, whereI is independent of quantum number. Frequency correspondence follows in Planck's limit,h → 0. The first example is that of (...) a particle in a cubical box with impenetrable walls. The quantum emission spectrum is found to be uniformly discrete over the whole frequency range. This quality holds in the limitn → ∞. The discrete spectrum due to transitions in the high-quantum-number bound states of a particle in a box with penetrable walls is shown to grow uniformly discrete in the limit that the well becomes infinitely deep. For the infinitely deep spherical well, on the other hand, correspondence is found to be obeyed both in emission and configuration. In all cases studied the classical ensemble gives a continuum of frequencies. (shrink)

Like other English-speaking peoples around the world, New Zealanders began debating Darwinism in the early 1860s, shortly after the publication of Charles Darwin's Origin of Species. Despite the opposition of some religious and political leaders – and even the odd scientist – biological evolution made deep inroads in a culture that increasingly identified itself as secular. The introduction of pro-evolution curricula and radio broadcasts provoked occasional antievolution outbursts, but creationism remained more an object of ridicule than a threat until (...) the last decades of the twentieth century, when first American and then Australian creationists began fomenting antievolutionism among New Zealanders. Although Stephen Jay Gould assured them in 1986 that they had little to fear from so-called scientific creationism, because it was a ‘peculiarly American’ phenomenon, scientific creationism by the mid-1990s had captured the allegiance of an estimated five per cent of the country and proved especially attractive to Maori and Pacific Islanders. In 1992 New Zealand creationists formed their own antievolution society, Creation Science. (shrink)

On September 6, 2004, using the Isabelle proof assistant, I verified the following statement: (%x. pi x * ln (real x) / (real x)) ----> 1 The system thereby confirmed that the prime number theorem is a consequence of the axioms of higher-order logic together with an axiom asserting the existence of an infinite set. All told, our number theory session, including the proof of the prime number theorem and supporting libraries, constitutes 673 pages of proof scripts, or roughly (...) 30,000 lines. This count includes about 65 pages of elementary number theory that we had at the outset, developed by Larry Paulson and others; also about 50 pages devoted to a proof of the law of quadratic reciprocity and properties of Euler’s ϕ function, neither of which are used in the proof of the prime number theorem. The page count does not include the basic HOL library, or properties of the real numbers that we obtained from the HOL-Complex library. (shrink)

This article furnishes a systematisation of the Mediaval aesthetic vocabulary. This task is developed by means of the adoption of a dynamic of intersection among the various Aristotelic species qualitatis, which are taken as the basic structural elements of the requested system. Two versions of beauty are established, which will expand into two kinds of aesthetics, one leaded by pulchritudo, with intellectualistic implications and the other leaded by formositas, which will turn into an autonomus aesthetics; both of them have (...) let a strong legacy to contemporaneus aesthetics. (shrink)

This paper studies the implication of channel discrepancy between the retail and direct channels in a dual-channel supply chain consisting of one common retailer and two manufacturers in which the manufacturers may have different market powers. Each manufacturer provides a substitutable product and opens an online channel to customers directly. We develop an analytical model to derive the optimal pricing strategies by using game theory and the backward induction method, and we examine related properties under three market power structures while (...) considering channel discrepancy, including the Nash equilibrium, the Manufacturers leader Stackelberg, and the M1 leader Stackelberg models. Numerical simulations are examined to reveal and verify the effect of channel discrepancy on optimal prices, demands, and profits. We find that a higher level of channel discrepancy induces higher prices, demands, and profits for each member in both channels, while this kind of stimulating impact for the leader manufacturer who obtains a higher level of channel discrepancy will be more significant than it is for the other members in the three models. In addition, the profit of the supply chain in the N model is always higher than it is in the MS model, while it may be higher or lower than it is in the M1S model depending on the level of channel discrepancy. (shrink)

Historians of modern medicine often divide their subject into two parts, separated by the bacteriological revolution of the late nineteenth century, when medicine supposedly became 'scientific' for the first time. The history of medical geography - to say nothing of other subjects - calls this common view into question. At least in the United States, students of medical geography, arguably the pre-eminent medical science in an age dominated by miasmatic theories of disease, readily adapted to the discovery of germs. (...) And although bacteriology quickly eclipsed medical geography in the world of medicine, place remained an important consideration in treating asthma (and allergies generally) throughout the post-bacteriological period. (shrink)

Vehicle type recognition algorithms are broadly used in intelligent transportation, but the accuracy of the algorithms cannot meet the requirements of production application. For the high efficiency of the multilayer perceptive layer of Network in Network, the nonlinear features of local receptive field images can be extracted. Global average pooling can avoid the network from overfitting, and small convolution kernel can decrease the dimensionality of the feature map, as well as downregulate the number of model training parameters. On that basis, (...) the residual error is adopted to build a novel NIN model by altering the size and layout of the original convolution kernel of NIN. The feasibility of the algorithm is verified based on the Stanford Cars dataset. By properly setting weights and learning rates, the accuracy of the NIN model for vehicle type recognition reaches 97.2%. (shrink)

We examine how degrees of computably enumerable equivalence relations under computable reduction break down into isomorphism classes. Two ceers are isomorphic if there is a computable permutation of ω which reduces one to the other. As a method of focusing on nontrivial differences in isomorphism classes, we give special attention to weakly precomplete ceers. For any degree, we consider the number of isomorphism types contained in the degree and the number of isomorphism types of weakly precomplete ceers contained in (...) the degree. We show that the number of isomorphism types must be 1 or ω, and it is 1 if and only if the ceer is self-full and has no computable classes. On the other hand, we show that the number of isomorphism types of weakly precomplete ceers contained in the degree can be any member of $[0,\omega ]$. In fact, for any $n \in [0,\omega ]$, there is a degree d and weakly precomplete ceers ${E_1}, \ldots,{E_n}$ in d so that any ceer R in d is isomorphic to ${E_i} \oplus D$ for some $i \le n$ and D a ceer with domain either finite or ω comprised of finitely many computable classes. Thus, up to a trivial equivalence, the degree d splits into exactly n classes.We conclude by answering some lingering open questions from the literature: Gao and Gerdes [11] define the collection of essentially FC ceers to be those which are reducible to a ceer all of whose classes are finite. They show that the index set of essentially FC ceers is ${\rm{\Pi }}_3^0$-hard, though the definition is ${\rm{\Sigma }}_4^0$. We close the gap by showing that the index set is ${\rm{\Sigma }}_4^0$-complete. They also use index sets to show that there is a ceer all of whose classes are computable, but which is not essentially FC, and they ask for an explicit construction, which we provide.Andrews and Sorbi [4] examined strong minimal covers of downwards-closed sets of degrees of ceers. We show that if $\left$ is a uniform c.e. sequence of non universal ceers, then $\left\{ {{ \oplus _{i \le j}}{E_i}|j \in \omega } \right\}$ has infinitely many incomparable strong minimal covers, which we use to answer some open questions from [4].Lastly, we show that there exists an infinite antichain of weakly precomplete ceers. (shrink)

This paper provides the first examples of rings of algebraic numbers containing the rings of algebraic integers of the infinite algebraic extensions of where Hilbert's Tenth Problem is undecidable.

We show that the number of types of sequences of tuples of a fixed length can be calculated from the number of 1-types and the length of the sequences. Specifically, if κ≤λ, then sup ‖M‖=λ|Sκ|=|)κ. We show that this holds for any abstract elementary class with λ-amalgamation. No such calculation is possible for nonalgebraic types. However, we introduce a subclass of nonalgebraic types for which the same upper bound holds.

Anyone who has pondered the limitlessness of space and time, or the endlessness of numbers, or the perfection of God will recognize the special fascination of this question. Adrian Moore's historical study of the infinite covers all its aspects, from the mathematical to the mystical.

Marxist critique of the Advaita school of Hindu philosophy as propounded by Śaṅkarācārya; contributed articles by E.M.S. Namboodiripad and others from Kerala; includes counter views.

The paper is concerned with the old conjecture that there are infinitely many Mersenne primes. It is shown in the work that this conjecture is true in the standard model of arithmetic. The proof refers to the general approach to first–order logic based on Rasiowa-Sikorski Lemma and the derived notion of a Rasiowa–Sikorski set. This approach was developed in the papers [ 2 – 4 ]. This work is a companion piece to [ 4 ].

Suppose you found that the universe around you was infinite—that it extended infinitely far in space or in time and, as a result, contained infinitely many persons. How should this change your moral decision-making? Radically, it seems, according to some philosophers. According to various recent arguments, any moral theory that is ’minimally aggregative’ will deliver absurd judgements in practice if the universe is (even remotely likely to be) infinite. This seems like sound justification for abandoning any such theory. (...) -/- My goal in this thesis is simple: to demonstrate that we need not abandon minimally aggregative theories, even if we happen to live in an infinite universe. I develop and motivate an extension of such theories, which delivers plausible judgements in a range of realistic cases. I show that this extended theory can overcome key objections—both old and new—and that it succeeds where other proposals do not. With this proposal in hand, we can indeed retain minimally aggregative theories and continue to make moral decisions based on what will promote the good. (shrink)

Discussion of the “problem of numbers” in morality has focused almost exclusively on the moral significance of numbers in whom-to-rescue cases: when you can save either of two groups of people, but not both, does the number of people in each group matter morally? I suggest that insufficient attention has been paid to the moral significance of numbers in other types of case. According to common-sense morality, numbers make a difference in cases, like the famous (...) Trolley Case, where we must choose whether to kill a person (or persons) as a side effect of saving a greater number. I argue that recognition of the role of numbers in killing cases forces us to reassess purported solutions to the problem of numbers. (shrink)

By around the age of 5½, many children in the United States judge that numbers never end, and that it is always possible to add 1 to a set. These same children also generally perform well when asked to label the quantity of a set after one object is added (e.g., judging that a set labeled “five” should now be “six”). These findings suggest that children have implicit knowledge of the “successor function”: Every natural number, n, has a successor, (...) n + 1. Here, we explored how children discover this recursive function, and whether it might be related to discovering productive morphological rules that govern language‐specific counting routines (e.g., the rules in English that represent base‐10 structure). We tested 4‐ and 5‐year‐old children’s knowledge of counting with three tasks, which we then related to (a) children’s belief that 1 can always be added to any number (the successor function) and (b) their belief that numbers never end (infinity). Children who exhibited knowledge of a productive counting rule were significantly more likely to believe that numbers are infinite (i.e., there is no largest number), though such counting knowledge was not directly linked to knowledge of the successor function, per se. Also, our findings suggest that children as young as 4 years of age are able to implement rules defined over their verbal count list to generate number words beyond their spontaneous counting range, an insight which may support reasoning over their acquired verbal count sequence to infer that numbers never end. (shrink)

The different behaviour of total and partial numberings with respect to the reducibility preorder is investigated. Partial numberings appear quite naturally in computability studies for topological spaces. The degrees of partial numberings form a distributive lattice which in the case of an infinite numbered set is neither complete nor contains a least element. Friedberg numberings are no longer minimal in this situation. Indeed, there is an infinite descending chain of non-equivalent Friedberg numberings below every given numbering, as well (...) as an uncountable antichain. (shrink)

The purpose of this note is to contrast a Cantorian outlook with a non-Cantorian one and to present a picture that provides support for the latter. In particular, I suggest that: i) infinite hyperreal numbers are the (actual, determined) infinite numbers, ii) ω is merely potentially infinite, and iii) infinitesimals should not be used in the di Finetti lottery. Though most Cantorians will likely maintain a Cantorian outlook, the picture is meant to motivate the obvious (...) nature of the non-Cantorian outlook. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian (...) “infinite book copies” objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

In this study, we propose a new direction of research on the axiomatic analysis of approval voting, which is a common democratic decision method. Its novelty is to examine an infinite population setting, which includes an application to intergenerational problems. In particular, we assume that the set of the population is countably infinite. We provide several extensions of the method of approval voting for this setting. As our main result, axiomatic characterizations of the extensions are offered by revealing (...) a direct link between approval voting and the Borda rule. The characterized methods are natural extensions of the standard approval voting method for the finite-population case and are regarded as minimum requirements for other possible infinite-population extensions, which are reasonably democratic. (shrink)

Our relationship to the infinite is controversial. But it is widely agreed that our powers of reasoning are finite. I disagree with this consensus; I think that we can, and perhaps do, engage in infinite reasoning. Many think it is just obvious that we can't reason infinitely. This is mistaken. Infinite reasoning does not require constructing infinitely long proofs, nor would it gift us with non-recursive mental powers. To reason infinitely we only need an ability to perform (...) infinite inferences. I argue that we have this ability. My argument looks to our best current theories of inference and considers examples of apparent infinite reasoning. My position is controversial, but if I'm right, our theories of truth, mathematics, and beyond could be transformed. And even if I'm wrong, a more careful consideration of infinite reasoning can only deepen our understanding of thinking and reasoning. -/- (Note for readers: the paper's brief discussion of uniform reflection and omega inconsistency is misleading. The imagined interlocutor's argument makes an assumption about the PA-provability of provability generalizations that, while true for the Godel sentence's instances, is unjustified, in general. This means my position is stronger against this objection than the paper suggests, since omega inconsistent theories are not automatically inconsistent with their uniform reflection principles, you also need to assume the arithmetically true Pi-2 sentences.). (shrink)

Combining historical fact with a retelling of ancient myths and legends, Alistair Wilson shows how mathematics arose out of the problems of everyday life. He introduces concepts such as geometry, prime numbers, and trigonometry in a way that will totally disarm the reader who fears mathematics.

In a fair, infinite lottery, it is possible to conclude that drawing a number divisible by four is strictly less likely than drawing an even number; and, with apparently equal cogency, that drawing a number divisible by four is equally as likely as drawing an even number.