SULJE VALIKKO

Englanninkielisten kirjojen poikkeusaikata... LUE LISÄÄ

avaa valikko

Erik Palmgren | Akateeminen Kirjakauppa

Haullasi löytyi yhteensä 4 tuotetta
Haluatko tarkentaa hakukriteerejä?



Logicism, Intuitionism, and Formalism - What Has Become of Them?
Sten Lindström; Erik Palmgren; Krister Segerberg; Viggo Stoltenberg-Hansen
Springer-Verlag New York Inc. (2008)
Kovakantinen kirja
241,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logicism, Intuitionism, and Formalism - What Has Become of Them?
Sten Lindström; Erik Palmgren; Krister Segerberg; Viggo Stoltenberg-Hansen
Springer (2010)
Pehmeäkantinen kirja
241,40
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
P. Dybjer; Sten Lindström; Erik Palmgren; B.G. Sundholm
Springer (2012)
Kovakantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Epistemology versus Ontology - Essays on the Philosophy and Foundations of Mathematics in Honour of Per Martin-Löf
P. Dybjer; Sten Lindström; Erik Palmgren; B.G. Sundholm
Springer (2014)
Pehmeäkantinen kirja
172,80
Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
Logicism, Intuitionism, and Formalism - What Has Become of Them?
241,40 €
Springer-Verlag New York Inc.
Sivumäärä: 512 sivua
Asu: Kovakantinen kirja
Painos: 2009
Julkaisuvuosi: 2008, 02.12.2008 (lisätietoa)
Kieli: Englanti
Tuotesarja: Synthese Library 341
The present anthology has its origin in two international conferences that were arranged at Uppsala University in August 2004: "Logicism, Intuitionism and F- malism: What has become of them?" followed by "Symposium on Constructive Mathematics". The rst conference concerned the three major programmes in the foundations of mathematics during the classical period from Frege's Begrif- schrift in 1879 to the publication of Godel' .. s two incompleteness theorems in 1931: The logicism of Frege, Russell and Whitehead, the intuitionism of Brouwer, and Hilbert's formalist and proof-theoretic programme. The main purpose of the conf- ence was to assess the relevance of these foundational programmes to contemporary philosophy of mathematics. The second conference was announced as a satellite event to the rst, and was speci cally concerned with constructive mathematics-an activebranchofmathematicswheremathematicalstatements-existencestatements in particular-are interpreted in terms of what can be effectively constructed. C- structive mathematics may also be characterized as mathematics based on intuiti- isticlogicand,thus,beviewedasadirectdescendant ofBrouwer'sintuitionism.
The two conferences were successful in bringing together a number of internationally renowned mathematicians and philosophers around common concerns. Once again it was con rmed that philosophers and mathematicians can work together and that real progress in the philosophy and foundations of mathematics is possible only if they do. Most of the papers in this collection originate from the two conferences, but a few additional papers of relevance to the issues discussed at the Uppsala c- ferences have been solicited especially for this volume.

Tuotetta lisätty
ostoskoriin kpl
Siirry koriin
LISÄÄ OSTOSKORIIN
Tilaustuote | Arvioimme, että tuote lähetetään meiltä noin 4-5 viikossa | Tilaa jouluksi viimeistään 27.11.2024
Myymäläsaatavuus
Helsinki
Tapiola
Turku
Tampere
Logicism, Intuitionism, and Formalism - What Has Become of Them?
Näytä kaikki tuotetiedot
ISBN:
9781402089251
Sisäänkirjautuminen
Kirjaudu sisään
Rekisteröityminen
Oma tili
Omat tiedot
Omat tilaukset
Omat laskut
Lisätietoja
Asiakaspalvelu
Tietoa verkkokaupasta
Toimitusehdot
Tietosuojaseloste