A supertask consists in the performance of an infinite number of actions in a finite time. I show that any attempt to carry out a supertask will produce a divergence of the curvature of spacetime, resulting in the formation of a black hole. I maintain that supertaks, contrarily to a popular view among philosophers, are physically impossible. Supertasks, literally, collapse under their own weight.

A number of philosophers have attempted to solve the problem of null-probability possible events in Bayesian epistemology by proposing that there are infinitesimal probabilities. Hájek and Easwaran have argued that because there is no way to specify a particular hyperreal extension of the real numbers, solutions to the regularity problem involving infinitesimals, or at least hyperreal infinitesimals, involve an unsatisfactory ineffability or arbitrariness. The arguments depend on the alleged impossibility of picking out a particular hyperreal extension of the real numbers (...) and/or of a particular value within such an extension due to the use of the Axiom of Choice. However, it is false that the Axiom of Choice precludes a specification of a hyperreal extension—such an extension can indeed be specified. Moreover, for all we know, it is possible to explicitly specify particular infinitesimals within such an extension. Nonetheless, I prove that because any regular probability measure that has infinitesimal values can be replaced by one that has all the same intuitive features but other infinitesimal values, the heart of the arbitrariness objection remains. (shrink)

Various arguments have been put forward to show that Zeno-like paradoxes are still with us. A particularly interesting one involves a cube composed of colored slabs that geometrically decrease in thickness. We first point out that this argument has already been nullified by Paul Benacerraf. Then we show that nevertheless a further problem remains, one that withstands Benacerraf’s critique. We explain that the new problem is isomorphic to two other Zeno-like predicaments: a problem described by Alper and Bridger in 1998 (...) and a modified version of the problem that Benardete introduced in 1964. Finally, we present a solution to the three isomorphic problems. (shrink)

The majority of disucssions of Benardete’s Paradox conclude that the traveller approaching the infinite series of gods will be mysteriously halted despite none of the gods erecting any barriers. Using a revision-theoretic analysis of Benardete’s puzzle, four distinct possible outcomes that might occur given Benardete’s set-up are distinguished. This analysis provides additional insight into the puzzle at hand, via identifying heretofore unnoticed possible outcomes, but it also serves as an example of how the revision theoretic framework can be used to (...) construct exhaustive taxonomies of potential outcomes in apparently contradictory situations. (shrink)

Various arguments have been put forward to show that Zeno-like paradoxes are still with us. A particularly interesting one involves a cube composed of colored slabs that geometrically decrease in thickness. We first point out that this argument has already been nullified by Paul Benacerraf. Then we show that nevertheless a further problem remains, one that withstands Benacerraf s critique. We explain that the new problem is isomorphic to two other Zeno-like predicaments: a problem described by Alper and Bridger in (...) 1998 and a modified version of the problem that Benardete introduced in 1964. Finally, we present a solution to the three isomorphic problems. (shrink)

What is the source of logical and mathematical truth? This book revitalizes conventionalism as an answer to this question. Conventionalism takes logical and mathematical truth to have their source in linguistic conventions. This was an extremely popular view in the early 20th century, but it was never worked out in detail and is now almost universally rejected in mainstream philosophical circles. Shadows of Syntax is the first book-length treatment and defense of a combined conventionalist theory of logic and mathematics. It (...) argues that our conventions, in the form of syntactic rules of language use, are perfectly suited to explain the truth, necessity, and a priority of logical and mathematical claims, as well as our logical and mathematical knowledge. (shrink)

The book discusses the structure, content, and evaluation of cosmological arguments. The introductory chapter investigates features essential to cosmological arguments. Traditionally, cosmological arguments are distinguished by their appeal to change, causation, contingency or objective becoming in the world. But none of these is in fact essential to the formulation of cosmological arguments. Chapters 1-3 present a critical discussion of traditional Thomistic, Kalam, and Leibnizian cosmological arguments, noting various advantages and disadvantages of these approaches. Chapter 4 offers an entirely new approach (...) to the cosmological argument - the approach of theistic modal realism. The proper explananda of cosmological arguments on this approach is not change, causation, contingency or objective becoming in the world. The proper explananda is the totality of metaphysical reality - all actualia and all possibilia. The result is the most compelling and least objectionable version of the cosmological argument. (shrink)

Approaching Infinity addresses seventeen paradoxes of the infinite, most of which have no generally accepted solutions. The book addresses these paradoxes using a new theory of infinity, which entails that an infinite series is uncompletable when it requires something to possess an infinite intensive magnitude. Along the way, the author addresses the nature of numbers, sets, geometric points, and related matters. The book addresses the need for a theory of infinity, and reviews both old and new theories of infinity. It (...) discussing the purposes of studying infinity and the troubles with traditional approaches to the problem, and concludes by offering a solution to some existing paradoxes. (shrink)

In “Truth by Convention” W.V. Quine gave an influential argument against logical conventionalism. Even today his argument is often taken to decisively refute logical conventionalism. Here I break Quine’s arguments into two— the super-task argument and the regress argument—and argue that while these arguments together refute implausible explicit versions of conventionalism, they cannot be successfully mounted against a more plausible implicit version of conventionalism. Unlike some of his modern followers, Quine himself recognized this, but argued that implicit conventionalism was explanatorily (...) idle. Against this I show that pace Quine’s claim that implicit conventionalism has no content beyond the claim that logic is firmly accepted, implicit rules of inference can be used to distinguish the firmly accepted from the conventional. As part of my case, I argue that positing syntactic rules of inference as part of our linguistic competence follows from the same methodology that leads contemporary linguists and cognitive scientists to posit rules of phonology, morphology, and grammar. The upshot of my discussion is a diagnosis of the fallacy in Quine’s master critique of logical conventionalism and a re-opening of possibilities for an attractive conventionalist theory of logic. (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)

A paradox is usually described as an apparently false statement supported by an apparently good argument which departs from premises that most people would find trivially true. This survey article presents a brief overview of three different contemporary perspectives on paradoxes. According to the epistemic view, paradoxes play a crucial role in the progress of science and cannot be regarded as sound proofs of a false statement. According to the dialetheist view, the conclusion of some paradoxical reasonings is both, true (...) and false, what means that there must be some true contradictions. Finally, the mystic view understands recalcitrant paradoxes as unsolvable problems which show the limits of human thought and cognition. The last section of this paper focuses on the paradoxes of self-reference, a family of paradoxes which have had a deep impact in the development of science during the twentieth century. Keywords: paradox, veridic paradox, falsidic paradox, antinomy, dialetheism, selfreference, circularity, inclosure schema. (shrink)

Inasmuch as physical theories are formalizable, set theory provides a framework for theoretical physics. Four speculations about the relevance of set theoretical modeling for physics are presented: the role of transcendental set theory (i) in chaos theory, (ii) for paradoxical decompositions of solid three-dimensional objects, (iii) in the theory of effective computability (Church-Turing thesis) related to the possible “solution of supertasks,” and (iv) for weak solutions. Several approaches to set theory and their advantages and disadvatages for physical applications are discussed: (...) Canlorian “naive” (i.e., nonaxiomatic) set theory, contructivism, and operationalism. In the author's opinion, an attitude of “suspended attention” (a term borrowed from psychoanalysis) seems most promising for progress. Physical and set theoretical entities must be operationalized wherever possible. At the same time, physicists should be open to “bizarre” or “mindboggling” new formalisms, which need not be operationalizable or testable at the lime of their creation, but which may successfully lead to novel fields of phenomenology and technology. (shrink)

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There (...) are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds. (shrink)

Does Nature permit the implementation of behaviours that cannot be simulated computationally? We consider the meaning of physical computation in some detail, and present arguments in favour of physical hypercomputation: for example, modern scientific method does not allow the specification of any experiment capable of refuting hypercomputation. We consider the implications of relativistic algorithms capable of solving the (Turing) Halting Problem. We also reject as a fallacy the argument that hypercomputation has no relevance because non-computable values are indistinguishable from sufficiently (...) close computable approximations. In addition to considering the nature of computability relative to any given physical theory, we can consider the relationship between versions of computability corresponding to different models of physics. Deutsch and Penrose have argued on mathematical grounds that quantum computation and Turing computation have equivalent formal power. We suggest this equivalence is invalid when considered from the physical point of view, by highlighting a quantum computational behaviour that cannot meaningfully be considered feasible in the classical universe. (shrink)

In this paper I present a novel supertask in a Newtonian universe that destroys and creates infinite masses and energies, showing thereby that we can have infinite indeterminism. Previous supertasks have managed only to destroy or create finite masses and energies, thereby giving cases of only finite indeterminism. In the Nothing from Infinity paradox we will see an infinitude of finite masses and an infinitude of energy disappear entirely, and do so despite the conservation of energy in all collisions. I (...) then show how this leads to the Infinity from Nothing paradox, in which we have the spontaneous eruption of infinite mass and energy out of nothing. I conclude by showing how our supertask models at least something of an old conundrum, the question of what happens when the immovable object meets the irresistible force. (shrink)

This paper considers non-standard analysis and a recently introduced computational methodology based on the notion of ①. The latter approach was developed with the intention to allow one to work with infinities and infinitesimals numerically in a unique computational framework and in all the situations requiring these notions. Non-standard analysis is a classical purely symbolic technique that works with ultrafilters, external and internal sets, standard and non-standard numbers, etc. In its turn, the ①-based methodology does not use any of these (...) notions and proposes a more physical treatment of mathematical objects separating the objects from tools used to study them. It both offers a possibility to create new numerical methods using infinities and infinitesimals in floating-point computations and allows one to study certain mathematical objects dealing with infinity more accurately than it is done traditionally. In these notes, we explain that even though both methodologies deal with infinities and infinitesimals, they are independent and represent two different philosophies of Mathematics that are not in a conflict. It is proved that texts :539–555, 2017; Gutman and Kutateladze in Sib Math J 49:835–841, 2008; Kutateladze in J Appl Ind Math 5:73–75, 2011) asserting that the ①-based methodology is a part of non-standard analysis unfortunately contain several logical fallacies. Their attempt to show that the ①-based methodology can be formalized within non-standard analysis is similar to trying to show that constructivism can be reduced to the traditional Mathematics. (shrink)

In this paper, we propose a new method to deal with continuously varying quantity in the situation calculus based on the concept of the nonstandard analysis. The essential point of the method is to devise a new model called nonstandard situation calculus, which is an interpretation of the situation calculus in the set of hyperreals. This nonstandard model allows discrete but uncountable (hyperfinite) state transition, so that we can describe and reason about the continuous dynamics which are usually treated with (...) differential equations. In this enlarged perspective of the nonstandard situation calculus, we discuss about an infinitesimal action, infinite plan and an abnormality theory for the temporal prediction based on the differentiability. (shrink)

It is usually supposed that, with his dichotomy paradox, Zeno gave birth to the modern so-called supertask debate – the debate of whether carrying out an infinite sequence of actions or operations...

Many philosophers accept a ‘layered’ world‐view according to which the facts about the higher ontological levels supervene on the facts about the lower levels. Advocates of such views often have in mind a version of atomism, according to which there is a fundamental level of indivisible objects known as simples or atoms upon whose spatiotemporal locations and intrinsic properties everything at the higher levels supervenes.1 Some, however, accept the possibility of ‘gunk’ worlds in which there are parts ‘all the way (...) down’ such that there are no simples and insofar as composite objects exist these are composed of smaller objects which in turn are composed of smaller objects, and so on. It may nonetheless still be claimed that the facts about each ontological level supervene on the facts about the lower levels. (shrink)

The paper concerns time, change and contradiction, and is in three parts. The first is an analysis of the problem of the instant of change. It is argued that some changes are such that at the instant of change the system is in both the prior and the posterior state. In particular there are some changes from p being true to p being true where a contradiction is realized. The second part of the paper specifies a formal logic which accommodates (...) this possibility. It is a tense logic based on an underlying paraconsistent prepositional logic, the logic of paradox. (See the author's article of the same name Journal of Philosophical Logic 8 (1979).) Soundness and completeness are established, the latter by the canonical model construction, and extensions of the basic system briefly considered. The final part of the paper discusses Leibniz's principle of continuity: Whatever holds up to the limit holds at the limit. It argues that in the context of physical changes this is a very plausible principle. When it is built into the logic of the previous part, it allows a rigorous proof that change entails contradictions. Finally the relation of this to remarks on dialectics by Hegel and Engels is briefly discussed. (shrink)

In an earlier paper I argued that there are cases in which an infinite probabilistic chain can be completed. According to Jeremy Gwiazda, however, I have merely shown that the chain in question can be computed, not that it can be completed. Gwiazda thereby discriminates between two terms that I used as synonyms. In the present paper I discuss to what extent computability and completability can be meaningfully distinguished.

It’s well known that one way to cure a hangover is by a “hair of the dog” — another alcoholic drink. The drawback of this method is that, so it would appear, it cannot be used to completely cure a hangover, since the cure simply induces a further hangover at a later time, which must in turn either be cured or suffered through.

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

Michael Dummett claims that the classical model of time as a continuum of instants has to be rejected. In his view, “it allows as possibilities what reason rules out, and leaves it to the contingent laws of physics to rule out what a good model of physical reality would not even be able to describe.” This paper argues otherwise.

In this article, I take on a classic objection to Kant’s arguments in the Antinomy of Pure Reason: that the arguments are question-begging, as they draw illicit inferences from claims about representation to claims about reality. While extant attempts to vindicate Kant try to show that he does not make such inferences, I attempt to vindicate Kant’s arguments in a different way: I show that, given Kant’s philosophical backdrop, the inferences in question are not illicit. This is because the transcendental (...) realists that Kant was arguing against have certain philosophical commitments about the nature of ground which, if true, warrant the inferences that Kant draws. This historical corrective not only allows us to better understand Kant’s own thinking in the Antinomies but it also has important upshots for our understanding of Kant’s transcendental idealism. (shrink)

James Thomson envisaged a lamp which would be turned on for 1 minute, off for 1/2 minute, on for 1/4 minute, etc. ad infinitum. He asked whether the lamp would be on or off at the end of 2 minutes. Use of “internal set theory” (a version of nonstandard analysis), developed by Edward Nelson, shows Thomson's lamp is chimerical; its copy within set theory yields a contradiction. The demonstration extends to placing restrictions on other “infinite tasks” such as Zeno's paradoxes (...) of motion and Kant's First Antinomy. Resolution of such logical-philosophical problems leads to some very general constraints which must be placed upon the syntax of physical theories. In particular, at some scale space and time would appear granular. The suitability of internal set theory for analyzing phenomena is examined, using a paper by Alper and Bridger (1997) to frame the discussion. (shrink)

We describe a variety of sets internal to models of intuitionistic set theory that (1) manifest some of the crucial behaviors of potentially infinite sets as described in the foundational literature going back to Aristotle, and (2) provide models for systems of predicative arithmetic. We close with a brief discussion of Church’s Thesis for predicative arithmetic.

The Barrett and Arntzenius (1999) decision paradox involves unbounded wealth, the relationship between period-wise and sequence-wise dominance, and an infinite-period split-minute setting. A version of their paradox involving bounded (in fact, constant) wealth decisions is presented, along with a version involving no decisions at all. The common source of paradox in Barrett–Arntzenius and these other examples is the indeterminacy of their infinite-period split-minute setting.

Ordinarily, the order in which some objects are attached to a scale does not affect the total weight measured by the scale. This principle is shown to fail in certain cases involving infinitely many objects. In these cases, we can produce any desired reading of the scale merely by changing the order in which a fixed collection of objects are attached to the scale. This puzzling phenomenon brings out the metaphysical significance of a theorem about infinite series that is well (...) known by mathematicians but has so far eluded philosophical scrutiny. (shrink)

Argument-forms exist which are valid over finite but not infinite domains. Despite understanding of this by formal logicians, philosophers can be observed treating as valid arguments which are in fact invalid over infinite domains. In support of this claim I will first present an argument against the classical pragmatist theory of truth by Mark Johnston. Then, more ambitiously, I will suggest the fallacy lurks in certain arguments for physicalism taken for granted by many philosophers today.

I present a simple model of Grünbaum’s staccato run in classical mechanics, the staccato roller coaster. It consists of a bead sliding on a frictionless wire shaped like a roller coaster track with infinitely many hills of diminishing size, each of which is a one-dimensional variant of the so-called Norton dome. The staccato roller coaster proves beyond doubt the dynamical (and hence logical) possibility of supertasks in classical mechanics if the Norton dome is a proper system of classical mechanics with (...) metaphysical import. If not, challenges raised against the metaphysical significance of the Norton dome are shown to be challenges against various arguments for the dynamical possibility of supertasks, and the staccato roller coaster clearly shows the importance of meeting these challenges. And the staccato roller coaster can provide, as well as interesting lessons, illuminating analyses of Burke’s (Mod Schoolman 78:1–8, 2000 ) attempt to refute the dynamical possibility of the staccato run and Pérez Laraudogoitia’s (Synthese 148:433–441, 2006 ) rebuttal of it. (shrink)

For infinite machines that are free from the classical Thomson’s lamp paradox, we show that they are not free from its inverted-in-time version. We provide a program for infinite machines and an infinite mechanism that demonstrate this paradox. While their finite analogs work predictably, the program and the infinite mechanism demonstrate an undefined behavior. As in the case of infinite Davies machines :671–682, 2001), our examples are free from infinite masses, infinite velocities, infinite forces, etc. Only infinite divisibility of space (...) and time is assumed. Thus, the infinite devices considered are possible in a Newtonian Universe and they do not conflict with Newtonian mechanics. Note that the classical Thomson’s lamp paradox leads to infinite velocities which may not be producible in acceptable models of Newtonian mechanics. Finally, it is shown that the “paradox of predictability” is similar to the inverted Thomson’s lamp paradox. (shrink)

I develop a theory of counterfactuals about relative computability, i.e. counterfactuals such as 'If the validity problem were algorithmically decidable, then the halting problem would also be algorithmically decidable,' which is true, and 'If the validity problem were algorithmically decidable, then arithmetical truth would also be algorithmically decidable,' which is false. These counterfactuals are counterpossibles, i.e. they have metaphysically impossible antecedents. They thus pose a challenge to the orthodoxy about counterfactuals, which would treat them as uniformly true. What’s more, I (...) argue that these counterpossibles don’t just appear in the periphery of relative computability theory but instead they play an ineliminable role in the development of the theory. Finally, I present and discuss a model theory for these counterfactuals that is a straightforward extension of the familiar comparative similarity models. (shrink)

We explore the better known paradoxes of Zeno including modern variants based on infinite processes, from the point of view of standard, classical analysis, from which there is still much to learn (especially concerning the paradox of division), and then from the viewpoints of non-standard and non-classical analysis (the logic of the latter being intuitionist).The standard, classical or Cantorian notion of the continuum, modeled on the real number line, is well known, as is the definition of motion as the time (...) derivative of distance (we are not concerned with position and motion in more than one dimension, since Zeno wasn't). The real number line consists of its points, the distance between distinct points being positive and finite. The standard, classical derivative relies on the classical notion of limit, which does not use infinitesimals. (shrink)

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.

Infinite time Turing machines extend the operation of ordinary Turing machines into transfinite ordinal time. By doing so, they provide a natural model of infinitary computability, a theoretical setting for the analysis of the power and limitations of supertask algorithms.

We extend in a natural way the operation of Turing machines to infinite ordinal time, and investigate the resulting supertask theory of computability and decidability on the reals. Everyset. for example, is decidable by such machines, and the semi-decidable sets form a portion of thesets. Our oracle concept leads to a notion of relative computability for sets of reals and a rich degree structure, stratified by two natural jump operators.

In this paper, I present a puzzle involving special relativity and the random selection of real numbers. In a manner to be specified, darts thrown later hit reals further into a fixed well-ordering than darts thrown earlier. Special relativity is then invoked to create a puzzle. I consider four ways of responding to this puzzle which, I suggest, fail. I then propose a resolution to the puzzle, which relies on the distinction between the potential infinite and the actual infinite. I (...) suggest that certain structures, such as a well-ordering of the reals, or the natural numbers, are examples of the potential infinite, whereas infinite integers in a nonstandard model of arithmetic are examples of the actual infinite. (shrink)

In this article, I argue that it is impossible to complete infinitely many tasks in a finite time. A key premise in my argument is that the only way to get to 0 tasks remaining is from 1 task remaining, when tasks are done 1-by-1. I suggest that the only way to deny this premise is by begging the question, that is, by assuming that supertasks are possible. I go on to present one reason why this conclusion (that supertasks are (...) impossible) is important, namely that it implies a new verdict on a decision puzzle propounded by Jeffrey Barrett and Frank Arntzenius. (shrink)

Dans cet article je réponds à deux questions philosophiques soule­vées par la thèse suivante appelée « thèse de l’hyper-calcul » : il est possible de construire physiquement un modèle d’hyper-calcul. La première question est liée aux enjeux de cette thèse. Puisque la construction physique d’un modèle de calcul dépasse le cadre mathématique initial de la théorie de la calculabilité, j expliquerai pourquoi il est nécessaire de construire physiquement un modèle d’hyper-calcul. La seconde question concerne le problème de la vérification : (...) à supposer que l’on dispose d’un modèle d’hyper-calcul construit physiquement, il serait impossible de vérifier que ce modèle calcule une fonction non calculable par machine de Turing. Je proposerai une analyse de ce problème dans le but de montrer qu’il ne remet pas en cause de façon explicite la thèse de l’hyper-calcul. (shrink)

Dans cet article je réponds à deux questions philosophiques soule­vées par la thèse suivante appelée « thèse de l’hyper-calcul » : il est possible de construire physiquement un modèle d’hyper-calcul. La première question est liée aux enjeux de cette thèse. Puisque la construction physique d’un modèle de calcul dépasse le cadre mathématique initial de la théorie de la calculabilité, j expliquerai pourquoi il est nécessaire de construire physiquement un modèle d’hyper-calcul. La seconde question concerne le problème de la vérification : (...) à supposer que l’on dispose d’un modèle d’hyper-calcul construit physiquement, il serait impossible de vérifier que ce modèle calcule une fonction non calculable par machine de Turing. Je proposerai une analyse de ce problème dans le but de montrer qu’il ne remet pas en cause de façon explicite la thèse de l’hyper-calcul. (shrink)

Dans cet article je réponds à deux questions philosophiques soule­vées par la thèse suivante appelée « thèse de l’hyper-calcul » : il est possible de construire physiquement un modèle d’hyper-calcul. La première question est liée aux enjeux de cette thèse. Puisque la construction physique d’un modèle de calcul dépasse le cadre mathématique initial de la théorie de la calculabilité, j expliquerai pourquoi il est nécessaire de construire physiquement un modèle d’hyper-calcul. La seconde question concerne le problème de la vérification : (...) à supposer que l’on dispose d’un modèle d’hyper-calcul construit physiquement, il serait impossible de vérifier que ce modèle calcule une fonction non calculable par machine de Turing. Je proposerai une analyse de ce problème dans le but de montrer qu’il ne remet pas en cause de façon explicite la thèse de l’hyper-calcul. (shrink)

Sharvy’s puzzle concerns a situation in which common knowledge of two parties is obtained by repeated observation each of the other, no fixed point being reached in finite time. Can a fixed point be reached?

Sharvy’s puzzle concerns a situation in which common knowledge of two parties is obtained by repeated observation each of the other, no fixed point being reached in finite time. Can a fixed point be reached?

The standard theory of computation excludes computations whose completion requires an infinite number of steps. Malament-Hogarth spacetimes admit observers whose pasts contain entire future-directed, timelike half-curves of infinite proper length. We investigate the physical properties of these spacetimes and ask whether they and other spacetimes allow the observer to know the outcome of a computation with infinitely many steps.