Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userLorenzens proof of consistency for elementary number theory [with an edition and translation of Ein halbordnungstheoretischer Widerspruchsfreiheitsbeweis]
42
0
0.0
(
0
)
Authors
Thierry Coquand
Ask ChatGPT about the research
No Arabic abstract
We present a manuscript of Paul Lorenzen that provides a proof of consistency for elementary number theory as an application of the construction of the free countably complete pseudocomplemented semilattice over a preordered set. This manuscript rests in the Oskar-Becker-Nachlass at the Philosophisches Archiv of Universit{a}t Konstanz, file OB 5-3b-5. It has probably been written between March and May 1944. We also compare this proof to Gentzens and Novikovs, and provide a translation of the manuscript.
rate research
Read More
We present an elementary proof for Ljunggren equation
Let $Omega(n)$ denote the number of prime factors of $n$. We show that for any bounded $fcolonmathbb{N}tomathbb{C}$ one has [ frac{1}{N}sum_{n=1}^N, f(Omega(n)+1)=frac{1}{N}sum_{n=1}^N, f(Omega(n))+mathrm{o}_{Ntoinfty}(1). ] This yields a new elementary proof of the Prime Number Theorem.
A sequence of random variables is called exchangeable if the joint distribution of the sequence is unchanged by any permutation of the indices. De Finettis theorem characterizes all ${0,1}$-valued exchangeable sequences as a mixture of sequences of independent random variables. We present an new, elementary proof of de Finettis Theorem. The purpose of this paper is to make this theorem accessible to a broader community through an essentially self-contained proof.
In 1956, Je$acute{s}$manowicz conjectured that, for positive integers $m$ and $n$ with $m>n, , gcd(m,, n)=1$ and $m otequiv npmod{2}$, the exponential Diophantine equation $(m^2-n^2)^x+(2mn)^y=(m^2+n^2)^z$ has only the positive integer solution $(x,,y,, z)=(2,,2,,2)$. Recently, Ma and Chen cite{MC17} proved the conjecture if $4 ot|mn$ and $yge2$. In this paper, we present an elementary proof of the result of Ma and Chen cite{MC17}.
We give an elementary proof of Grothendiecks non-vanishing Theorem: For a finitely generated non-zero module $M$ over a Noetherian local ring $A$ with maximal ideal $m$, the local cohomology module $H^{dim M}_{m}(M)$ is non-zero.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
