Selected Papers

Selected Papers
Author :
Publisher : Springer Science & Business Media
Total Pages : 475
Release :
ISBN-10 : 9781461381778
ISBN-13 : 1461381770
Rating : 4/5 (78 Downloads)

Book Synopsis Selected Papers by : Calvin C. Elgot

Download or read book Selected Papers written by Calvin C. Elgot and published by Springer Science & Business Media. This book was released on 2012-12-06 with total page 475 pages. Available in PDF, EPUB and Kindle. Book excerpt: Cal Elgot was a very serious and thoughtful researcher, who with great determi nation attempted to find basic explanations for certain mathematical phenomena as the selection of papers in this volume well illustrate. His approach was, for the most part, rather finitist and constructivist, and he was inevitably drawn to studies of the process of computation. It seems to me that his early work on decision problems relating automata and logic, starting with his thesis under Roger Lyndon and continuing with joint work with Biichi, Wright, Copi, Rutledge, Mezei, and then later with Rabin, set the stage for his attack on the theory of computation through the abstract treatment of the notion of a machine. This is also apparent in his joint work with A. Robinson reproduced here and in his joint papers with John Shepherdson. Of course in the light of subsequent work on decision problems by Biichi, Rabin, Shelah, and many, many others, the subject has been placed on a completely different plane from what it was when Elgot left the area. But I feel that his papers, results-and style-were very definitely influential at the time and may well have altered the course of the investigation of these problems. As Sammy Eilenberg explains, the next big influence on Elgot's thinking was category theory, which gave him a way of expressing his ideas in a sharply algebraic manner. The joint book with Eilenberg is one illustration of this influence.


Selected Papers Related Books

Selected Papers
Language: en
Pages: 475
Authors: Calvin C. Elgot
Categories: Mathematics
Type: BOOK - Published: 2012-12-06 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

Cal Elgot was a very serious and thoughtful researcher, who with great determi nation attempted to find basic explanations for certain mathematical phenomena as
Pillars of Computer Science
Language: en
Pages: 699
Authors: Arnon Avron
Categories: Computers
Type: BOOK - Published: 2008-02-08 - Publisher: Springer

DOWNLOAD EBOOK

For over half a century, Boris (Boaz) Trakhtenbrot has made seminal contributions to virtually all of the central areas of theoretical computer science. This fe
Computer Aided Verification
Language: en
Pages: 593
Authors: E. Allen Emerson
Categories: Computers
Type: BOOK - Published: 2000-06-28 - Publisher: Springer Science & Business Media

DOWNLOAD EBOOK

This book constitutes the refereed proceedings of the 12th International Conference on Computer Aided Verification, CAV 2000, held in Chicago, IL, USA in July 2
Fields of Logic and Computation II
Language: en
Pages: 330
Authors: Lev D. Beklemishev
Categories: Computers
Type: BOOK - Published: 2015-09-05 - Publisher: Springer

DOWNLOAD EBOOK

This Festschrift is published in honor of Yuri Gurevich's 75th birthday. Yuri Gurevich has made fundamental contributions on the broad spectrum of logic and com
The Mathematics of Syntactic Structure
Language: en
Pages: 357
Authors: Hans-Peter Kolb
Categories: Language Arts & Disciplines
Type: BOOK - Published: 2011-09-12 - Publisher: Walter de Gruyter

DOWNLOAD EBOOK

The architecture of the human language faculty has been one of the main foci of the linguistic research of the last half century. This branch of linguistics, br