Berechenbarkeit Komplexität Logik

Algorithmen, Sprachen und Kalküle unter besonderer Berücksichtigung ihrer Komplexität

Author: Egon Börger

Publisher: Springer-Verlag

ISBN: 3322832279

Category: Technology & Engineering

Page: 499

View: 6973

Endlich liegt der ,,Klassiker" der Theoretischen Informatik, der Studenten und Forschern ein unentbehrliches Standardwerk ist, in neuer Auflage vor.

Constructivism in Mathematics

Author: A.S. Troelstra,D. van Dalen

Publisher: Elsevier

ISBN: 0080570887

Category: Mathematics

Page: 355

View: 2287

These two volumes cover the principal approaches to constructivism in mathematics. They present a thorough, up-to-date introduction to the metamathematics of constructive mathematics, paying special attention to Intuitionism, Markov's constructivism and Martin-Lof's type theory with its operational semantics. A detailed exposition of the basic features of constructive mathematics, with illustrations from analysis, algebra and topology, is provided, with due attention to the metamathematical aspects. Volume 1 is a self-contained introduction to the practice and foundations of constructivism, and does not require specialized knowledge beyond basic mathematical logic. Volume 2 contains mainly advanced topics of a proof-theoretical and semantical nature.


An introduction

Author: Anne Sjerp Troelstra,Dirk van Dalen

Publisher: N.A

ISBN: 9780444705068


Page: N.A

View: 1681


Logic, Mathematics, Philosophy, Vintage Enthusiasms

Essays in Honour of John L. Bell

Author: David DeVidi,Michael Hallett,Peter Clark

Publisher: Springer Science & Business Media

ISBN: 9789400702141

Category: Philosophy

Page: 486

View: 1216

The volume includes twenty-five research papers presented as gifts to John L. Bell to celebrate his 60th birthday by colleagues, former students, friends and admirers. Like Bell’s own work, the contributions cross boundaries into several inter-related fields. The contributions are new work by highly respected figures, several of whom are among the key figures in their fields. Some examples: in foundations of maths and logic (William Lawvere, Peter Aczel, Graham Priest, Giovanni Sambin); analytical philosophy (Michael Dummett, William Demopoulos), philosophy of science (Michael Redhead, Frank Arntzenius), philosophy of mathematics (Michael Hallett, John Mayberry, Daniel Isaacson) and decision theory and foundations of economics (Ken Bimore). Most articles are contributions to current philosophical debates, but contributions also include some new mathematical results, important historical surveys, and a translation by Wilfrid Hodges of a key work of arabic logic.

Proof Theory and Automated Deduction

Author: Jean Goubault-Larrecq,Ian Mackie

Publisher: Kluwer Academic Pub

ISBN: 9780792345930

Category: Computers

Page: 424

View: 966

Proof Theory and Automated Deduction is written for final-year undergraduate and first-year post-graduate students. It should also serve as a valuable reference for researchers in logic and computer science. It covers basic notions in logic, with a particular stress on proof theory, as opposed to, for example, model theory or set theory; and shows how they are applied in computer science, and especially the particular field of automated deduction, i.e. the automated search for proofs of mathematical propositions. We have chosen to give an in-depth analysis of the basic notions, instead of giving a mere sufficient analysis of basic and less basic notions. We often derive the same theorem by different methods, showing how different mathematical tools can be used to get at the very nature of the objects at hand, and how these tools relate to each other. Instead of presenting a linear collection of results, we have tried to show that all results and methods are tightly interwoven. We believe that understanding how to travel along this web of relations between concepts is more important than just learning the basic theorems and techniques by rote. Audience: The book is a valuable reference for researchers in logic and computer science.

The Philosophy of Mathematics Education

Author: Paul Ernest

Publisher: Routledge

ISBN: 1135387540

Category: Education

Page: 346

View: 8775

Although many agree that all teaching rests on a theory of knowledge, there has been no in-depth exploration of the implications of the philosophy of mathematics for education. This is Paul Ernest's aim. Building on the work of Lakatos and Wittgenstein it challenges the prevalent notion that mathematical knowledge is certain, absolute and neutral, and offers instead an account of mathematics as a social construction. This has profound educational implications for social issues, including gender, race and multiculturalism; for pedagogy, including investigations and problem solving; and challenges hierarchical views of mathematics, learning and ability. Beyond this, the book offers a well-grounded model of five educational ideologies, each with its own epistemology, values, aims and social group of adherents. An analysis of the impact of these groups on the National Curriculum results in a powerful critique, revealing the questionable assumptions, values and interests upon which it rests. The book finishes on an optimistic note, arguing that pedagogy, left unspecified by the National Curriculum, is the way to achieve the radical aims of educating confident problem posers and solvers who are able to critically evaluate the social uses of mathematics.

In Defense of Intuitions

A New Rationalist Manifesto

Author: A. Chapman,A. Ellis,R. Hanna,T. Hildebrand,H. Pickford

Publisher: Springer

ISBN: 1137347953

Category: Philosophy

Page: 427

View: 480

A reply to contemporary skepticism about intuitions and a priori knowledge, and a defense of neo-rationalism from a contemporary Kantian standpoint, focusing on the theory of rational intuitions and on solving the two core problems of justifying and explaining them.

The Infinite in Mathematics

Logico-mathematical writings

Author: Felix Kaufmann

Publisher: Springer Science & Business Media

ISBN: 9789027708472

Category: Science

Page: 237

View: 2213

The main item in the present volume was published in 1930 under the title Das Unendliche in der Mathematik und seine Ausschaltung. It was at that time the fullest systematic account from the standpoint of Husserl's phenomenology of what is known as 'finitism' (also as 'intuitionism' and 'constructivism') in mathematics. Since then, important changes have been required in philosophies of mathematics, in part because of Kurt Godel's epoch-making paper of 1931 which established the essential in completeness of arithmetic. In the light of that finding, a number of the claims made in the book (and in the accompanying articles) are demon strably mistaken. Nevertheless, as a whole it retains much of its original interest and value. It presents the issues in the foundations of mathematics that were under debate when it was written (and in some cases still are); , and it offers one alternative to the currently dominant set-theoretical definitions of the cardinal numbers and other arithmetical concepts. While still a student at the University of Vienna, Felix Kaufmann was greatly impressed by the early philosophical writings (especially by the Logische Untersuchungen) of Edmund Husser!' He was never an uncritical disciple of Husserl, and he integrated into his mature philosophy ideas from a wide assortment of intellectual sources. But he thought of himself as a phenomenologist, and made frequent use in all his major publications of many of Husserl's logical and epistemological theses.

Computable Foundations for Economics

Author: K. Vela Velupillai

Publisher: Routledge

ISBN: 1134253362

Category: Business & Economics

Page: 512

View: 9783

Computable Foundations for Economics is a unified collection of essays, some of which are published here for the first time and all of which have been updated for this book, on an approach to economic theory from the point of view of algorithmic mathematics. By algorithmic mathematics the author means computability theory and constructive mathematics. This is in contrast to orthodox mathematical economics and game theory, which are formalised with the mathematics of real analysis, underpinned by what is called the ZFC formalism, i.e., set theory with the axiom of choice. This reliance on ordinary real analysis and the ZFC system makes economic theory in its current mathematical mode completely non-algorithmic, which means it is numerically meaningless. The book provides a systematic attempt to dissect and expose the non-algorithmic content of orthodox mathematical economics and game theory and suggests a reformalization on the basis of a strictly rigorous algorithmic mathematics. This removes the current schizophrenia in mathematical economics and game theory, where theory is entirely divorced from algorithmic applicability – for experimental and computational exercises. The chapters demonstrate the uncomputability and non-constructivity of core areas of general equilibrium theory, game theory and recursive macroeconomics. The book also provides a fresh look at the kind of behavioural economics that lies behind Herbert Simon’s work, and resurrects a role for the noble classical traditions of induction and verification, viewed and formalised, now, algorithmically. It will therefore be of particular interest to postgraduate students and researchers in algorithmic economics, game theory and classical behavioural economics.

Kurt Gödel

Wahrheit & Beweisbarkeit

Author: Kurt Gödel,Eckehart Köhler,Bernd Buldt

Publisher: N.A

ISBN: 9783209038340

Category: Logicians

Page: 448

View: 8236


From Logic to Practice

Italian Studies in the Philosophy of Mathematics

Author: Gabriele Lolli,Marco Panza,Giorgio Venturi

Publisher: Springer

ISBN: 3319104349

Category: Philosophy

Page: 336

View: 6570

This book brings together young researchers from a variety of fields within mathematics, philosophy and logic. It discusses questions that arise in their work, as well as themes and reactions that appear to be similar in different contexts. The book shows that a fairly intensive activity in the philosophy of mathematics is underway, due on the one hand to the disillusionment with respect to traditional answers, on the other to exciting new features of present day mathematics. The book explains how the problem of applicability once again plays a central role in the development of mathematics. It examines how new languages different from the logical ones (mostly figural), are recognized as valid and experimented with and how unifying concepts (structure, category, set) are in competition for those who look at this form of unification. It further shows that traditional philosophies, such as constructivism, while still lively, are no longer only philosophies, but guidelines for research. Finally, the book demonstrates that the search for and validation of new axioms is analyzed with a blend of mathematical historical, philosophical, psychological considerations.

Foundations of Constructive Mathematics

Metamathematical Studies

Author: M.J. Beeson

Publisher: Springer Science & Business Media

ISBN: 3642689523

Category: Mathematics

Page: 466

View: 3381

This book is about some recent work in a subject usually considered part of "logic" and the" foundations of mathematics", but also having close connec tions with philosophy and computer science. Namely, the creation and study of "formal systems for constructive mathematics". The general organization of the book is described in the" User's Manual" which follows this introduction, and the contents of the book are described in more detail in the introductions to Part One, Part Two, Part Three, and Part Four. This introduction has a different purpose; it is intended to provide the reader with a general view of the subject. This requires, to begin with, an elucidation of both the concepts mentioned in the phrase, "formal systems for constructive mathematics". "Con structive mathematics" refers to mathematics in which, when you prove that l a thing exists (having certain desired properties) you show how to find it. Proof by contradiction is the most common way of proving something exists without showing how to find it - one assumes that nothing exists with the desired properties, and derives a contradiction. It was only in the last two decades of the nineteenth century that mathematicians began to exploit this method of proof in ways that nobody had previously done; that was partly made possible by the creation and development of set theory by Georg Cantor and Richard Dedekind.

Die Grundlagen der Mathematik

Author: David Hilbert

Publisher: Springer-Verlag

ISBN: 3663161021

Category: Mathematics

Page: 29

View: 8053

Dieser Buchtitel ist Teil des Digitalisierungsprojekts Springer Book Archives mit Publikationen, die seit den Anfängen des Verlags von 1842 erschienen sind. Der Verlag stellt mit diesem Archiv Quellen für die historische wie auch die disziplingeschichtliche Forschung zur Verfügung, die jeweils im historischen Kontext betrachtet werden müssen. Dieser Titel erschien in der Zeit vor 1945 und wird daher in seiner zeittypischen politisch-ideologischen Ausrichtung vom Verlag nicht beworben.

Encyclopedia of Philosophy: Kabbalah - Marxist philosophy

Author: Donald M. Borchert

Publisher: Thomson Gale/MacMillan Reference USA

ISBN: 9780028657851

Category: Philosophy

Page: 10

View: 5654

Containing material from hundreds of highly distinguished contributors representing the world's top universities and institutions, the second edition has a truly global perspective. It contains more than 2,100 entries -- including more than 450 new articles. Among the many topics covered are African, Islamic, Jewish, Russian, Chinese, and Buddhist philosophies; bioethics and biomedical ethics; art and aesthetics; epistemology; metaphysics; peace and war; social and political philosophy; the Holocaust; feminist thought; and much more. Additionally, the second edition also features 1,000 biographical entries on major figures in philosophical thought throughout history.