The Foundations of Computability Theory

Author: Borut Robič

Publisher: Springer

ISBN: 3662448084

Category: Computers

Page: 331

View: 8295

Release On

This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science.

The Green Book of Mathematical Problems

Author: Kenneth Hardy,Kenneth S. Williams

Publisher: Courier Corporation

ISBN: 0486169456

Category: Mathematics

Page: 184

View: 2229

Release On

Rich selection of 100 practice problems — with hints and solutions — for students preparing for the William Lowell Putnam and other undergraduate-level mathematical competitions. Features real numbers, differential equations, integrals, polynomials, sets, other topics. Hours of stimulating challenge for math buffs at varying degrees of proficiency. References.

Undecidable Theories

Author: Alfred Tarski,Andrzej Mostowski,Raphael Mitchel Robinson,Raphael R. Robinson

Publisher: N.A

ISBN: 9780486477039

Category: Mathematics

Page: 98

View: 8089

Release On

This book is well known for its proof that many mathematical systems — including lattice theory and closure algebras — are undecidable. It consists of three treatises from one of the greatest logicians of all time: "A General Method in Proofs of Undecidability," "Undecidability and Essential Undecidability in Mathematics," and "Undecidability of the Elementary Theory of Groups."

Foundations of Radiation Hydrodynamics

Author: Dimitri Mihalas,Barbara Weibel Mihalas

Publisher: Courier Corporation

ISBN: 0486135888

Category: Science

Page: 752

View: 3203

Release On

Excellent, informative volume focuses on dynamics of nonradiating fluids, problems involving waves, shocks and stellar winds, physics of radiation, radiation transport, and the dynamics of radiating fluids. 1984 edition.

An Introduction to the Theory of Elasticity

Author: R. J. Atkin,N. Fox

Publisher: Courier Corporation

ISBN: 0486150992

Category: Science

Page: 272

View: 2898

Release On

Accessible text covers deformation and stress, derivation of equations of finite elasticity, and formulation of infinitesimal elasticity with application to two- and three-dimensional static problems and elastic waves. 1980 edition.

Atomic Physics: 8th Edition

Author: Max Born

Publisher: Courier Corporation

ISBN: 0486318583

Category: Science

Page: 544

View: 2414

Release On

Nobel Laureate's lucid treatment of kinetic theory of gases, elementary particles, nuclear atom, wave-corpuscles, atomic structure and spectral lines, much more. Over 40 appendices, bibliography.

Mathematical Logic

Author: Stephen Cole Kleene

Publisher: Courier Corporation

ISBN: 0486317072

Category: Mathematics

Page: 416

View: 9238

Release On

Contents include an elementary but thorough overview of mathematical logic of 1st order; formal number theory; surveys of the work by Church, Turing, and others, including Gödel's completeness theorem, Gentzen's theorem, more.

Non-Linear Elastic Deformations

Author: R. W. Ogden

Publisher: Courier Corporation

ISBN: 0486318710

Category: Technology & Engineering

Page: 544

View: 1271

Release On

Classic in the field covers application of theory of finite elasticity to solution of boundary-value problems, analysis of mechanical properties of solid materials capable of large elastic deformations. Problems. References.

An Introduction to Differential Geometry

Author: T. J. Willmore

Publisher: Courier Corporation

ISBN: 0486282104

Category: Mathematics

Page: 336

View: 9060

Release On

This text employs vector methods to explore the classical theory of curves and surfaces. Topics include basic theory of tensor algebra, tensor calculus, calculus of differential forms, and elements of Riemannian geometry. 1959 edition.

On Formally Undecidable Propositions of Principia Mathematica and Related Systems

Author: Kurt Gödel

Publisher: Courier Corporation

ISBN: 9780486669809

Category: Mathematics

Page: 72

View: 550

Release On

In 1931, a young Austrian mathematician published an epoch-making paper containing one of the most revolutionary ideas in logic since Aristotle. Kurt Giidel maintained, and offered detailed proof, that in any arithmetic system, even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. The repercussions of this discovery are still being felt and debated in 20th-century mathematics. The present volume reprints the first English translation of Giidel's far-reaching work. Not only does it make the argument more intelligible, but the introduction contributed by Professor R. B. Braithwaite (Cambridge University}, an excellent work of scholarship in its own right, illuminates it by paraphrasing the major part of the argument. This Dover edition thus makes widely available a superb edition of a classic work of original thought, one that will be of profound interest to mathematicians, logicians and anyone interested in the history of attempts to establish axioms that would provide a rigorous basis for all mathematics. Translated by B. Meltzer, University of Edinburgh. Preface. Introduction by R. B. Braithwaite.

Mechanism, Mentalism and Metamathematics

An Essay on Finitism

Author: J. Webb

Publisher: Springer Science & Business Media

ISBN: 940157653X

Category: Philosophy

Page: 285

View: 6240

Release On

This book grew out of a graduate student paper [261] in which I set down some criticisms of J. R. Lucas' attempt to refute mechanism by means of G6del's theorem. I had made several such abortive attempts myself and had become familiar with their pitfalls, and especially with the double edged nature of incompleteness arguments. My original idea was to model the refutation of mechanism on the almost universally accepted G6delian refutation of Hilbert's formalism, but I kept getting stuck on questions of mathematical philosophy which I found myself having to beg. A thorough study of the foundational works of Hilbert and Bernays finally convinced me that I had all too naively and uncritically bought this refutation of formalism. I did indeed discover points of surprisingly close contact between formalism and mechanism, but also that it was possible to under mine certain strong arguments against these positions precisely by invok ing G6del's and related work. I also began to realize that the Church Turing thesis itself is the principal bastion protecting mechanism, and that G6del's work was perhaps the best thing that ever happened to both mechanism and formalism. I pushed these lines of argument in my dis sertation with the patient help of my readers, Raymond Nelson and Howard Stein. I would especially like to thank the latter for many valuable criticisms of my dissertation as well as some helpful suggestions for reor ganizing it in the direction of the present book.

The History of Mathematics

An Introduction

Author: David M. Burton

Publisher: WCB/McGraw-Hill

ISBN: 9780697111968

Category: Mathematics

Page: 678

View: 9245

Release On

This text is designed for the junior/senior mathematics major who intends to teach mathematics in high school or college. It concentrates on the history of those topics typically covered in an undergraduate curriculum or in elementary schools or high schools. At least one year of calculus is a prerequisite for this course. This book contains enough material for a 2 semester course but it is flexible enough to be used in the more common 1 semester course.

An introduction to the history of mathematics

Author: Howard Whitley Eves

Publisher: Saunders College Publishing


Category: Mathematics

Page: 593

View: 2518

Release On

This classic best-seller by a well-known author introduces mathematics history to math and math education majors. Suggested essay topics and problem studies challenge students. CULTURAL CONNECTIONS sections explain the time and culture in which mathematics developed and evolved. Portraits of mathematicians and material on women in mathematics are of special interest.

Naive Mengenlehre

Author: Paul R. Halmos

Publisher: Vandenhoeck & Ruprecht

ISBN: 9783525405277

Category: Arithmetic

Page: 132

View: 5455

Release On

Applied Nonstandard Analysis

Author: Martin Davis

Publisher: Courier Corporation

ISBN: 0486152340

Category: Mathematics

Page: 208

View: 8292

Release On

This applications-oriented text assumes no knowledge of mathematical logic in its development of nonstandard analysis techniques and their applications to elementary real analysis and topological and Hilbert space. 1977 edition.