000 -LEADER |
fixed length control field |
03764nam a22004575i 4500 |
001 - CONTROL NUMBER |
control field |
978-3-7643-8653-5 |
003 - CONTROL NUMBER IDENTIFIER |
control field |
DE-He213 |
005 - DATE AND TIME OF LATEST TRANSACTION |
control field |
20161121230835.0 |
007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION |
fixed length control field |
cr nn 008mamaa |
008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION |
fixed length control field |
100301s2008 sz | s |||| 0|eng d |
020 ## - INTERNATIONAL STANDARD BOOK NUMBER |
International Standard Book Number |
9783764386535 |
-- |
978-3-7643-8653-5 |
024 7# - OTHER STANDARD IDENTIFIER |
Standard number or code |
10.1007/978-3-7643-8653-5 |
Source of number or code |
doi |
050 #4 - LIBRARY OF CONGRESS CALL NUMBER |
Classification number |
D1-DX301 |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
PDX |
Source |
bicssc |
072 #7 - SUBJECT CATEGORY CODE |
Subject category code |
SCI034000 |
Source |
bisacsh |
082 04 - DEWEY DECIMAL CLASSIFICATION NUMBER |
Classification number |
509 |
Edition number |
23 |
245 10 - TITLE STATEMENT |
Title |
One Hundred Years of Intuitionism (1907–2007) |
Medium |
[electronic resource] : |
Remainder of title |
The Cerisy Conference / |
Statement of responsibility, etc. |
edited by Mark van Atten, Pascal Boldini, Michel Bourdeau, Gerhard Heinzmann. |
264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE |
Place of production, publication, distribution, manufacture |
Basel : |
Name of producer, publisher, distributor, manufacturer |
Birkhäuser Basel, |
Date of production, publication, distribution, manufacture, or copyright notice |
2008. |
300 ## - PHYSICAL DESCRIPTION |
Extent |
XIII, 422 p. |
Other physical details |
online resource. |
336 ## - CONTENT TYPE |
Content type term |
text |
Content type code |
txt |
Source |
rdacontent |
337 ## - MEDIA TYPE |
Media type term |
computer |
Media type code |
c |
Source |
rdamedia |
338 ## - CARRIER TYPE |
Carrier type term |
online resource |
Carrier type code |
cr |
Source |
rdacarrier |
347 ## - DIGITAL FILE CHARACTERISTICS |
File type |
text file |
Encoding format |
PDF |
Source |
rda |
490 1# - SERIES STATEMENT |
Series statement |
Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives |
505 0# - FORMATTED CONTENTS NOTE |
Formatted contents note |
Brouwer and Brouwerian intuitionism -- Another look at Brouwer’s dissertation -- Brouwerian infinity -- The new intuitionism -- Truth and experience of truth -- The proper explanation of intuitionistic logic: on Brouwer’s demonstration of the Bar Theorem -- The intersection of intuitionism (Brouwer) and phenomenology (Husserl) -- Brouwer on ‘hypotheses’ and the middle Wittgenstein -- Brouwer’s notion of intuition and theory of knowledge by presence -- Buddhist models of the mind and the common core thesis on mysticism -- Kindred spirits -- Remarks on the supposed french’ semi-’ or ‘pre-intuitionism’ -- Poincaré: intuitionism, intuition, and convention -- Some of Julius König’s mathematical dreams in his New Foundations of Logic, Arithmetic, and Set Theory -- Gödel, constructivity, impredicativity, and feasibility -- Lorenzen’s operative justification of intuitionistic logic -- Mathematical perspectives -- The Hilbert-Brouwer controversy resolved? -- Proof theory and Martin-Löf Type Theory -- Some remarks on linear logic -- Two applications of dynamic constructivism: Brouwer’s continuity principle and choice sequences in formal topology -- A reverse look at Brouwer’s Fan Theorem -- Some applications of Brouwer’s Thesis on Bars -- Concluding remarks at the Cerisy conference -- A bibliography of L.E.J. Brouwer. |
520 ## - SUMMARY, ETC. |
Summary, etc. |
With logicism and formalism, intuitionism is one of the main foundations for mathematics proposed in the twentieth century; and since the seventies, notably its views on logic have become important also outside foundational studies, with the development of theoretical computer science. The aim of the book is threefold: to review and complete the historical account of intuitionism; to present recent philosophical work on intuitionism; and to give examples of new technical advances and applications of intuitionism. This volume brings together 21 contributions by today's leading authors on these topics, and surveys the philosophical, logical and mathematical implications of the approach initiated in 1907 in L.E.J. Brouwer's dissertation. |
650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
History. |
650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
History. |
650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM |
Topical term or geographic name entry element |
History of Science. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Atten, Mark van. |
Relator term |
editor. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Boldini, Pascal. |
Relator term |
editor. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Bourdeau, Michel. |
Relator term |
editor. |
700 1# - ADDED ENTRY--PERSONAL NAME |
Personal name |
Heinzmann, Gerhard. |
Relator term |
editor. |
710 2# - ADDED ENTRY--CORPORATE NAME |
Corporate name or jurisdiction name as entry element |
SpringerLink (Online service) |
773 0# - HOST ITEM ENTRY |
Title |
Springer eBooks |
776 08 - ADDITIONAL PHYSICAL FORM ENTRY |
Relationship information |
Printed edition: |
International Standard Book Number |
9783764386528 |
830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE |
Uniform title |
Publications des Archives Henri Poincaré / Publications of the Henri Poincaré Archives |
856 40 - ELECTRONIC LOCATION AND ACCESS |
Uniform Resource Identifier |
http://dx.doi.org/10.1007/978-3-7643-8653-5 |
912 ## - |
-- |
ZDB-2-SHU |