Why is this a Proof? - Tapa blanda

 
9781848901728: Why is this a Proof?
Tapa blanda
ISBN 10: 1848901720 ISBN 13: 9781848901728
Editorial: College Publications, 2015

Sinopsis

This volume includes fifteen research papers to celebrate Luiz Carlos Pereira’s 60th birthday. Among the authors contributing to the volume we find colleagues, friends - including his PhD advisor - and admirers. Similar to Luiz Carlos Pereira’s intellectual interests and work, the contributions range from Philosophy to Mathematics, from Mathematics to Logic, and from Logic to Philosophy, passing through Computer Science. They are the result of current research by well-known scholars in these fields. Proof Theory is, maybe, the Ariadne’s thread that unite the different subjects treated. Questions around the nature of proofs are often present in Luiz Carlos’ formal and informal talks and publications. Of course, he was not the first to dedicate himself to these questions, but he always raises and deals with them enthusiastically. This enthusiasm, together with his intellectual perspicacity, has allowed us to enjoy a wonderful journey into the world of proofs. Although not all contributions focus directly on proof theory, we can feel its echos in all of them.

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

Reseña del editor

This volume includes fifteen research papers to celebrate Luiz Carlos Pereira's 60th birthday. Among the authors contributing to the volume we find colleagues, friends - including his PhD advisor - and admirers. Similar to Luiz Carlos Pereira's intellectual interests and work, the contributions range from Philosophy to Mathematics, from Mathematics to Logic, and from Logic to Philosophy, passing through Computer Science. They are the result of current research by well-known scholars in these fields. Proof Theory is, maybe, the Ariadne's thread that unite the different subjects treated. Questions around the nature of proofs are often present in Luiz Carlos' formal and informal talks and publications. Of course, he was not the first to dedicate himself to these questions, but he always raises and deals with them enthusiastically. This enthusiasm, together with his intellectual perspicacity, has allowed us to enjoy a wonderful journey into the world of proofs. Although not all contributions focus directly on proof theory, we can feel its echos in all of them.

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

Editorial
College Publications
Año de publicación
2015
Idioma
Inglés
ISBN 10 
1848901720
ISBN 13 
9781848901728
Encuadernación
Tapa blanda
Número de páginas
246
Editor
Lopes Bruno, Haeusler Edward Hermann, De Campos Sanz Wagner
Contacto del fabricante
no disponible
Persona responsable
no disponible