理学 >>> 数学 >>> 数理逻辑与数学基础 >>> 演绎逻辑学 证明论 递归论 模型论 公理集合论 数学基础 数理逻辑与数学基础其他学科
搜索结果: 1-15 共查到数理逻辑与数学基础 problem相关记录23条 . 查询时间(0.062 秒)
The Problem of Thinking Too Much     thinking  The problem       2015/7/8
The Problem of Thinking Too Much。
We give a formula for the optimal sequence of perfect shuffles to bring a card at position p to the top (or indeed, to any position). This solves a fifty-year-old problem of Elmsley. The ar...
Abstract: It was noticed by Harel in [Har86] that "one can define $\Sigma_1^1$-complete versions of the well-known Post Correspondence Problem". We first give a complete proof of this result, showing ...
The paper deals with the asymptotic behavior as $\eps\to 0$ of the spectrum of Laplace-Beltrami operator $\Delta\e$ on the Riemannian manifold $M\e$ ($\mathrm{\dim} M\e=N\geq 2$) depending on a small ...
Let $E$ be a continuum in the closed unit disk $|z|\le 1$ of the complex $z$-plane which divides the open disk $|z| < 1$ into $n\ge 2$ pairwise non-intersecting simply connected domains $D_k,$ such t...
We consider $L^2$ minimizing geodesics along the group of volume preserving maps $SDiff(D)$ of a given 3-dimensional domain $D$. The corresponding curves describe the motion of an ideal incompressible...
Recently, M.K.-H. Kiessling and A.S. Tahvildar-Zadeh proved that a unique global classical solution to the relativistic Vlasov-Poisson system exists whenever the positive, integrable initial datum is...
It is proved that if the scattering amplitudes at a fixed wavenumber for two obstacles from a certain large class of obstacles differ a little, than the obstacles differ a little. Error estimate is g...
We study the conjugacy problem in the automorphism group $Aut(T)$ of a regular rooted tree $T$ and in its subgroup $FAut(T)$ of finite-state automorphisms. We show that under the contracting conditio...
We study an asymptotic behavior of the sum $\sum\limits_{n\le x}\frac{\D \tau(n)}{\D \tau(n+a)}$. Here $\tau(n)$ denotes the number of divisors of $n$ and $a\ge 1$ is a fixed integer.
The classical Heron problem states: \emph{on a given straight line in the plane, find a point $C$ such that the sum of the distances from $C$ to the given points $A$ and $B$ is minimal}. This problem ...
The existence of positive solutions is considered for the Dirichlet problem \[ \left\{ \begin{array} [c]{rcll}% -\Delta_{p}u & = & \lambda\omega_{1}(x)\left\vert u\right\vert ^{q-2}% u+\beta\omega_{2}...
This paper deals with the Nash problem, which consists in proving that the number of families of arcs on a singular germ of a surface $S$ coincides with the number of irreducible components of the ex...
We show that a general estimate in the $\dib$-Neumann problem implies a upper bound on the order of contact of a complex curve with the boundary and a lower bound on the rate of the Levi form of a bou...
A new, linear, three-term recurrence relation for the 6j-symbol of the quantum group suq(2) is derived. It is cast in the form of a symmetric eigenvalue problem, generalizing a result of Schulten and ...

中国研究生教育排行榜-

正在加载...

中国学术期刊排行榜-

正在加载...

世界大学科研机构排行榜-

正在加载...

中国大学排行榜-

正在加载...

人 物-

正在加载...

课 件-

正在加载...

视听资料-

正在加载...

研招资料 -

正在加载...

知识要闻-

正在加载...

国际动态-

正在加载...

会议中心-

正在加载...

学术指南-

正在加载...

学术站点-

正在加载...