Kreiseliana: About and Around Georg KreiselPiergiorgio Odifreddi This 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. Mathematics fans and armchair philosophers will delight in this look at Kreisel as he conveys his unique personal and intellectual influence. |
Contents
The Right Things for the Right Reasons by Jon Barwise | 15 |
Kreisels Effectiveness by John N Crossley 3333 | 33 |
Thoughts on the Occasion of Kreisels 70th Birthday | 51 |
Copyright | |
14 other sections not shown
Common terms and phrases
algebraic analysis application arithmetic Artin-Schreier theory Artin's theorem axiomatic method Bernays bound Church's Thesis claim classical closure coefficients completeness computable concepts consistency consistency proofs constructive contain deductive defining polynomial definition denote derivation disjunction elimination end-formula equivalent example ɛ-theorem fact Feferman field axioms finite finitist follows formal system Georg Kreisel Gödel hence Herbrand idea induction initial formulae interpretation intuitionistic intuitionistic logic Kreisel language lawless sequences Lemma logicians Math mathematical logic mathematicians natural numbers normal form Note notion Nullstellensatz ordered field ordinal p(so paper philosophy philosophy of mathematics polynomial predicate calculus primitive recursive proof theory provable prove quantifier-free quantifiers question real closed real closed field recursion theory recursive functions replace root-terms rules set theory special equality axioms Stanford Stengle's sum of squares suppose Symbolic Logic Tarski's tion Troelstra uniquely orderable unwinding valid variables