Del i serien Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives

One Hundred Years of Intuitionism (1907-2007)

The Cerisy Conference

Inbunden, Engelska, 2008

AvMark van Atten,Pascal Boldini,Michel Bourdeau,Gerhard Heinzmann

1 439 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

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.

Produktinformation

Utgivningsdatum2008-07-17
Mått155 x 235 x undefined mm
FormatInbunden
SpråkEngelska
SeriePublications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
Antal sidor422
FörlagBirkhauser Verlag AG
ISBN9783764386528

Tillhör följande kategorier

Filosofiska discipliner inom Filosofi och religion

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 remarkson 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.

Mer från samma författare

Brouwer meets Husserl

Mark van Atten

Inbunden, 2006

2 149 kr

Intuitionistic Analysis

Dirk van Dalen, Mark van Atten, Craig Smoryński

Häftad, 2026

799 kr

Del 35

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Mark van Atten

Inbunden, 2014

2 019 kr

Del 35

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Mark van Atten

Häftad, 2016

2 019 kr

Del 335

Brouwer meets Husserl

Mark van Atten

Häftad, 2010

2 159 kr

Mer från samma serie

Louis Couturat: The History of Modern Symbolic Logic and Other French Manuscripts

Oliver Schlaudt, Anne-Francoise Schmid

Inbunden, 2021

2 019 kr

Louis Couturat -Traité de Logique algorithmique

Oliver Schlaudt, Mohsen Sakhri

Inbunden, 2010

1 589 kr

New Essays on Leibniz Reception

Ralph Krömer, Yannick Chin-Drian

Inbunden, 2012

729 kr

Louis Couturat -Traité de Logique algorithmique

Oliver Schlaudt, Mohsen Sakhri

Häftad, 2012

1 589 kr

New Essays on Leibniz Reception

Ralph Krömer, Yannick Chin-Drian

Häftad, 2014

729 kr

Scientific Opportunism L’Opportunisme scientifique

Henri Poincaré, Laurent Rollet

Häftad, 2013

729 kr

La correspondance de jeunesse d’Henri Poincaré

Laurent Rollet

Inbunden, 2017

1 489 kr

Conversations avec Jules Hoüel

Philippe Henry, Philippe Nabonnand

Inbunden, 2017

1 589 kr

La Correspondance entre Henri Poincaré et Gösta Mittag-Leffler

Philippe Nabonnand

Inbunden, 1999

2 359 kr

Scientific Opportunism L’Opportunisme scientifique

Henri Poincaré, Laurent Rollet

Inbunden, 2002

729 kr

Du kanske också är intresserad av

Del 35

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Mark van Atten

Häftad, 2016

2 019 kr

Del 35

Essays on Gödel’s Reception of Leibniz, Husserl, and Brouwer

Mark van Atten

Inbunden, 2014

2 019 kr

Del 34

Constructivity and Computability in Historical and Philosophical Perspective

Jacques Dubucs, Michel Bourdeau

Häftad, 2016

729 kr

Intuitionistic Analysis

Dirk van Dalen, Mark van Atten, Craig Smoryński

Häftad, 2026

799 kr

Brouwer meets Husserl

Mark van Atten

Inbunden, 2006

2 149 kr

Manuel Rebuschi, Martine Batt, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol, Alain Trognon - Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics, Häftad

Del 3

Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics

Manuel Rebuschi, Martine Batt, Gerhard Heinzmann, Franck Lihoreau, Michel Musiol, Alain Trognon

Häftad, 2016

2 159 kr

Del 34

Constructivity and Computability in Historical and Philosophical Perspective

Jacques Dubucs, Michel Bourdeau

Inbunden, 2014

729 kr

Auguste Comte Et l'Idée Des Sciences de l'Homme

Michel Bourdeau

Häftad, 2002

439 kr

Del 335

Brouwer meets Husserl

Mark van Atten

Häftad, 2010

2 159 kr

Love, Order, and Progress

Michel Bourdeau, Mary Pickering, Warren Schmaus

Inbunden, 2018

1 189 kr

Del i serien Publications des Archives Henri Poincaré Publications of the Henri Poincaré Archives

One Hundred Years of Intuitionism (1907-2007)

The Cerisy Conference

Inbunden, Engelska, 2008

AvMark van Atten,Pascal Boldini,Michel Bourdeau,Gerhard Heinzmann

1 439 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum2008-07-17
Mått155 x 235 x undefined mm
FormatInbunden
SpråkEngelska
SeriePublications des Archives Henri Poincaré Publications of the Henri Poincaré Archives
Antal sidor422
FörlagBirkhauser Verlag AG
ISBN9783764386528

Tillhör följande kategorier

Filosofiska discipliner inom Filosofi och religion

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 remarkson 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.