Libri dal 1840 agli anni '70

Abstract/Sommario: This book is an anthology of fundamental papers dealing with undecidability and unsolvability. It begins with Godel's epoch-making paper of 1931 in which it was shown for the first time that systems of logic, no matter how powerful, could never admit proofs of all true assertions of arithmetic. In the anthology, there are the basic papers of Godel, Church, Turing, and Post in which the class of recursive functions was singled out and seen to be just the class of functions that can be c ...; [Leggi tutto...] This book is an anthology of fundamental papers dealing with undecidability and unsolvability. It begins with Godel's epoch-making paper of 1931 in which it was shown for the first time that systems of logic, no matter how powerful, could never admit proofs of all true assertions of arithmetic. In the anthology, there are the basic papers of Godel, Church, Turing, and Post in which the class of recursive functions was singled out and seen to be just the class of functions that can be computed by finite algorithms. Also included is the work of Church, Turing, and Post in which problems from the theory of abstract computing machines, from mathematical logic, and finally from algebra are shown to be unsolvable in the sense that there is no finite algorithm for dealing with them. Finally, included in the anthology is work of Kleene and of Post initiating the classification theory of unsolvable problems.
Most of the papers collected here have been preyiously available— but only in the periodicals in which they originally appeared. However, it has fortunately also been possible to include previously unpublished lectures by Godel and a hitherto unpublished account by Post of his early work in this area.
This collection should prove valuable, not only as a reference work for specialists, but also as a text or supplementary text: it could be used as a supplementary text in courses in logic or in philosophy or foundations of mathematics. An instructor who prefers to work with original sources could design a course in advanced logic or recursive function theory around this book in various ways. It should also be useful for self-study. With these possibilities in mind, I have prefaced most of the papers in this anthology with brief editorial remarks. In these, I aim to tell the student what I would have liked to have been told before reading the paper in question.
Thanks are due to the authors and publishers who have kindly permitted us to reprint these papers. I am especially grateful to Professors Godel and Kleene who have furnished supplementary material to be included with their papers. Finally, it is a pleasure to thank Alan M. Edelson of Raven Press for his patience and cooperation.

Abstract/Sommario: International Harvester: the corporation that revolutionized farming - U.S. Rubber: the corporation that believes in inflation - Ford: the corporation that doesn't believe in stockholders or titles - United Shoe Machinery: the corporation that rents but never sells - Continental Can: the corporation that ties the can to culinary troubles - Air Reduction: the corporation that makes a flame hotter than hell - National Steel: the corporation that sits on its sources of supply - Johns-Manv ...; [Leggi tutto...] International Harvester: the corporation that revolutionized farming - U.S. Rubber: the corporation that believes in inflation - Ford: the corporation that doesn't believe in stockholders or titles - United Shoe Machinery: the corporation that rents but never sells - Continental Can: the corporation that ties the can to culinary troubles - Air Reduction: the corporation that makes a flame hotter than hell - National Steel: the corporation that sits on its sources of supply - Johns-Manville: the corporation that insulates a combustible world - Pittsburgh Plate Glass: the corporation that has transparent motives - American Sugar Refining: the corporation that sweetens the world - Cannon Towels, Inc.: the corporation that dries a dripping nation.

Abstract/Sommario: The problem of unemployment, by Arthur M. Ross - Retraining and labor market policies - The problem of expanding economy activity - What can we learn from european experience? - Conclusion by Arthur M Ross.

Abstract/Sommario: I rapporti fra Italia e L'Ungheria - Geografia, etnografia, storia, politica - Economia-finanze - Lingua letteratura arte scienze scuole.

Abstract/Sommario: I principi fondamentali della valutazione delle aziende - la determinazione del valore corrente delle attività - la determinazione del goodwill e del valore d'insieme - determinazione del valore intrinseco di parti di un'azienda- conclusione.

Abstract/Sommario: Memoria - Informe anual a los señores asociados - Secciones gremiales y sociedades adheridas - Asesorias, oficinas y cuestiones internas de la Institucion - Conferencias y Congresos - Consejo interamericano de Comercio y Producion - Comision Argentina de Fomento Interamericano - Comunicados - Actividades varias - Gestiones de la institucion.

Abstract/Sommario: Droit d'auteur - Commerce de la Librairie - Sujets musicaux - Divers.

Abstract/Sommario: Prefazione ai volumi francese, inglese e spagnolo - Prefazione al volume italiano - Dall'avvertenza ai volumi francese, inglese e spagnolo - Avvertenza al volume italiano - Elenco delle abbreviazioni usate nel volume italiano - Testo - Indice alfabetico.

Abstract/Sommario: L'attività dell'unione - L'andamento dell'industria romana nel 1956.

Abstract/Sommario: L'attività dell'unione - L'andamento dell'industria romana nel 1957.

Abstract/Sommario: Pubblicazione realizzata per una più approfondita conoscenza dei problemi inerenti al potenziamento industriale ed all'utilizzazione del patrimonio naturale nel Mezzogiorno.

Abstract/Sommario: Presupposti economici e prospettive di sviluppo industriale della Regione Siciliana - Legislazione e sintesi delle agevolazioni vigenti nel territorio della Regione Siciliana - Modalità per ottenere le facilitazioni previste dalla legislazione statale e regionale per lo sviluppo industriale della Sicilia - Caratteristiche e modalità dei finanziamenti e delle partecipazioni azionarie industriali - Le infrastrutture di sviluppo.

Abstract/Sommario: Questa pubblicazione illustra in sintesi le realizzazioni sociali delle industrie torinesi.

Abstract/Sommario: Testo della Carta del Lavoro - Regolamento generale per l'igiene del lavoro - Regolamento per le fabbriche di conserve alimentari preparate con sostanze vegetali.

Abstract/Sommario: Questo volume che raccoglie le relazioni, le memorie e le sintesi degli interventi avutisi nel quadro del Convegno sul tema: « Sviluppo Tecnologico ed Occupazione », organizzato nel novembre del 1968 dall’Unione Italiana delle Camere di Commercio, Industria, Artigianato e Agricoltura.

Abstract/Sommario: Camere di commercio industria e agricoltura italiane - camere di commercio italiane all'estero.

Abstract/Sommario: Africa - America del nord - Asia - Europa - Oceania.

Abstract/Sommario: Descrizione generale di alcuni caratteri dell'istruzione tecnica e professionale - Descrizione sintetica di alcuni caratteri dell'istruzione tecnica e professionale per singole province - Tavole statistiche.

Abstract/Sommario: Ordinamento e attribuzioni del consiglio nazionale dell'economia e del lavoro - Composizione del consiglio nazionale dell'economia e del lavoro - Consiglio dell'economia e del lavoro.

Abstract/Sommario: Dinamica demografica delle provincie - Dinamica della popolazione agricola nelle provincie - Grado di analfabetismo nelle provincie - Livello di istruzione nelle provincie - Dinamica dell'occupazione nell'industria - Livello di industrializzazione nelle provincie - Dinamica dell'occupazione nel commercio - Densità commerciale nelle provincie - Dinamica dell'occupazione delle attività extra-agricole - Reddito prodotto per abitante nelle provincie nel 1962.