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
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 (19121954) 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
18 editions published between 2001 and 2008 in English and held by 414 WorldCat member libraries worldwide
Alan Mathison Turing (19121954) 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
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
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
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
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
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
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
KingstonuponHull) Logic Colloquium (1986(
Book
)
1 edition published in 1988 in English and held by 6 WorldCat member libraries worldwide
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, (323) August 1969(
Book
)
2 editions published in 1971 in English and held by 6 WorldCat member libraries worldwide
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
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
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
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
4 editions published between 1992 and 2001 in English and held by 5 WorldCat member libraries worldwide
Recursiontheoretic 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
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 20thcentury 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
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 20thcentury 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
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
1 edition published in 1989 in English and held by 4 WorldCat member libraries worldwide
Generalized recursion theory. Proceedings of the 2. Symposium on Generalized Recursion Theory, was held at the Univ. of Oslo,
June 1317, 1977(
)
1 edition published in 1978 in English and held by 4 WorldCat member libraries worldwide
1 edition published in 1978 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
1 edition published in 1984 in English and held by 4 WorldCat member libraries worldwide
more
fewer
Audience Level
0 

1  
Kids  General  Special 
Related Identities
 Yates, C. E. M. Other Author Editor
 Turing, Alan 19121954 Author
 Hyland, John Martin Elliott Editor
 Fenstad, Jens Erik Editor
 Sacks, Gerald E. Editor
 International Union of the History and Philosophy of Science Division of Logic, Methodology and Philosophy of Science
 North Atlantic Treaty Organization
 University of Manchester
 Macintyre, Angus
 Logic Colloquium
Useful Links
Covers
Alternative Names
Gandy, R. O.
Gandy, R. O. 1995
Gandy, Robin Oliver
Robin Gandy britischer Logiker
Robin Gandy britisk matematiker
Robin Gandy Brits wiskundige (19191995)
Robin Gandy brittisk matematiker
Robin Gandy mathématicien et logicien britannique
Робін Ганды
Ռոբին Գենդի
رابین قاندی
روبن غاندي
ロビン・ガンディー
Languages