Disponibilità: Normalmente disponibile in 15 giorni A causa di problematiche nell'approvvigionamento legate alla Brexit sono possibili ritardi nelle consegne.
In this book, Yurii L. Ershov posits the view that computability-in the broadest sense-can be regarded as the Sigma-definability in the suitable sets. He presents a new approach to providing the Gödel incompleteness theorem based on systematic use of the formulas with the restricted quantifiers. The volume also includes a novel exposition on the foundations of the theory of admissible sets with urelements, using the Gandy theorem throughout the theory's development. Other topics discussed are forcing, Sigma-definability, dynamic logic, and Sigma-predicates of finite types.
Sommario
Sigmadefinability and the Gödel Incompleteness Theorem. Computability on Admissible Sets. Selected Topics. Appendix. Index.
Altre Informazioni
ISBN:
9780306110399
Condizione: Nuovo
Collana: Siberian School of Algebra and Logic
Dimensioni: 234 x 156 mm Ø 1270 gr
Formato: Copertina rigida
Illustration Notes:XIV, 264 p.
Pagine Arabe: 264
Pagine Romane: xiv
Dicono di noi
Per noi la tua privacy è importante
Il sito utilizza cookie ed altri strumenti di tracciamento che raccolgono informazioni dal dispositivo dell’utente. Oltre ai cookie tecnici ed analitici aggregati, strettamente necessari per il funzionamento di questo sito web, previo consenso dell’utente possono essere installati cookie di profilazione e marketing e cookie dei social media. Cliccando su “Accetto tutti i cookie” saranno attivate tutte le categorie di cookie. Per accettare solo deterninate categorie di cookie, cliccare invece su “Impostazioni cookie”. Chiudendo il banner o continuando a navigare saranno installati solo cookie tecnici. Per maggiori dettagli, consultare la Cookie Policy.