Proceedings of The London Mathematical Society 

About: Proceedings of The London Mathematical Society is an academic journal published by London Mathematical Society. The journal publishes majorly in the area(s): Group (mathematics) & Series (mathematics). It has an ISSN identifier of 0024-6115. Over the lifetime, 5103 publications have been published receiving 188951 citations.

On Computable Numbers, with an Application to the Entscheidungsproblem

Abstract: 1. Computing machines. 2. Definitions. Automatic machines. Computing machines. Circle and circle-free numbers. Computable sequences and numbers. 3. Examples of computing machines. 4. Abbreviated tables Further examples. 5. Enumeration of computable sequences. 6. The universal computing machine. 7. Detailed description of the universal machine. 8. Application of the diagonal process. Pagina 1 di 38 On computable numbers, with an application to the Entscheidungsproblem A. M. ...

On a Problem of Formal Logic

Abstract: This paper is primarily concerned with a special case of one of the leading problems of mathematical logic, the problem of finding a regular procedure to determine the truth or falsity of any given logical formula*. But in the course of this investigation it is necessary to use certain theorems on combinations which have an independent interest and are most conveniently set out by themselves beforehand.

The self-duality equations on a riemann surface

Abstract: In this paper we shall study a special class of solutions of the self-dual Yang-Mills equations. The original self-duality equations which arose in mathematical physics were defined on Euclidean 4-space. The physically relevant solutions were the ones with finite action-the so-called 'instantons'. The same equations may be dimensionally reduced to Euclidean 3-space by imposing invariance under translation in one direction. These equations also have physical relevance-the solutions which have finite action in three dimensions are the 'magnetic monopoles'. If we take the reduction process one step further and consider solutions which are invariant under two translations, we obtain a set of equations in the plane. Here, however, there is no clear physical meaning and, indeed, attempts to find finite action solutions have failed. Nevertheless, these are the equations we shall consider. Despite the lack of interesting solutions in R2, the equations have the important property-conformal invariance-which allows them to be defined on manifolds modelled on R2 by conformal maps, namely Riemann surfaces. We shall consider here solutions of the self-duality equations defined on a compact Riemann surface. There are in fact solutions, as we shall show, and the moduli space of all solutions turns out to be a manifold with an extremely rich geometric structure which will be the focus of our study. It brings together in a harmonious way the subjects of Riemannian geometry, topology, algebraic geometry, and symplectic geometry. Illuminating all these facets of the same object accounts for the length of this paper. The self-duality equations are equations from gauge theory; geometrically they are defined in terms of connections on principal bundles. While the group of the principal bundle may be chosen arbitrarily for the equations to make sense, we restrict attention here to the simplest case of SU(2) or SO(3). There are two reasons for this. The first, and most obvious, is that it simplifies calculations and avoids the use of inductive processes which are inherent in the consideration of a general Lie group of higher rank. The second reason is that solutions for SU(2) have an intimate relationship with the internal structure of the Riemann surface. As a consequence of results we shall prove about solutions to the self-duality equations, we learn something about the moduli space of complex structures on the surface itself, namely Teichmuller space.