03230nam a22003618i 4500001001600000003000700016008004100023020001800064020001800082020001800100035002000118041000800138082001500146100003300161245009000194264007100284300003700355336002600392337002600418338003600444500001300480505118200493520084701675650002902522650001902551650003802570650003002608650003202638856005502670932003202725596000602757949010502763CR9780511498589UkCbUP090309s2005||||enk o ||1 0|eng|d a9780511498589 a9780521837828 a9780521119986 a(Sirsi) a791568 aeng00a510/.12221 aTieszen, Richard L.,eauthor10aPhenomenology, logic, and the philosophy of mathematicsh[E-Book] /cRichard Tieszen. 1aCambridge :bCambridge University Press,c2005e(CUP)fCUP20200108 a1 online resource (x, 357 pages) atextbtxt2rdacontent acomputerbc2rdamedia aonline resourcebcr2rdacarrier aenglisch00tIntroduction : themes and issues --gPt. I.tReason, science, and mathematics --g1.tScience as a triumph of the human spirit and science in crisis : Husserl and the fortunes of reason --g2.tMathematics and transcendental phenomenology --g3.tFree variation and the intuition of geometric essences : some reflections on phenomenology and modern geometry --gPt. II.tKurt Godel, phenomenology, and the philosophy of mathematics --g4.tKurt Godel and phenomenology --g5.tGodel's philosophical remarks on logic and mathematics --g6.tGodel's path from the incompleteness theorems (1931) to phenomenology (1961) --g7.tGodel and the intuition of concepts --g8.tGodel and Quine on meaning and mathematics --g9.tMaddy on realism in mathematics --g10.tPenrose on minds and machines --gPt. III.tConstructivism, fulfillable intentions, and origins --g11.tIntuitionism, meaning theory, and cognition --g12.tphilosophical background of Weyl's mathematical constructivism --g13.tProofs and fulfillable mathematical intentions --g14.tLogicism, impredicativity, formalism : some remarks on Poincare and Husserl --g15.tphilosophy of arithmetic : Frege and Husserl. aOffering a collection of fifteen essays that deal with issues at the intersection of phenomenology, logic, and the philosophy of mathematics, this 2005 book is divided into three parts. Part I contains a general essay on Husserl's conception of science and logic, an essay of mathematics and transcendental phenomenology, and an essay on phenomenology and modern pure geometry. Part II is focused on Kurt Godel's interest in phenomenology. It explores Godel's ideas and also some work of Quine, Penelope Maddy and Roger Penrose. Part III deals with elementary, constructive areas of mathematics. These are areas of mathematics that are closer to their origins in simple cognitive activities and in everyday experience. This part of the book contains essays on intuitionism, Hermann Weyl, the notion of constructive proof, PoincarĂ© and Frege. 0aMathematicsxPhilosophy. 0aPhenomenology. 0aLogic, Symbolic and mathematical. 0aConstructive mathematics. 0aIntuitionistic mathematics.40uhttps://doi.org/10.1017/CBO9780511498589zVolltext aCambridgeCore (Order 30059) a1 aXX(791568.1)wAUTOc1i791568-1001lELECTRONICmZBrNsYtE-BOOKu8/1/2020xUNKNOWNzUNKNOWN1ONLINE