Artículos relacionados a Studies in Weak Arithmetics: Volume 1: 196 (Lecture...

Studies in Weak Arithmetics: Volume 1: 196 (Lecture Notes) - Tapa blanda

 
9781575866024: Studies in Weak Arithmetics: Volume 1: 196 (Lecture Notes)
Tapa blanda
ISBN 10: 1575866021 ISBN 13: 9781575866024
Editorial: Centre for the Study of Language & Information, 2009

Sinopsis

The field of weak arithmetics is an application of logical methods to number theory that was developed by mathematicians, philosophers, and theoretical computer scientists. In this volume, after a general presentation of weak arithmetics, the following topics are studied: the properties of integers of a real closed field equipped with exponentiation; conservation results for the induction schema restricted to first-order formulas with a finite number of alternations of quantifiers; a survey on a class of tools called pebble games; the fact that the reals e and pi have approximations expressed by first-order formulas using bounded quantifiers; properties of infinite pictures depending on the universe of sets used; a language that simulates in a sufficiently nice manner all  algorithms of a certain restricted class; the logical complexity of the axiom of infinity in some variants of set theory without the axiom of  foundation; and the complexity to determine whether a trace is included in another one.

"Sinopsis" puede pertenecer a otra edición de este libro.

Acerca del autor

Patrick Cegielski is professor at Universite Paris-Est Creteil-IUT de Senart Fontainebleau.

"Sobre este título" puede pertenecer a otra edición de este libro.

Editorial
Centre for the Study of Language & Information
Año de publicación
2009
Idioma
Inglés
ISBN 10 
1575866021
ISBN 13 
9781575866024
Encuadernación
Tapa blanda
Número de páginas
221
Editor
Cegielski Patrick
Contacto del fabricante
no disponible
Persona responsable
no disponible