Everand Logo

Welcome to Everand!

  • Discover millions of ebooks, audiobooks, and so much more with a free trial

    Only $11.99/month after trial. Cancel anytime.

    Unavailable
    Two Applications of Logic to Mathematics
    Unavailable
    Two Applications of Logic to Mathematics
    Unavailable
    Two Applications of Logic to Mathematics
    Ebook147 pages1 hour

    Two Applications of Logic to Mathematics

    By Gaisi Takeuti

    ()

    Currently unavailable

    Currently unavailable

    About this ebook

    Using set theory in the first part of his book, and proof theory in the second, Gaisi Takeuti gives us two examples of how mathematical logic can be used to obtain results previously derived in less elegant fashion by other mathematical techniques, especially analysis. In Part One, he applies Scott- Solovay's Boolean-valued models of set theory to analysis by means of complete Boolean algebras of projections. In Part Two, he develops classical analysis including complex analysis in Peano's arithmetic, showing that any arithmetical theorem proved in analytic number theory is a theorem in Peano's arithmetic. In doing so, the author applies Gentzen's cut elimination theorem.

    Although the results of Part One may be regarded as straightforward consequences of the spectral theorem in function analysis, the use of Boolean- valued models makes explicit and precise analogies used by analysts to lift results from ordinary analysis to operators on a Hilbert space. Essentially expository in nature, Part Two yields a general method for showing that analytic proofs of theorems in number theory can be replaced by elementary proofs.

    Originally published in 1978.

    The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905.

    LanguageEnglish
    PublisherPrinceton University Press
    Release dateMar 8, 2015
    ISBN9781400871346
    Unavailable
    Two Applications of Logic to Mathematics

    Related to Two Applications of Logic to Mathematics

    Titles in the series (6)

    View More
    View More

    Related ebooks

    Mathematics For You

    View More
    View More

    Related podcast episodes

    Related articles

    • Article

      The Math That Takes Newton Into the Quantum World

      Feb 28, 2019

      In my 50s, too old to become a real expert, I have finally fallen in love with algebraic geometry. As the name suggests, this is the study of geometry using algebra. Around 1637, René Descartes laid the groundwork for this subject by taking a plane,

      9 min read

    • Article

      Why The Holographic Principle Is So Exciting

      Mar 13, 2018

      One of the most cutting-edge theories in theoretical physics, the holographic principle, holds holds that the universe is 3D image projected off a 2D surface, much like a hologram emerges from a sheet of photographic film. “In my view, the discovery

      4 min read

    • Article

      Babbage And Running His Many Engines

      Nov 16, 2021

      Mike Bedford Like most of us, Mike tended to think of the likes of Alan Turing and John von Neumann as the pioneers of computing, so delving further into Charles Babbage’s creations was truly inspiring. Discussion about the first ever computer often

      11 min read

    • Article

      The Universe Began With a Big Melt, Not a Big Bang

      Oct 5, 2017

      There are two tantalizing mysteries about our universe, one dealing with its final fate and the other with its beginning, that have intrigued cosmologists for decades. The community has always believed these to be independent problems—but what if the

      10 min read

    • Article

      Quantum Mechanics 101

      Dec 5, 2019

      Quantum Mechanics 101
      7 min read

    • Article

      The Deepest Uncertainty

      May 16, 2019

      Georg Cantor died in 1918 in a sanatorium in Halle, Germany. A pre-eminent mathematician, he had laid the foundation for the theory of infinite numbers in the 1870s. At the time, his ideas received hostile opposition from prominent mathematicians in

      4 min read

    • Article

      What Is Cfd

      Jun 21, 2022

      What Is Cfd
      3 min read

    • Article

      The Deepest Uncertainty: When a hypothesis is neither true nor false.

      Jun 6, 2013

      Georg Cantor died in 1918 in a sanatorium in Halle, Germany. A pre-eminent mathematician, he had laid the foundation for the theory of infinite numbers in the 1870s. At the time, his ideas received hostile opposition from prominent mathematicians in

      4 min read

    • Article

      Heavyweight Particle

      Jun 12, 2022

      Heavyweight Particle
      13 min read

    • Article

      “Q’s” Real Gadgets Could Go Beyond Lasers Inside Pens

      Jul 8, 2021

      Recently, I read Quantum Computing: How it Works and Why it Could Change the World by Amit Katwala. It’s a great intro to the present state of and prospects for quantum computing – not too technical, wasting little space on the basics but avoiding th

      2 min read

    • Article

      Will Quantum Mechanics Swallow Relativity?

      Jun 8, 2017

      It is the biggest of problems, it is the smallest of problems. At present physicists have two separate rulebooks explaining how nature works. There is general relativity, which beautifully accounts for gravity and all of the things it dominates: orbi

      17 min read

    • Article

      Will Quantum Mechanics Swallow Relativity?: The contest between gravity and quantum physics takes a new turn.

      Oct 29, 2015

      It is the biggest of problems, it is the smallest of problems. At present physicists have two separate rulebooks explaining how nature works. There is general relativity, which beautifully accounts for gravity and all of the things it dominates: orbi

      17 min read

    • Article

      Fine Tuning Is Just Fine

      Sep 20, 2018

      It is hard to overstate the anticipation that preceded the opening of the Large Hadron Collider (LHC) 10 years ago. Smashing protons together at energies well above those produced at any previous particle accelerator, the LHC seemed capable of vindic

      9 min read

    • Article

      Light Could Solve One Of Quantum Computing’s Big Problems

      May 8, 2018

      Researchers have demonstrated how infrared laser pulses can shift electrons between two different states, the classic 1 and 0, in a thin sheet of semiconductor. The technique could help to solve a major issue with quantum computing. “Ordinary electro

      3 min read

    • Article

      Are Neural Networks About to Reinvent Physics?

      Nov 21, 2019

      Can AI teach itself the laws of physics? Will classical computers soon be replaced by deep neural networks? Sure looks like it, if you’ve been following the news, which lately has been filled with headlines like, “A neural net solves the three-body p

      9 min read

    Reviews for Two Applications of Logic to Mathematics

    0 ratings

    0 ratings0 reviews

    What did you think?

    Tap to rate

    Review must be at least 10 words