July 18, 2018
Luitzen Egbertus Jan Brouwer,D. van Dalen,Brouwer
Author: Luitzen Egbertus Jan Brouwer,D. van Dalen,Brouwer
Publisher: Cambridge University Press
ISBN: 9780521177368
Category: Mathematics
Page: 122
View: 5287
Continue Reading →
Luitzen Egburtus Jan Brouwer founded a school of thought whose aim was to include mathematics within the framework of intuitionistic philosophy; mathematics was to be regarded as an essentially free development of the human mind. What emerged diverged considerably at some points from tradition, but intuitionism has survived well the struggle between contending schools in the foundations of mathematics and exact philosophy. Originally published in 1981, this monograph contains a series of lectures dealing with most of the fundamental topics such as choice sequences, the continuum, the fan theorem, order and well-order. Brouwer's own powerful style is evident throughout the work.
July 18, 2018
Dirk van Dalen
How Mathematics Is Rooted in Life
Author: Dirk van Dalen
Publisher: Springer Science & Business Media
ISBN: 1447146166
Category: Mathematics
Page: 875
View: 5266
Continue Reading →
Dirk van Dalen’s biography studies the fascinating life of the famous Dutch mathematician and philosopher Luitzen Egbertus Jan Brouwer. Brouwer belonged to a special class of genius; complex and often controversial and gifted with a deep intuition, he had an unparalleled access to the secrets and intricacies of mathematics. Most mathematicians remember L.E.J. Brouwer from his scientific breakthroughs in the young subject of topology and for the famous Brouwer fixed point theorem. Brouwer’s main interest, however, was in the foundation of mathematics which led him to introduce, and then consolidate, constructive methods under the name ‘intuitionism’. This made him one of the main protagonists in the ‘foundation crisis’ of mathematics. As a confirmed internationalist, he also got entangled in the interbellum struggle for the ending of the boycott of German and Austrian scientists. This time during the twentieth century was turbulent; nationalist resentment and friction between formalism and intuitionism led to the Mathematische Annalen conflict ('The war of the frogs and the mice'). It was here that Brouwer played a pivotal role. The present biography is an updated revision of the earlier two volume biography in one single book. It appeals to mathematicians and anybody interested in the history of mathematics in the first half of the twentieth century.
July 18, 2018
Mark van Atten,Pascal Boldini,Michel Bourdeau,Gerhard Heinzmann
The Cerisy Conference
Author: Mark van Atten,Pascal Boldini,Michel Bourdeau,Gerhard Heinzmann
Publisher: Springer Science & Business Media
ISBN: 3764386533
Category: Science
Page: 422
View: 9091
Continue Reading →
Intuitionism is one of the main foundations for mathematics proposed in the twentieth century and its views on logic have also notably become important with the development of theoretical computer science. This book reviews and completes the historical account of intuitionism. It also presents recent philosophical work on intuitionism and gives examples of new technical advances and applications. It brings together 21 contributions from today's leading authors on intuitionism.
July 18, 2018
Michael A. E. Dummett
Author: Michael A. E. Dummett
Publisher: Oxford University Press
ISBN: 9780198505242
Category: Mathematics
Page: 331
View: 3873
Continue Reading →
This is a long-awaited new edition of one of the best known Oxford Logic Guides. The book gives an introduction to intuitionistic mathematics, leading the reader gently through the fundamental mathematical and philosophical concepts. The treatment of various topics, for example Brouwer's proof of the Bar Theorem, valuation systems, and the completeness of intuitionistic first-order logic, have been completely revised.
July 18, 2018
Donald M. Borchert
Author: Donald M. Borchert
Publisher: Thomson Gale/MacMillan Reference USA
ISBN: 9780028657813
Category: Philosophy
Page: 10
View: 5250
Continue Reading →
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.
July 18, 2018
N.A
Author: N.A
Publisher: N.A
ISBN: N.A
Category: Catalogs, Union
Page: N.A
View: 8561
Continue Reading →
Includes entries for maps and atlases.
July 18, 2018
Ludwig Wittgenstein,R. G. Bosanquet,Cora Diamond
Author: Ludwig Wittgenstein,R. G. Bosanquet,Cora Diamond
Publisher: University of Chicago Press
ISBN: 9780226904269
Category: Mathematics
Page: 300
View: 9009
Continue Reading →
For several terms at Cambridge in 1939, Ludwig Wittgenstein lectured on the philosophical foundations of mathematics. A lecture class taught by Wittgenstein, however, hardly resembled a lecture. He sat on a chair in the middle of the room, with some of the class sitting in chairs, some on the floor. He never used notes. He paused frequently, sometimes for several minutes, while he puzzled out a problem. He often asked his listeners questions and reacted to their replies. Many meetings were largely conversation. These lectures were attended by, among others, D. A. T. Gasking, J. N. Findlay, Stephen Toulmin, Alan Turing, G. H. von Wright, R. G. Bosanquet, Norman Malcolm, Rush Rhees, and Yorick Smythies. Notes taken by these last four are the basis for the thirty-one lectures in this book. The lectures covered such topics as the nature of mathematics, the distinctions between mathematical and everyday languages, the truth of mathematical propositions, consistency and contradiction in formal systems, the logicism of Frege and Russell, Platonism, identity, negation, and necessary truth. The mathematical examples used are nearly always elementary.
July 18, 2018
Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Natuurkunde
Author: Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Natuurkunde
Publisher: N.A
ISBN: N.A
Category: Science
Page: N.A
View: 3950
Continue Reading →
July 18, 2018
Koninklijke Akademie van Wetenschappen. Afdeeling voor de Wis- en Natuurkundige Wetenschappen,Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Natuurkunde,Koninklijke Akademie van Wetenschappen (Netherlands). Afdeeling Natuurkunde,Koninklijke Nederlandse Akademie van Wetenschappen
Author: Koninklijke Akademie van Wetenschappen. Afdeeling voor de Wis- en Natuurkundige Wetenschappen,Koninklijke Nederlandse Akademie van Wetenschappen. Afdeling Natuurkunde,Koninklijke Akademie van Wetenschappen (Netherlands). Afdeeling Natuurkunde,Koninklijke Nederlandse Akademie van Wetenschappen
Publisher: N.A
ISBN: N.A
Category: Science
Page: N.A
View: 1331
Continue Reading →
July 18, 2018
N.A
Author: N.A
Publisher: N.A
ISBN: N.A
Category: American literature
Page: N.A
View: 3327
Continue Reading →
July 18, 2018
Ian Christopher Campbell,Eve Coxon,'I. Futa Helu
Essays in Honour of Professor 'I. Futa Helu
Author: Ian Christopher Campbell,Eve Coxon,'I. Futa Helu
Publisher: N.A
ISBN: N.A
Category: Tonga
Page: 267
View: 380
Continue Reading →
July 18, 2018
Library of Congress
Author: Library of Congress
Publisher: N.A
ISBN: N.A
Category:
Page: N.A
View: 3862
Continue Reading →
July 18, 2018
Michael A. E. Dummett
Author: Michael A. E. Dummett
Publisher: Harvard University Press
ISBN: 9780674537866
Category: Philosophy
Page: 355
View: 1634
Continue Reading →
Michael Dummett's new book is the greatly expanded and recently revised version of his distinguished William James Lectures, delivered in 1976. Dummett regards the construction of a satisfactory theory of meaning as the most pressing task of contemporary analytical philosophy. He believes that the successful completion of this difficult assignment will lead to a resolution of problems before which philosophy has been stalled, in some instances for centuries. These problems turn on the correctness or incorrectness of a realistic view of one or another realm--the physical world, the mind, the past, mathematical reality, and so forth. Rejection of realism amounts to adoption of a variant semantics, and often of a variant logic, for the statements in a certain sector of our language. Dummett does not assume the correctness of any one logical system but shows how the choice between different logics arises at the level of the theory of meaning and depends upon the choice of one or another general form of meaning-theory. In order to determine the correct shape for a meaning-theory, we must attain a clear conception of what a meaning-theory can be expected to do. Such a conception, says Dummett, will form "a base camp for an assault on the metaphysical peaks: I have no greater ambition in this book than to set up a base camp."
July 18, 2018
Morten Heine Sørensen,Pawel Urzyczyn
Author: Morten Heine Sørensen,Pawel Urzyczyn
Publisher: Elsevier
ISBN: 9780080478920
Category: Mathematics
Page: 456
View: 7917
Continue Reading →
The Curry-Howard isomorphism states an amazing correspondence between systems of formal logic as encountered in proof theory and computational calculi as found in type theory. For instance, minimal propositional logic corresponds to simply typed lambda-calculus, first-order logic corresponds to dependent types, second-order logic corresponds to polymorphic types, sequent calculus is related to explicit substitution, etc. The isomorphism has many aspects, even at the syntactic level: formulas correspond to types, proofs correspond to terms, provability corresponds to inhabitation, proof normalization corresponds to term reduction, etc. But there is more to the isomorphism than this. For instance, it is an old idea---due to Brouwer, Kolmogorov, and Heyting---that a constructive proof of an implication is a procedure that transforms proofs of the antecedent into proofs of the succedent; the Curry-Howard isomorphism gives syntactic representations of such procedures. The Curry-Howard isomorphism also provides theoretical foundations for many modern proof-assistant systems (e.g. Coq). This book give an introduction to parts of proof theory and related aspects of type theory relevant for the Curry-Howard isomorphism. It can serve as an introduction to any or both of typed lambda-calculus and intuitionistic logic. Key features - The Curry-Howard Isomorphism treated as common theme - Reader-friendly introduction to two complementary subjects: Lambda-calculus and constructive logics - Thorough study of the connection between calculi and logics - Elaborate study of classical logics and control operators - Account of dialogue games for classical and intuitionistic logic - Theoretical foundations of computer-assisted reasoning · The Curry-Howard Isomorphism treated as the common theme. · Reader-friendly introduction to two complementary subjects: lambda-calculus and constructive logics · Thorough study of the connection between calculi and logics. · Elaborate study of classical logics and control operators. · Account of dialogue games for classical and intuitionistic logic. · Theoretical foundations of computer-assisted reasoning
July 18, 2018
Douglas Bridges,Fred Richman
Author: Douglas Bridges,Fred Richman
Publisher: Cambridge University Press
ISBN: 9780521318020
Category: Mathematics
Page: 149
View: 3087
Continue Reading →
A survey of constructive approaches to pure mathematics emphasizing the viewpoint of Errett Bishop's school. Considers intuitionism, Russian constructivism, and recursive analysis, with comparisons among the various approaches included where appropriate.
July 18, 2018
Sir David Ross,William David Ross,David Ross
Author: Sir David Ross,William David Ross,David Ross
Publisher: Oxford University Press
ISBN: 9780199252657
Category: Philosophy
Page: 183
View: 8989
Continue Reading →
This is a classic of 20th century philosophy by the great scholar David Ross. The book is the pinnacle of ethical intuitionism.
July 18, 2018
John L. Bell
Author: John L. Bell
Publisher: Cambridge University Press
ISBN: 0521887186
Category: Mathematics
Page: 124
View: 3540
Continue Reading →
A rigorous, axiomatically formulated presentation of the 'zero-square', or 'nilpotent' infinitesimal.
July 18, 2018
Lynn Gamwell
A Cultural History
Author: Lynn Gamwell
Publisher: Princeton University Press
ISBN: 0691165289
Category: Art
Page: 576
View: 2710
Continue Reading →
This is a cultural history of mathematics and art, from antiquity to the present. Mathematicians and artists have long been on a quest to understand the physical world they see before them and the abstract objects they know by thought alone. Taking readers on a tour of the practice of mathematics and the philosophical ideas that drive the discipline, Lynn Gamwell points out the important ways mathematical concepts have been expressed by artists. Sumptuous illustrations of artworks and cogent math diagrams are featured in Gamwell’s comprehensive exploration. Gamwell begins by describing mathematics from antiquity to the Enlightenment, including Greek, Islamic, and Asian mathematics. Then focusing on modern culture, Gamwell traces mathematicians’ search for the foundations of their science, such as David Hilbert’s conception of mathematics as an arrangement of meaning-free signs, as well as artists’ search for the essence of their craft, such as Aleksandr Rodchenko’s monochrome paintings. She shows that self-reflection is inherent to the practice of both modern mathematics and art, and that this introspection points to a deep resonance between the two fields: Kurt Gödel posed questions about the nature of mathematics in the language of mathematics and Jasper Johns asked “What is art?” in the vocabulary of art. Throughout, Gamwell describes the personalities and cultural environments of a multitude of mathematicians and artists, from Gottlob Frege and Benoît Mandelbrot to Max Bill and Xu Bing. Mathematics and Art demonstrates how mathematical ideas are embodied in the visual arts and will enlighten all who are interested in the complex intellectual pursuits, personalities, and cultural settings that connect these vast disciplines.
July 18, 2018
Michael Dummett
Philosophy of Language
Author: Michael Dummett
Publisher: Harvard University Press
ISBN: 9780674319318
Category: Mathematics
Page: 708
View: 4225
Continue Reading →
No one has figured more prominently in the study of German philosopher Gottlob Frege than Michael Dummett. This highly acclaimed book is a major contribution to the philosophy of language as well as a systematic interpretation of Frege, indisputably the father of analytic philosophy. Frege: Philosophy of Language remains indispensable for an understanding of contemporary philosophy. Harvard University Press is pleased to reissue this classic book in paperback.
July 18, 2018
Mathieu Marion
Author: Mathieu Marion
Publisher: Oxford University Press
ISBN: 9780198235163
Category: Mathematics
Page: 260
View: 830
Continue Reading →
Mathieu Marion offers a careful, historically informed study of Wittgenstein's philosophy of mathematics. This area of his work has frequently been undervalued by Wittgenstein specialists and philosophers of mathematics alike; but the surprising fact that he wrote more on this subject than any other indicates its centrality in his thought. Marion traces the development of Wittgenstein's thinking from the 1920s through to the 1950s, in the context of themathematical and philosophical work of the times, to make coherent sense of ideas that have too often been misunderstood because they have been presented in a disjointed and incomplete way. He shows that study of Wittgenstein's writings on mathematics is essential to a proper understanding of his philosophy,and also that it can do much to illuminate current debates about the foundations of mathematics.
