Related papers: On Scottish Book Problem 157

Consider a $m \times n$ matrix $A$, whose elements are arbitrary integers. Consider, for each square window of size $2 \times 2$, the sum of the corresponding elements of $A$. These sums form a $(m - 1) \times (n-1)$ matrix $S$. Can we…

This document summarizes the proofs made during a Coq development inSummer 2015. This development investigates the function G introducedby Hofstadter in his famous "G{\"o}del, Escher, Bach" bookas well as a related infinite tree. The…

In 1857 Sylvester stated a result on determinants without proof that was recognized as important over the subsequent century. Thus it was a surprise to Akritas, Akritas and Malaschonok when they found only one English proof - given by…

A result of Wright from 1937 shows that there are arbitrarily large natural numbers which cannot be represented as sums of $s$ $k$th powers of natural numbers which are constrained to lie within a narrow region. We show that the analogue of…

Drawing on a problem posed by Hertzsprung in 1887, we say that a given permutation $\pi\in\mathcal{S}_n$ contains the Hertzsprung pattern $\sigma\in\mathcal{S}_k$ if there is factor $\pi(d+1)\pi(d+2)\cdots\pi(d+k)$ of $\pi$ such that…

In 1960s, Dana Scott gave a recursion theoretic characterization of standard systems of countable non-standard models of arithmetic, i.e., collections of sets of standard natural numbers coded in non-standard models. Later, Knight and Nadel…

We present the first class of mathematically rigorous, general, fully self-referential, self-improving, optimally efficient problem solvers. Inspired by Kurt Goedel's celebrated self-referential formulas (1931), such a problem solver…

We consider the Cauchy problem for Schr\"odinger type operators. Under a suitable decay assumption on the imaginary part of the first order coefficients we prove well-posedness of the Cauchy problem in Gelfand-Shilov classes. We also…

This work is motivated by the papers [EG85] and [Ngu15] in which the following two problems are solved. Let $\mathcal{O}$ is a finitely generated $\mathbb{Z}$-algebra that is an integrally closed domain of characteristic zero, consider the…

This book is an introduction to the theory of stochastic partial differential equations (SPDEs), using the random field approach pioneered by J.B. Walsh (1986). It consists of two blocks: the core matter (Chapters 1 to 6) and the appendices…

The Stirling approximation formula for $n!$ dates from 1730. Here we give new and instructive proofs of this and related approximation formulae via tools of probability and statistics. There are connections to the Central Limit Theorem and…

We construct an explicit solution of the Cauchy initial value problem for the n-dimensional Schroedinger equation with certain time-dependent Hamiltonian operator of a modified oscillator. The dynamical SU(1,1) symmetry of the harmonic…

Sturm's theorem (1829/35) provides an elegant algorithm to count and locate the real roots of any real polynomial. In his residue calculus (1831/37) Cauchy extended Sturm's method to count and locate the complex roots of any complex…

We solve a theoretical arithmetics problem stated by Wac{\l}aw Sierpi\'nski. The problem has remained open for a couple of decades.

The explicit solution of the initial-values problem is exhibited of a subclass of the autonomous system of 2 coupled first-order ODE s with second-degree polynomial right-hand sides, hence featuring 12 a prior arbitrary (time-independent)…

In March 1999, the first named author (Binder) posed the problem of showing that a ``good direction'' $\psi\in [0,2]$ exists, for any Green's mapping $T:H\rightarrow\tilde \Omega$, i.e., \begin{equation}\label{binder}…

In this paper we demonstrate decidability for the intuitionistic modal logic S4 first formulated by Fischer Servi. This solves a problem that has been open for almost thirty years since it had been posed in Simpson's PhD thesis in 1994. We…

The Scott process of a relational structure $M$ is the sequence of sets of formulas given by the Scott analysis of $M$. We present axioms for the class of Scott processes of structures in a relational vocabulary $\tau$, and use them to give…

In Stokes flow, the stream function associated with the velocity of the fluid satisfies the biharmonic equation. The detailed behavior of solutions to the biharmonic equation on regions with corners has been historically difficult to…

In this article, we give a positive answer to a question posed in 1960 by D.S. Mitrinovi\'{c} and R.S. Mitrinovi\'{c} (see: D.S. Mitrinovi\'{c} et R.S. Mitrinovi\'{c}, Tableaux qui fournissent des polyn\^{o}mes de Stirling, Publications de…