CARRELLO vai al carrello
Libri
Totale
SPESE DI SPEDIZIONE GRATIS
PER IMPORTI SUPERIORI A
35 € IN ITALIA
70 € IN EUROPAlimiti e condizioni
#347407 Scienze

Logica e teorie formalizzate. Completezza, incompletezza, indecidibilità.

Autore:
Editore: Edizioni Carocci.
Data di pubbl.:
Dettagli: cm.15,5x22,5, pp.202, brossura. Collana Università, 487.

Abstract: Il volume ha lo scopo di illustrare i principali risultati della logica del XX secolo, fra i quali il teorema di completezza per la logica del primo ordine, il teorema di compattezza, i teoremi di Löwenheim-Skolem, i teoremi di incompletezza di Gödel resistenza di "modelli non standard" per l'aritmetica, il teorema di Church, il teorema di incompletezza per la logica del secondo ordine. La trattazione di questi teoremi e delle loro dimostrazioni, pur volutamente contenuta grazie a qualche semplificazione delle parti più tecniche, consente al lettore di capire il significato dei risultati conseguiti, le loro implicazioni e le strategie che sono state impiegate per raggiungerli.

EAN: 9788843029006
CondizioniUsato, molto buono
EUR 15.00
Ultima copia
Aggiungi al Carrello

Vedi anche...

#267135 Economia
EUR 10.00
Ultima copia

Visualizzati di recente...

#347651 Storia Antica
Gots, Rome, and the culture of the Chernjakhov/Sintana de Mures. St. Petersburg, St. Petersburg University, Faculty of Philology 2005, cm.16,5x24, pp.575, illustrazioni in bianco e nero e a colori, brossura con bandelle e copertina figurata a colori. Testo esclusivamente in russo. This scientific work analyzes one of the most interesting phenomena ofthe first millcnium AD: for five-hundred years a group of people, named "Goths" wandered around Europe and tried to establish its own homeland in various places. In the end this people was lost from the pages of history. The author is an archaeologist whose main goal in this book is to demonstrate how the movements ofthe Goths are shown in archaeological materials, as well as in the changes in the material life of the cultures the Goths met on their way. Special attention is paid to problems of how to chronologically date archaeological monuments, since only correct dating methods will in turn allow researchers to compare archaeological materials with written sources of information on history. In this book, for the first time in Russian-language literature, archaeological and historical data on the past of Europe during the first half of the first millcnium AD are united in one book. This book can serve as a starting-point for further studies of this period of history. This scientific work is meant for specialists in the field of archaeology and history, for students, university teachers, and for anyone interested in ancient history

EAN: 9785846501379
Usato, come nuovo
Note: Testo esclusivamente in russo.
EUR 18.00
Ultima copia