» » Kreiseliana: About and Around Georg Kreisel
hotellemcasadeicervia.it
ePub 1998 kb. | Fb2 1605 kb. | DJVU: 1440 kb.
Math

Kreiseliana: About and Around Georg Kreisel epub ebook

by Piergiorgio Odifreddi

Kreiseliana: About and Around Georg Kreisel epub ebook

Author: Piergiorgio Odifreddi
Category: Mathematics
Language: English
Publisher: A K Peters/CRC Press; 1 edition (October 15, 1996)
Pages: 495 pages
ISBN: 156881061X
ISBN13: 978-1568810614
Rating: 4.7
Votes: 367
Other formats: docx rtf doc txt


Kreisel, lambda calculus, a windmill and a castle Contains personal recollections about Kreisel by his student Henk Barendregt.

Kreisel's "unwinding" program, Solomon Feferman, pp. 247–273, in Kreiseliana: About and Around Georg Kreisel, Piergiorgio Odifreddi, e. Wellesley, Massachusetts: A. K. Peters, 1996. Some of their correspondence is collected within "The Francis Crick Papers". Kreisel, lambda calculus, a windmill and a castle Contains personal recollections about Kreisel by his student Henk Barendregt. Georg Kreisel at the Mathematics Genealogy Project.

This multifaceted collection of essays, reminiscences and professional papers combine to create a tribute to Georg Kreisel, the influential logician and mathematical philosopher. The book aims to communicate to a wider circle his personal and intellectual influence. The contributors include Verena Huber-Dyson, Sol Feferman and Francis Crick.

Goodreads helps you keep track of books you want to read. Start by marking Kreiseliana: About and Around Georg Kreisel as Want to Read: Want to Read savin. ant to Read.

This multifaceted collection of essays, reminiscences and professional papers. Goodreads helps you keep track of books you want to read.

Carlo Cellucci - 1996 - In Piergiorgio Odifreddi (e., Kreiseliana. Georg Kreisel - 1967 - In Imre Lakatos (e., Problems in the Philosophy of Mathematics. About and Around Georg Kreisel, pp. 365-388. Kreisel's 'Unwinding Program'. Solomon Feferman - 1996 - In Piergiorgio Odifreddi (e. About and Around Georg Kreisel. Informal Rigour and Completeness Proofs. Church's Thesis and the Ideal of Informal Rigour. Georg Kreisel - 1987 - Notre Dame Journal of Formal Logic 28 (4):499-519.

Georg Kreisel (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied . "Kreiseliana: About and Around George Kreisel", Piergiorgio Odifreddi, e.

Georg Kreisel (born September 15, 1923 in Graz) is an Austrian-born mathematical logician who has studied and worked in Great Britain and America. Kreisel came from a Jewish background; his family sent him to England before the Anschluss, where he studied at the University of Cambridge and then, during World War II, worked on military subjects. After the war he returned to Cambridge and received his doctorate.

Kreiseliana: About and Around George Kreisel. Classical recursion theory: the theory of functions and sets of natural numbers. Matematica del Siglo XX, La - de Los Conjuntos a la Complejidad. In principio era Darwin: la vita, il pensiero, il dibattito sull'evoluzionismo.

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.
2016-2020 © www.hotellemcasadeicervia.it
All rights reserved