相关论文: Hilbert's machine and w-order

Due to the unfamiliarity to particular words(or proper nouns) for ingredients, non-native English speakers can be extremely confused about the ordering process in restaurants like Subway. Thus, We developed a dialogue system, which supports…

We present an application of Hilbert quasi-polynomials to order domains, allowing the effective check of the second order-domain condition in a direct way. We also provide an improved algorithm for the computation of the related Hilbert…

A recommender system is a system that helps users filter irrelevant information and create user interest models based on their historical records. With the continuous development of Internet information, recommendation systems have received…

The method of alternating projections involves projecting an element of a Hilbert space cyclically onto a collection of closed subspaces. It is known that the resulting sequence always converges in norm and that one can obtain estimates for…

We present more than 50 results including some range inclusion results to characterize reverse order law for Moore-Penrose inverse of closed range Hilbert space operators. We use basic properties of Moore-Penrose inverse to prove the…

A Hilbert bimodule is a right Hilbert module X over a C*-algebra A together with a left action of A as adjointable operators on X. We consider families X = {X_s :s\in P} of Hilbert bimodules, indexed by a semigroup P, which are endowed with…

The two reference lists contain 54/22 references of papers and preprints concerned with the theory and/or various applications of Hilbert modules over Hilbert $*$-algebras and over (non-self-adjoint) operator algebras. They are far from…

In this article we provide an intrinsic characterization of the famous Howard-Bachmann ordinal in terms of a natural well-partial-ordering by showing that this ordinal can be realized as a maximal order type of a class of generalized trees…

For a ring $R$, Hilbert's Tenth Problem $HTP(R)$ is the set of polynomial equations over $R$, in several variables, with solutions in $R$. We view $HTP$ as an operator, mapping each set $W$ of prime numbers to $HTP(\mathbb Z[W^{-1}])$,…

For operators representing ill-posed problems, an ordering by ill-posedness is proposed, where one operator is considered more ill-posed than another one if the former can be expressed as a cocatenation of bounded operators involving the…

Hilbert's Irreducibility Theorem is a cornerstone that joins areas of analysis and number theory. Both the genesis and genius of its proof involved combining real analysis and combinatorics. We try to expose the motivations that led Hilbert…

A commuting $n$-tuple $(T_1, \ldots, T_n)$ of bounded linear operators on a Hilbert space $\clh$ associate a Hilbert module $\mathcal{H}$ over $\mathbb{C}[z_1, \ldots, z_n]$ in the following sense: \[\mathbb{C}[z_1, \ldots, z_n] \times…

In this paper we introduce and study some Hilbert-type operators acting from the function spaces into the sequence spaces. We give some sufficient and necessary conditions for the boundedness and compactness of these Hilbert-type operators.…

In this paper we show that the existence of omega-models of bar induction is equivalent to the principle saying that applying the Howard-Bachmann operation to any well-ordering yields again a well-ordering.

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. The resulting computability theory leads to a notion of…

We report our participation in the SISAP 2025 Indexing Challenge using a novel indexing technique called the Hilbert forest. The method is based on the fast Hilbert sort algorithm, which efficiently orders high-dimensional points along a…

Our main theorem is in the generality of the axioms of Hilbert space, and the theory of unbounded operators. Consider two Hilbert spaces such that their intersection contains a fixed vector space D. It is of interest to make a precise…

A method of induction the distances with Hilbert structure is proposed. Some properties of the method are studied. Typical examples of corresponding metric spaces are discussed. Key words: Hilbert spaces; metric spaces; isometric embedding…

Some new trace inequalities for operators in Hilbert spaces are provided. The superadditivity and monotonicity of some associated functionals are investigated and applications for power series of such operators are given. Some trace…

Hilbert's first problem is of importance in relation to work being done in computational systems. It is the question of equipollence of natural and real numbers. By construction equipollence is established for real numbers in open interval…