From Linear Operators to Computational Biology: Essays in Memory of Jacob T. Schwartz

by Martin D. Davis and Edmond Schonberg

Book Overview

Foreword.- Introduction.- Nature as Quantum Computer.- Jack Schwartz Meets Karl Marx.- SETL and the Evolution of Programming.- Decision Procedure for Elementary Sublanguages of Set Theory XVII: Commonly Occurring Decidable Extensions of Multi-level Syllogistic.- Jack Schwartz and Robotics: The Roaring Eighties.- Mathematics' Mortua Manus: Discovering Dexterity.- The Ref Proof-checker and its "Common Shared Scenario".- Claw-free Graphs as Sets.-...

• Format: Paperback
• Language: English
• ISBN: 144716170X
• ISBN13: 9781447161707
• Release Date: August 2014
• Publisher: Springer
• Length: 208 Pages
• Weight: 0.70 lbs.
• Dimensions: 0.5" x 6.1" x 9.2"