A variation of Reynolds-Hurkens Paradox

Thierry Coquand

DOI: https://doi.org/10.48550/arXiv.2308.16726

2023-08-31

Abstract:We present a variation of Hurkens paradox, which can itself be seen as a variation of Reynolds result that there is no set theoretic model of polymorphism.

Logic in Computer Science,Logic

What problem does this paper attempt to address?

Resolving Bertrand's Probability Paradox

Jinchang Wang,R L Jackson

2011-01-01

Abstract:In this article we resolve Bertrand’s probability paradox and show why it has perplexed researchers for 120 years. This paradox appears to have three equally plausible, yet incompatible, solutions. We begin by showing two facts, the random chords referred to in Bertrand’s paradox are homogeneously distributed and there is no disagreement among people on this point. Based on these facts, we rigorously prove that two of the three alleged answers are not sound because of their false assumptions and that only one solution is correct. The paradox is therefore no longer paradoxical. We also reveal two significant stumbling blocks that have persistently caused puzzles with regard to this paradox: 1) misunderstanding of the nature of homogeneously distributed chords, and 2) a disparity between the problem as originally conceived in the mind and its subsequent representation. We conclude by presenting our reflections on the subtleties of the paradox and on some prevalent misconceptions that have historically plagued attempts to resolve it.
Computable paradoxical decompositions

Karol Duda,Aleksander Ivanov

DOI: https://doi.org/10.1142/S0218196722500400

2022-04-19

International Journal of Algebra and Computation

Abstract:We prove a computable version of Hall's Harem theorem and apply it to computable versions of Tarski's alternative theorem.

mathematics
Revisiting the name variant of the two-children problem

Davy Paindaveine,Philippe Spindel

DOI: https://doi.org/10.48550/arXiv.2205.12804

2023-01-15

Abstract:Initially proposed by Martin Gardner in the 1950s, the famous two-children problem is often presented as a paradox in probability theory. A relatively recent variant of this paradox states that, while in a two-children family for which at least one child is a girl, the probability that the other child is a boy is $2/3$, this probability becomes $1/2$ if the first name of the girl is disclosed (provided that two sisters may not be given the same first name). We revisit this variant of the problem and show that, if one adopts a natural model for the way first names are given to girls, then the probability that the other child is a boy may take any value in $(0,2/3)$. By exploiting the concept of Schur-concavity, we study how this probability depends on model parameters.

Probability,History and Overview
A Closer Look at the Russell Paradox

Flash Sheridan

2024-05-28

Abstract:Two types of approximation to the paradoxical Russell Set are presented, one approximating it from below, one from above. It is shown that any lower approximation gives rise to a better approximation containing it, and that any upper approximation contains a distinct better approximation. The Russell Paradox is then seen to be the claim that two of these processes of better approximations stop, and at the same set. This suggests that the unrestricted Axiom of Comprehension is, not a coherent intuition worthy of rescue from a mysterious paradox, but simply wishful thinking, a confusion of sets as extensional objects with classes defined by a property.

Logic
A categorical formulation of Kraus' paradox

Andrew W. Swan

2024-03-13

Abstract:We give a categorical formulation of Kraus' "magic trick" for recovering information from truncated types. Rather than type theory, we work in Van den Berg-Moerdijk path categories with a univalent universe, and rather than propositional truncation we work with arbitrary cofibrations, which includes truncation as a special case. We show, using Kraus' argument that any cofibration with homogeneous domain is a monomorphism. We give some simple concrete examples in groupoids to illustrate the interaction between homogeneous types, cofibrations and univalent fibrations.

Category Theory,Logic in Computer Science,Logic
Revisiting Parametricity: Inductives and Uniformity of Propositions

Abhishek Anand,Greg Morrisett

DOI: https://doi.org/10.48550/arXiv.1705.01163

2017-05-02

Logic in Computer Science

Abstract:Reynold's parametricity theory captures the property that parametrically polymorphic functions behave uniformly: they produce related results on related instantiations. In dependently-typed programming languages, such relations and uniformity proofs can be expressed internally, and generated as a program translation. We present a new parametricity translation for a significant fragment of Coq. Previous translations of parametrically polymorphic propositions allowed non-uniformity. For example, on related instantiations, a function may return propositions that are logically inequivalent (e.g. True and False). We show that uniformity of polymorphic propositions is not achievable in general. Nevertheless, our translation produces proofs that the two propositions are logically equivalent and also that any two proofs of those propositions are related. This is achieved at the cost of potentially requiring more assumptions on the instantiations, requiring them to be isomorphic in the worst case. Our translation augments the previous one for Coq by carrying and compositionally building extra proofs about parametricity relations. It is made easier by a new method for translating inductive types and pattern matching. The new method builds upon and generalizes previous such translations for dependently-typed programming languages. Using reification and reflection, we have implemented our translation as Coq programs. We obtain several stronger free theorems applicable to an ongoing compiler-correctness project. Previously, proofs of some of these theorems took several hours to finish.
Set-Theoretic Hypodoxes and co-Russell's Paradox

Timotej Šujan

2024-11-18

Abstract:In this paper, we argue that while the concept of a set-theoretic paradox (or paradoxical set) can be relatively well-defined in a formal setting, the concept of a set-theoretic hypodox (or hypodoxical set) remains unclear--particularly if the self-membership assertion of the co-Russell set, $\{x:x\in x\}$, is classified as hypodoxical, whereas other set-theoretic sentences with no evident connection to paradoxes are not. Furthermore, we demonstrate how a contradiction can be derived in Na\"ıve Set Theory using the unique properties of the co-Russell set, relying on the Fixed Point Theorem of Na\"ıve Set Theory.

Logic
Hardy's Paradox for Multisetting High-Dimensional Systems

Hui-Xian Meng,Jie Zhou,Zhen-Peng Xu,Hong-Yi Su,Ting Gao,Feng-Li Yan,Jing-Ling Chen

DOI: https://doi.org/10.1103/physreva.98.062103

2018-01-01

Abstract:Recently, Chen et al introduced an alternative form of Hardy's paradox for $2$-settings and high-dimensional systems [Phy. Rev. A 88, 062116 (2013)], in which there is a great progress in improving the maximum probability of the nonlocal event. Here, we construct a general Hardy's paradox for multi-settings and high-dimensional systems, which (i) includes the paradox in [Phy. Rev. A 88, 062116 (2013)] as a special case, (ii) for spin-1/2 systems, is equivalent to the ladder proof of nonlocality without inequalities in [Phy. Rev. Lett. 13, 2755 (1997)], (iii) for spin-1 systems, increases the maximum probability of the nonlocal event by adding the number of settings, specially, with only 5-settings it can be improved to 0.40184, which is more than two times higher than 0.171, the maximal success probability to prove nonlocality in Adan's paradox [Phy. Rev. A 58, 1687 (1998)].
Generalized Hardy's Paradox

Shu-Han Jiang,Zhen-Peng Xu,Hong-Yi Su,Arun Kumar Pati,Jing-Ling Chen

DOI: https://doi.org/10.1103/PhysRevLett.120.050403

2018-02-02

Abstract:Here, we present the most general framework for n-particle Hardy's paradoxes, which include Hardy's original one and Cereceda's extension as special cases. Remarkably, for any n≥3, we demonstrate that there always exist generalized paradoxes (with the success probability as high as 1/2^{n-1}) that are stronger than the previous ones in showing the conflict of quantum mechanics with local realism. An experimental proposal to observe the stronger paradox is also presented for the case of three qubits. Furthermore, from these paradoxes we can construct the most general Hardy's inequalities, which enable us to detect Bell's nonlocality for more quantum states.
On polymorphism-homogeneous relational structures and their clones

Christian Pech,Maja Pech

DOI: https://doi.org/10.1007/s00012-014-0310-3

2014-03-15

Abstract:A relational structure is homomorphism-homogeneous if every homomorphism between finite substructures extends to an endomorphism of the structure. This notion was introduced recently by Cameron and Nešetřil. In this paper we consider a strengthening of homomorphism-homogeneity --- we call a relational structure polymorphism-homogeneous if every partial polymorphism with a finite domain extends to a global polymorphism of the structure. It turns out that this notion (under various names and in completely different contexts) has been existing in algebraic literature for at least 30 years. Motivated by this observation, we dedicate this paper to the topic of polymorphism-homogeneous structures. We study polymorphism-homogeneity from a model-theoretic, an algebraic, and a combinatorial point of view. E.g., we study structures that have quantifier elimination for positive primitive formulae, and show that this notion is equivalent to polymorphism-homogeneity for weakly oligomorphic structures. We demonstrate how the Baker-Pixley theorem can be used to show that polymorphism-homogeneity is a decidable property for finite relational structures. Eventually, we completely characterize the countable polymorphism-homogeneous graphs, the polymorphism-homogeneous posets of arbitrary size, and the countable polymorphism-homogeneous strict posets.

Logic,Combinatorics
Quantum paradoxical knowledge

Benjamin Schumacher,Michael D. Westmoreland

2023-06-30

Abstract:We generalize the quantum "pigeonhole paradox" to quantum paradoxes involving arbitrary types of particle relations, including orderings, functions and graphs.

Quantum Physics
A thermodynamic parallel of the Braess road-network paradox

Kamal Bhattacharyya

DOI: https://doi.org/10.48550/arXiv.1703.02213

2017-03-07

Abstract:We provide here a thermodynamic analog of the Braess road-network paradox with irreversible engines working between reservoirs that are placed at vertices of the network. Paradoxes of different kinds reappear, emphasizing the specialty of the network.

Physics and Society,Statistical Mechanics,Chemical Physics
Dimension Paradox of Irrationally Indifferent Attractors

Davoud Cheraghi,Alexandre Dezotti,Fei Yang

2020-01-01

Abstract:In this paper we study the geometry of the attractors of holomorphic maps with an irrationally indifferent fixed point. We prove that for an open set of such holomorphic systems, the local attractor at the fixed point has Hausdorff dimension two, provided the asymptotic rotation at the fixed point is of sufficiently high type and does not belong to Herman numbers. As an immediate corollary, the Hausdorff dimension of the Julia set of any such rational map with a Cremer fixed point is equal to two. Moreover, we show that for a class of asymptotic rotation numbers, the attractor satisfies Karpinska's dimension paradox. That is, the the set of end points of the attractor has dimension two, but without those end points, the dimension drops to one.
Variations on topological recurrence

Bernard Host,Bryna Kra,Alejandro Maass

DOI: https://doi.org/10.48550/arXiv.1408.2728

2014-08-12

Abstract:Recurrence properties of systems and associated sets of integers that suffice for recurrence are classical objects in topological dynamics. We describe relations between recurrence in different sorts of systems, study ways to formulate finite versions of recurrence, and describe connections to combinatorial problems. In particular, we show that sets of Bohr recurrence (meaning sets of recurrence for rotations) suffice for recurrence in nilsystems. Additionally, we prove an extension of this property for multiple recurrence in affine systems.

Dynamical Systems,Combinatorics
From Condorcet's paradox to Arrow: yet another simple proof of the impossibility theorem

Massimo D’Antoni

DOI: https://doi.org/10.1007/s00355-024-01557-8

2024-11-09

Social Choice and Welfare

Abstract:Condorcet exposed a limitation of majority-based pairwise comparison by showing that, for specific preference profiles over three alternatives, it leads to a contradiction. Arrow's theorem is often introduced as a generalization of this finding. A novel formulation of the proof is presented that strictly adheres to this logic, establishing that for any non-dictatorial social choice rule, a contradiction-generating preference profile always exists and can be identified using a straightforward procedure.

economics,social sciences, mathematical methods
Beware of the Gödel- Wette paradox

Alexander S. Yessenin-Volpin,Christer Hennix

DOI: https://doi.org/10.48550/arXiv.math/0110094

2001-10-09

Logic

Abstract:This paper gives a counterexample to the impossibility, by G\"odel's second incompleteness theorem, of proving a formula expressing the consistency of arithmetic in a fragment of arithmetic on the assumption that the latter is consistent. This counterexample gives rise to a new type of metamathematical paradox, to be called the G\"odel-Wette paradox, which E. Wette claims to have established since some time ago (see [Wette, 1971], [Wette, 1974]). Nevertheless, our work is independent of Wette's since we have failed to understand the details of his work although we recognize the possibility of the correctness of the latter. Furthermore, the G\"odel-Wette paradox is not the only foundational anomaly which the framework of our approach has uncovered but new questions concerning the decision problem, completeness problem, truth definitions and the status of Richard's paradox in arithmetic and set theory (including type theory) have arisen as well. This work will, eventually be unified into a single monograph.
History and Nature of the Jeffreys-Lindley Paradox

Eric-Jan Wagenmakers,Alexander Ly

DOI: https://doi.org/10.48550/arXiv.2111.10191

2022-07-20

Abstract:The Jeffreys-Lindley paradox exposes a rift between Bayesian and frequentist hypothesis testing that strikes at the heart of statistical inference. Contrary to what most current literature suggests, the paradox was central to the Bayesian testing methodology developed by Sir Harold Jeffreys in the late 1930s. Jeffreys showed that the evidence against a point-null hypothesis $\mathcal{H}_0$ scales with $\sqrt{n}$ and repeatedly argued that it would therefore be mistaken to set a threshold for rejecting $\mathcal{H}_0$ at a constant multiple of the standard error. Here we summarize Jeffreys's early work on the paradox and clarify his reasons for including the $\sqrt{n}$ term. The prior distribution is seen to play a crucial role; by implicitly correcting for selection, small parameter values are identified as relatively surprising under $\mathcal{H}_1$. We highlight the general nature of the paradox by presenting both a fully frequentist and a fully Bayesian version. We also demonstrate that the paradox does not depend on assigning prior mass to a point hypothesis, as is commonly believed.

Methodology,Statistics Theory,Other Statistics
A Paradox on the Law of Excluded Middle in the framework of category of set

Babak Jabbar Nezhad

2024-10-22

Abstract:In this paper we pioneer an example, which shows that if we accept the Law of Excluded Middle, then we come into a paradox.

Commutative Algebra
A Counter Example To the Hodge Conjecture

Renyi Ma

DOI: https://doi.org/10.48550/arXiv.0808.1402

2008-08-10

General Mathematics

Abstract:In this paper, we give a simple counter example to the famous Hodge conjecture.
Regressive versions of Hindman's theorem

Lorenzo Carlucci,Leonardo Mainardi

DOI: https://doi.org/10.1007/s00153-023-00901-6

2024-02-01

Archive for Mathematical Logic

Abstract:When the Canonical Ramsey's Theorem by Erdős and Rado is applied to regressive functions, one obtains the Regressive Ramsey's Theorem by Kanamori and McAloon. Taylor proved a "canonical" version of Hindman's Theorem, analogous to the Canonical Ramsey's Theorem. We introduce the restriction of Taylor's Canonical Hindman's Theorem to a subclass of the regressive functions, the -regressive functions, relative to an adequate version of min-homogeneity and prove some results about the Reverse Mathematics of this Regressive Hindman's Theorem and of natural restrictions of it. In particular we prove that the first non-trivial restriction of the principle is equivalent to Arithmetical Comprehension. We furthermore prove that the well-ordering-preservation principle for base- exponentiation is reducible to this same principle by a uniform computable reduction.

mathematics,logic

A variation of Reynolds-Hurkens Paradox

Resolving Bertrand's Probability Paradox

Computable paradoxical decompositions

Revisiting the name variant of the two-children problem

A Closer Look at the Russell Paradox

A categorical formulation of Kraus' paradox

Revisiting Parametricity: Inductives and Uniformity of Propositions

Set-Theoretic Hypodoxes and co-Russell's Paradox

Hardy's Paradox for Multisetting High-Dimensional Systems

Generalized Hardy's Paradox

On polymorphism-homogeneous relational structures and their clones

Quantum paradoxical knowledge

A thermodynamic parallel of the Braess road-network paradox

Dimension Paradox of Irrationally Indifferent Attractors

Variations on topological recurrence

From Condorcet's paradox to Arrow: yet another simple proof of the impossibility theorem

Beware of the Gödel- Wette paradox

History and Nature of the Jeffreys-Lindley Paradox

A Paradox on the Law of Excluded Middle in the framework of category of set

A Counter Example To the Hodge Conjecture

Regressive versions of Hindman's theorem