WorldCat Identities

Gandy, R. O. (Robin O.)

Overview
Works: 50 works in 133 publications in 2 languages and 1,840 library holdings
Genres: Conference papers and proceedings 
Roles: Editor, Author, Thesis advisor, Other
Publication Timeline
.
Most widely held works by R. O Gandy
Logic Colloquium '69; proceedings of the Summer School and [fourteenth] Colloquium in Mathematical Logic, Manchester, August 1969 by Summer School and Colloquium in Mathematical Logic( Book )

16 editions published between 1969 and 1971 in English and held by 450 WorldCat member libraries worldwide

Provability, Computability and Reflection
Mathematical logic by Alan Turing( )

18 editions published between 2001 and 2008 in English and held by 414 WorldCat member libraries worldwide

Alan Mathison Turing (1912-1954) made major contributions to several areas of science. Today his name is mentioned frequently in philosophical discussions about the nature of Artificial Intelligence. He was a pioneer researcher in computer architecture and software engineering - his work in pure mathematics and mathematical logic extended considerably further. His last work was "On Morphogenesis in Plants".; Turing was one of the leading figures in 20th century science, a fact which would have been known to the general public sooner but for the British Official Secrets Act, which prevented discussion of his wartime work. Although they were written decades ago, the papers in this volume address issues which concern researchers today
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976 by Oxford) Logic Colloquium (1976( Book )

21 editions published between 1976 and 2009 in English and Italian and held by 414 WorldCat member libraries worldwide

Provability, Computability and Reflection
Generalized recursion theory II : proceedings of the 1977 Oslo symposium by Symposium On Generalized Recursion Theory. 1è. 1972. Oslo( Book )

15 editions published in 1978 in English and Undetermined and held by 408 WorldCat member libraries worldwide

Proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, August, 1969 by Logic Colloquium( Book )

2 editions published in 1971 in English and held by 27 WorldCat member libraries worldwide

Logic Colloquium by Padova) Logic Colloquium (1988( Book )

1 edition published in 1989 in English and held by 11 WorldCat member libraries worldwide

Logic colloquium '69 : proceedings by Logic Colloquium( Book )

4 editions published between 1970 and 1971 in English and held by 11 WorldCat member libraries worldwide

Logic colloquium '85 : proceedings of the colloquium held in Orsay, France July 1985 by Logic Colloquium '85( Book )

1 edition published in 1987 in English and held by 9 WorldCat member libraries worldwide

The bulk of this volume consists of invited addresses presented at the Colloquium. These contributions report on recent or ongoing research in some of the mainstream areas of mathematical logic: model theory, both pure and in its applications (to group theory and real algebraic geometry); and proof theory, applied to set theory and diophantine equations. The major novel aspect of the book is the important place accorded to the connections of mathematical logic with the neighboring disciplines: mathematical foundations of computer science, and philosophy of mathematics
Logic Colloquium by Kingston-upon-Hull) Logic Colloquium (1986( Book )

1 edition published in 1988 in English and held by 6 WorldCat member libraries worldwide

Logic colloquium '69 : proceedings of the Summer School and Colloquium in Mathematical Logic, Manchester, (3-23) August 1969( Book )

2 editions published in 1971 in English and held by 6 WorldCat member libraries worldwide

Proceedings of a conference held in Oxford in July 1976 by Oxford) Logic Colloquium (1976( Book )

3 editions published in 1977 in English and held by 6 WorldCat member libraries worldwide

Logic colloquium : proceedings of the Colloquium( Book )

4 editions published in 1977 in English and held by 6 WorldCat member libraries worldwide

Proceedings of the Summer School and Colloquium in Mathematical Logic : Manchester, Aug. 1969 by Manchester) Summer School and Colloquium in Mathematical Logic (1969( Book )

1 edition published in 1971 in English and held by 5 WorldCat member libraries worldwide

Collected works of A.M. Turing by Alan Mathison Turing( Book )

4 editions published between 1992 and 2001 in English and held by 5 WorldCat member libraries worldwide

Recursion-theoretic hierarchies by Peter G Hinman( )

1 edition published in 1978 in English and held by 4 WorldCat member libraries worldwide

The theory set out in this book results from the meeting of descriptive set theory and recursion theory
Mathematical Logic by R. O Gandy( )

1 edition published in 2001 in English and held by 4 WorldCat member libraries worldwide

Mathematical Logic is a collection of the works of one of the leading figures in 20th-century science. This collection of A.M. Turing's works is intended to include all his mature scientific writing, including a substantial quantity of unpublished material. His work in pure mathematics and mathematical logic extended considerably further; the work of his last years, on morphogenesis in plants, is also of the greatest originality and of permanent importance. This book is divided into three parts. The first part focuses on computability and ordinal logics and covers Turing's work between 1937 and 1938. The second part covers type theory; it provides a general introduction to Turing's work on type theory and covers his published and unpublished works between 1941 and 1948. Finally, the third part focuses on enigmas, mysteries, and loose ends. This concluding section of the book discusses Turing's Treatise on the Enigma, with excerpts from the Enigma Paper. It also delves into Turing's papers on programming and on minimum cost sequential analysis, featuring an excerpt from the unpublished manuscript. This book will be of interest to mathematicians, logicians, and computer scientists
Logic Colloquium 69 by C. E. M Yates( Book )

2 editions published in 1971 in Undetermined and held by 4 WorldCat member libraries worldwide

Computability in Analysis and Physics by R. O Gandy( )

1 edition published in 1989 in English and held by 4 WorldCat member libraries worldwide

Constructibility by R. O Gandy( )

1 edition published in 1984 in English and held by 4 WorldCat member libraries worldwide

 
moreShow More Titles
fewerShow Fewer Titles
Audience Level
0
Audience Level
1
  Kids General Special  
Audience level: 0.65 (from 0.60 for Mathematic ... to 0.95 for Logic coll ...)

Mathematical logic Collected works of A.M. Turing
Covers
Logic Colloquium 76 : proceedings of a conference held in Oxford in July 1976Collected works of A.M. TuringMathematical Logic
Alternative Names
Gandy, R. O.

Gandy, R. O. -1995

Gandy, Robin Oliver

Robin Gandy britischer Logiker

Robin Gandy britisk matematiker

Robin Gandy Brits wiskundige (1919-1995)

Robin Gandy brittisk matematiker

Robin Gandy mathématicien et logicien britannique

Робін Ганды

Ռոբին Գենդի

رابین قاندی

روبن غاندي

ロビン・ガンディー

Languages