Logic and Computation: Proceedings of a Workshop Held at...

Main
Mathematics
Logic and Computation: Proceedings of a...

Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987

Name: Logic and Computation: Proceedings of a Workshop Held at Carnegie Mellon University, June 30-July 2, 1987
ISBN: 9782519726152

Wilfried Sieg (ed.)

0 / 0

0 comments

Πόσο σας άρεσε αυτό το βιβλίο;

Ποια είναι η ποιότητα του ληφθέντος αρχείου;

Κατεβάστε το βιβλίο για να αξιολογήσετε την ποιότητά του

Ποια είναι η ποιότητα των ληφθέντων αρχείων;

This volume contains the proceedings of the Workshop on Logic and Computation, held in July 1987 at Carnegie-Mellon University. The focus of the workshop was the refined interaction between mathematics and computation theory, one of the most fascinating and potentially fruitful developments in logic. The importance of this interaction lies not only in the emergence of the computer as a powerful tool in mathematics research, but also in the various attempts to carry out significant parts of mathematics in computationally informative ways.

The proceedings pursue three complementary aims: to develop parts of mathematics under minimal set-theoretic assumptions; to provide formal frameworks suitable for computer implementation; and to extract, from formal proofs, mathematical and computational information. Aimed at logicians, mathematicians, and computer scientists, this volume is rich in results and replete with mathematical, logical, and computational problems

Κατηγορίες:

Mathematics

Έτος:

1990

Εκδότης:

Amer Mathematical Society

Γλώσσα:

english

Σελίδες:

314

ISBN 10:

2519726156