Browse Prior Art Database

IEEE Annals of the History of Computing Volume 3 Number 1 -- Front Matter

IP.com Disclosure Number: IPCOM000129358D
Original Publication Date: 1981-Jan-01
Included in the Prior Art Database: 2005-Oct-05
Document File: 2 page(s) / 14K

Publishing Venue

Software Patent Institute

Related People

IEEE Computer Society: OWNER

Abstract

This issue is special in two ways. First, we present a package of three related articles brought to us by a designated editor, Ronald Book. These papers were generated from invited papers at the twentieth annual symposium of the Technical Committee on Mathematical Foundations of Computing, held in San Juan in October 1979. Book was asked to act as editor on behalf of the Annals, to organize and carry these excellent articles through the refereeing process. The first paper, by Sheila Greibach, covers the history of formal languages and the interplay between linguists and computer scientists. It is a very interesting story, and even though there is a fair amount of mathematical notation, the interaction between people and ideas from different disciplines comes through in a way that should hold the attention and the interest of readers not very familiar with formal languages. The second article, by Juris Hartmanis, is especially significant. It is a personal statement by one of our most insightful computer scientists on his view of the development of computer science and how it differs from, but remains related to, the other mathematical sciences.

This text was extracted from a PDF file.
This is the abbreviated version, containing approximately 52% of the total text.

Page 1 of 2

THIS DOCUMENT IS AN APPROXIMATE REPRESENTATION OF THE ORIGINAL.

Copyright ©; 1981 by the American Federation of Information Processing Societies, Inc. Used with permission.

Annals of the History of Computing Volume 3 Number 1 Number 1 January 1981 [Front Matter]

Contents About this Issue.....3 Eloge: Harold Locke Hazen, 1901-1980 - Gordon S. Brown.....4

The Development of Theoretical Computer Science Foreword - Ronald V. Book.....13

Formal Languages: Origins and Directions - S. A. Greibach.....14

Observations About the Development of Theoretical Computer Science - Juris Hartmanis.....42

Origins of Recursive Function Theory - Stephen C. Kleene.....52

Departments Meetings in Retrospect.....68 Anecdotes.....72 News and Notices.....72 Comments,
Queries, and Debate.....73 Reviews.....74

Guidelines for Authors.....81 Contributions to the Annals of the History of Computing.....83

Indexes.....85 Volume 1.....87 Volume 2..... [Material omitted]

About This Issue

This issue is special in two ways. First, we present a package of three related articles brought to us by a designated editor, Ronald Book. These papers were generated from invited papers at the twentieth annual symposium of the Technical Committee on Mathematical Foundations of Computing, held in San Juan in October 1979. Book was asked to act as editor on behalf of the Annals, to organize and carry these excellent articles through the refereeing process.

The first paper, by Sheila Greibach, covers the history of formal languages and the interplay between linguists and computer scientists. It is a very interesting story, and even though there is a fair amount of mathematical notation, the interaction between people and ideas from different disciplines comes through in a way that should hold the attention and the interest of readers not very familiar with formal languages.

The second article, by Juris Hartmanis, is especially significant. It is a personal state...