5 results for "History"

Gödel's proof

Nagel, Ernest
In 1931 Kurt Gödel published his fundamental paper, "On Formally Undecidable Propositions of Principia Mathematica and Related Systems." This revolutionary paper challenged certain basic assumptions underlying much research in mathematics and logic. Gödel received public recognition of his work in 1951 when he was awarded the first Albert Einstein Award for achievement in the natural sciences—perhaps the highest award of its kind in the United States. The award committee described his work in mathematical logic as "one of the greatest contributions to the sciences in recent times." However, few mathematicians of the time were equipped to understand the young scholar's complex proof. Ernest Nagel and James Newman provide a readable and accessible explanation to both scholars and non-specialists of the main ideas and broad implications of Gödel's discovery. It offers every educated person with a taste for logic and philosophy the chance to understand a previously difficult and inaccessible subject. Marking the 50th anniversary of the original publication of Gödel's Proof , New York University Press is proud to publish this special anniversary edition of one of its bestselling and most frequently translated books. With a new introduction by Douglas R. Hofstadter, this book will appeal students, scholars, and professionals in the fields of mathematics, computer science, logic and philosophy, and science.
New York University Press 2001 129 pages

Theory of Finite and Infinite Graphs

König, Denes
To most graph theorists there are two outstanding landmarks in the history of their subject. One is Euler's solution of the Konigsberg Bridges Problem, dated 1736, and the other is the appearance of Denes Konig's textbook in 1936. "From Konigsberg to Konig's book" sings the poetess, "So runs the graphic tale . . . " [10]. There were earlier books that took note of graph theory. Veb len's Analysis Situs, published in 1931, is about general combinato rial topology. But its first two chapters, on "Linear graphs" and "Two-Dimensional Complexes," are almost exclusively concerned with the territory still explored by graph theorists. Rouse Ball's Mathematical Recreations and Essays told, usually without proofs, of the major graph-theoretical advances ofthe nineteenth century, of the Five Colour Theorem, of Petersen's Theorem on I-factors, and of Cayley's enumerations of trees. It was Rouse Ball's book that kindled my own graph-theoretical enthusiasm. The graph-theoretical papers of Hassler Whitney, published in 1931-1933, would have made an excellent textbook in English had they been collected and published as such. But the honour of presenting Graph Theory to the mathe matical world as a subject in its own right, with its own textbook, belongs to Denes Konig. Low was the prestige of Graph Theory in the Dirty Thirties. It is still remembered, with resentment now shading into amuse ment, how one mathematician scorned it as "The slums of Topol ogy.""
Birkhäuser 2012-10-18 436 pages

Modern higher algebra

Albert, A. Adrian
Abraham Adrian Albert (1905-72) was an American mathematician primarily known for his groundbreaking work on algebra. In this book, which was originally published in 1938, Albert provides a detailed exposition of 'modern abstract algebra', taking into account numerous discoveries in the field during the preceding ten years. A glossary is included. This is a highly informative book that will be of value to anyone with an interest in the development of algebra and the history of mathematics.
Cambridge University Press 2015-10-01 332 pages

13 Lectures on Fermat's Last Theorem

Ribenboim, Paulo
Lecture I The Early History of Fermat's Last Theorem.- 1 The Problem.- 2 Early Attempts.- 3 Kummer's Monumental Theorem.- 4 Regular Primes.- 5 Kummer's Work on Irregular Prime Exponents.- 6 Other Relevant Results.- 7 The Golden Medal and the Wolfskehl Prize.- Lecture II Recent Results.- 1 Stating the Results.- 2 Explanations.- Lecture III B.K. = Before Kummer.- 1 The Pythagorean Equation.- 2 The Biquadratic Equation.- 3 The Cubic Equation.- 4 The Quintic Equation.- 5 Fermat's Equation of Degree Seven.- Lecture IV The Naïve Approach.- 1 The Relations of Barlow and Abel.- 2 Sophie Germain.- 3 Congruences.- 4 Wendt's Theorem.- 5 Abel's Conjecture.- 6 Fermat's Equation with Even Exponent.- 7 Odds and Ends.- Lecture V Kummer's Monument.- 1 A Justification of Kummer's Method.- 2 Basic Facts about the Arithmetic of Cyclotomic Fields.- 3 Kummer's Main Theorem.- Lecture VI Regular Primes.- 1 The Class Number of Cyclotomic Fields.- 2 Bernoulli Numbers and Kummer's Regularity Criterion.- 3 Various Arithmetic Properties of Bernoulli Numbers.- 4 The Abundance of Irregular Primes.- 5 Computation of Irregular Primes.- Lecture VII Kummer Exits.- 1 The Periods of the Cyclotomic Equation.- 2 The Jacobi Cyclotomic Function.- 3 On the Generation of the Class Group of the Cyclotomic Field.- 4 Kummer's Congruences.- 5 Kummer's Theorem for a Class of Irregular Primes.- 6 Computations of the Class Number.- Lecture VIII After Kummer, a New Light.- 1 The Congruences of Mirimanoff.- 2 The Theorem of Krasner.- 3 The Theorems of Wieferich and Mirimanoff.- 4 Fermat's Theorem and the Mersenne Primes.- 5 Summation Criteria.- 6 Fermat Quotient Criteria.- Lecture IX The Power of Class Field Theory.- 1 The Power Residue Symbol.- 2 Kummer Extensions.- 3 The Main Theorems of Furtwängler.- 4 The Method of Singular Integers.- 5 Hasse.- 6 The p-Rank of the Class Group of the Cyclotomic Field.- 7 Criteria of p-Divisibility of the Class Number.- 8 Properly and Improperly Irregular Cyclotomic Fields.- Lecture X Fresh Efforts.- 1 Fermat's Last Theorem Is True for Every Prime Exponent Less Than 125000.- 2 Euler Numbers and Fermat's Theorem.- 3 The First Case Is True for Infinitely Many Pairwise Relatively Prime Exponents.- 4 Connections between Elliptic Curves and Fermat's Theorem.- 5 Iwasawa's Theory.- 6 The Fermat Function Field.- 7 Mordell's Conjecture.- 8 The Logicians.- Lecture XI Estimates.- 1 Elementary (and Not So Elementary) Estimates.- 2 Estimates Based on the Criteria Involving Fermat Quotients.- 3 Thue, Roth, Siegel and Baker.- 4 Applications of the New Methods.- Lecture XII Fermat's Congruence.- 1 Fermat's Theorem over Prime Fields.- 2 The Local Fermat's Theorem.- 3 The Problem Modulo a Prime-Power.- Lecture XIII Variations and Fugue on a Theme.- 1 Variation I (In the Tone of Polynomial Functions).- 2 Variation II (In the Tone of Entire Functions).- 3 Variation III (In the Theta Tone).- 4 Variation IV (In the Tone of Differential Equations).- 5 Variation V (Giocoso).- 6 Variation VI (In the Negative Tone).- 7 Variation VII (In the Ordinal Tone).- 8 Variation VIII (In a Nonassociative Tone).- 9 Variation IX (In the Matrix Tone).- 10 Fugue (In the Quadratic Tone).- Epilogue.- Index of Names.
Springer 2012-07-02 320 pages

Theory of Functionals: And of Integral and Integro-Differential Equations

Volterra, Vito,Fantappiè, Luigi
"Theory of Functionals: And of Integral and Integro-Differential Equations" is a foundational treatise in the field of mathematical analysis, representing the culmination of Vito Volterra's pioneering research into the calculus of variations and the generalization of functions. As one of the most significant figures in late 19th and early 20th-century mathematics, Volterra introduces a systematic approach to functionals-functions that depend on other functions-providing a rigorous framework for what is now known as functional analysis. The work explores the properties of integral and integro-differential equations, detailing their development and their profound implications for both pure mathematics and mathematical physics. Volterra examines the transition from finite-dimensional space to infinite-dimensional space, offering insights into the behavior of systems where the current state depends on past history. Edited and expanded from his influential lectures, this volume serves as an essential resource for understanding the historical development of modern analysis. It remains a vital reference for mathematicians and physicists interested in the evolution of linear operators and the mathematical modeling of complex physical phenomena. This work has been selected by scholars as being culturally important, and is part of the knowledge base of civilization as we know it. This work was reproduced from the original artifact, and remains as true to the original work as possible. Therefore, you may see the original copyright references, library stamps (as most of these works have been housed in our most important libraries around the world), and other notations in the work. This work is in the public domain in the United States of America, and possibly other nations. Within the United States, you may freely copy and distribute this work, as no entity (individual or corporate) has a copyright on the body of the work. As a reproduction of a historical artifact, this work may contain missing or blurred pages, poor pictures, errant marks, etc. Scholars believe, and we concur, that this work is important enough to be preserved, reproduced, and made generally available to the public. We appreciate your support of the preservation process, and thank you for being an important part of keeping this knowledge alive and relevant.
Tradd Street Press 2026-02-14 250 pages