MARC Record from marc_columbia

LEADER: 03513fam a2200385 a 4500
001 1928898
005 20220609030958.0
008 960812t19961996maua b 000 0beng
010 $a 96038403
020 $a156881061X
035 $a(OCoLC)35298628
035 $a(OCoLC)ocm35298628
035 $9AMC5080CU
035 $a(NNC)1928898
035 $a1928898
040 $aDLC$cDLC$dDLC$dOrLoB-B
043 $ae-au---
050 00 $aQA29.K73$bK74 1996
082 00 $a511.3$220
245 00 $aKreiseliana :$babout and around Georg Kreisel /$cedited by Piergiorgio Odifreddi.
260 $aWellesley, Mass. :$bA.K. Peters,$c[1996], ©1996.
300 $axiii, 495 pages :$billustrations ;$c24 cm
336 $atext$btxt$2rdacontent
337 $aunmediated$bn$2rdamedia
504 $aIncludes bibliographical references.
505 00 $tPreface /$rPiergiorgio Odifreddi --$tKreisel, Lambda Calculus, a Windmill and a Castle /$rHenk Barendregt --$tThe Right Things for the Right Reasons /$rJon Barwise --$tGeorge Kreisel: a Few Personal Recollections /$rFrancis Crick --$tKreisel's Effectiveness /$rJohn N. Crossley --$tKreisel on the Telephone: an Appreciation /$rAnita Burdman Feferman --$tThoughts on the Occasion of Kreisel's 70th Birthday /$rVerena Huber-Dyson --$tAddendum /$rFreeman Dyson --$tLetter from Professor Kreisel /$rCarl G. Jockusch, Jr. --$tTwo Insights /$rMichael Morley --$tAn Appreciation of Kreisel /$rAnil Nerode --$tSome Reminiscences of Kreisel /$rRohit Parikh --$tKreisel, Generalized Recursion Theory, Stanford and Me /$rRichard A. Platek --$tKreisel, Generalized Recursion Theory and Me /$rGerald E. Sacks --$tKreisel and I /$rGaisi Takeuti --$tKreisel's Unwinding of Artin's Proof /$rCharles N. Delzell --$tKreisel's "Unwinding" Program /$rSolomon Feferman --$tSome Proof Theory in the 1960's /$rWilliam A. Howard --
505 80 $tBounds Extracted by Kreisel from Ineffective Proofs /$rHorst Luckhardt --$tCompleteness for Intuitionistic Logic /$rDavid McCarty --$tDensity and Choice for Total Continuous Functionals /$rHelmut Schwichtenberg --$tMathematical Logic: What Has it Done for the Philosophy of Mathematics? /$rCarlo Cellucci --$tKreisel's Church /$rPiergiorgio Odifreddi --$tSome Critical Remarks on Definitions and on Philosophical and Logical Ideals /$rPaul Weingartner --$tOn the Decidability of the Real Exponential Field /$rAngus Macintyre and A. J. Wilkie --$tNormal Forms for Sequent Derivations /$rGregory Mints.
520 $aThis multifaceted collection of essays, reminiscences, and professional papers combine to create an exceptional tribute to the unusual, enigmatic, and ultimately fascinating personality of Georg Kreisel. An eminently influential logician and mathematical philosopher, Kreisel is revealed as much more in this entertaining juxtaposition of viewpoints from famous contributors like Verena Huber-Dyson, Sol Feferman, and Francis Crick.
520 8 $aMathematics fans and armchair philosophers will delight in this look at Kreisel as he conveys his unique personal and intellectual influence.
600 10 $aKreisel, Georg.$0http://id.loc.gov/authorities/names/n90705386
650 0 $aMathematicians$zAustria$vBiography.
650 0 $aMathematics$xPhilosophy.$0http://id.loc.gov/authorities/subjects/sh85082153
650 0 $aLogic, Symbolic and mathematical.$0http://id.loc.gov/authorities/subjects/sh85078115
700 1 $aOdifreddi, Piergiorgio,$d1950-$0http://id.loc.gov/authorities/names/n87852398
852 00 $bmat$hQA29.K73$iK74 1996