相关论文: Why Brouwer was right in suggesting that Hilbert's…

Using the Hilbert-Schmidt theorem, we reformulate the R-matrix theory in terms of a uniformly and absolutely convergent expansion. Term by term differentiation is possible with this expansion in the neighborhood of the surface. Methods for…

We introduce a first-order theory of finite full binary trees and then identify decidable and undecidable fragments of this theory. We show that the analogue of Hilbert`s 10th Problem is undecidable by constructing a many-to-one reduction…

Herbrand's theorem is often presented as a corollary of Gentzen's sharpened Hauptsatz for the classical sequent calculus. However, the midsequent gives Herbrand's theorem directly only for formulae in prenex normal form. In the Handbook of…

In this article we introduce a dual of the uniform boundedness principle which does not require completeness and gives an indirect means for testing the boundedness of a set. The dual principle, although known to the analyst and despite its…

In the early twentieth century, L.E.J. Brouwer pioneered a new philosophy of mathematics, called intuitionism. Intuitionism was revolutionary in many respects but stands out -mathematically speaking- for its challenge of Hilbert's formalist…

We develop a technique for normalization for $\infty$-type theories. The normalization property helps us to prove a coherence theorem: the initial model of a given $\infty$-type theory is $0$-truncated. The coherence theorem justifies…

We give a short and elementary proof of the boundedness of triangular Hilbert transform along non-flat curves definable in a polynomially bounded o-minimal structure. We also provide a criterion on the multiplier to determine whether the…

In the present paper, the decision problem of the Schr\"odinger equation (asking whether or not a given Hamiltonian operator has the nonempty solution set) is represented as a logical statement. As it is shown in the paper, the law of…

In this paper, we introduce the notion of multiplier of a Hilbert algebra. The space of bounded multipliers is a semifinite von Neumann algebra isomorphic to the left von Neumann algebra of the Hilbert algebra, as expected. However, in the…

There exist initial segments of both the Dyment lattice and the Dyment-Muchnik lattice that yield Brouwer algebras modeling exactly the intuitionistic propositional calculus. For the Dyment-Muchnik lattice, this result is obtained by…

We present short proofs of Toru\'nczyk's well-known characterization theorems of the Hilbert cube and Hilbert space, respectively.

We prove special cases of a general conjecture: If an invertible field theory admits a projectively topological boundary theory, then it has finite order in the abelian group of invertible field theories. One can substitute `gapped' for…

It is well-known that a Hilbert-style deduction system for first-order classical logic is sound and complete for a model theory built using all Boolean algebras as truth-value algebras if and only if it is sound and complete for a model…

We explore the relationship between Brouwer's intuitionistic mathematics and Euclidean geometry. Brouwer wrote a paper in 1949 called "The contradictority of elementary geometry". In that paper, he showed that a certain classical…

In this note, we provide bijective proofs of some identities involving the Bell number, as previously requested. Our arguments may be extended to yield a generalization in terms of complete Bell polynomials. We also provide a further…

We formulate a property $P$ on a class of relations on the natural numbers, and formulate a general theorem on $P$, from which we get as corollaries the insolvability of Hilbert's tenth problem, G\"odel's incompleteness theorem, and…

In intuitionistic mathematics, the Brouwer Continuity Theorem states that all total real functions are (uniformly) continuous on the unit interval. We study this theorem and related principles from the point of view of Reverse Mathematics…

We show that the truncated simplex Hilbert transform enjoys some cancellation in the sense that its norm grows sublinearly in the number of scales retained in the truncation. This extends the recent result by Tao on cancellation for the…

Let $R$ be a standard graded algebra over a field $k$. We prove an Auslander-Buchsbaum formula for the absolute Castelnuovo-Mumford regularity, extending important cases of previous works of Chardin and R\"omer. For a bounded complex of…

We assume that every element of a matrix has a small, individual error, and model it by an external number, which is the sum of a nonstandard real number and a neutrix, the latter being a convex (external) set having the group property. The…