Fr. 38.30

Why is this a Proof?

English · Paperback / Softback

Shipping usually within 2 to 3 weeks (title will be printed to order)

Description

Read more










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.

Product details

Assisted by Wagner de Campos Sanz (Editor), Edward Hermann Haeusler (Editor), Bruno Lopes (Editor)
Publisher College Publications
 
Languages English
Product format Paperback / Softback
Released 01.06.2015
 
EAN 9781848901728
ISBN 978-1-84890-172-8
No. of pages 246
Dimensions 156 mm x 234 mm x 13 mm
Weight 380 g
Subject Natural sciences, medicine, IT, technology > IT, data processing > IT

Customer reviews

No reviews have been written for this item yet. Write the first review and be helpful to other users when they decide on a purchase.

Write a review

Thumbs up or thumbs down? Write your own review.

For messages to CeDe.ch please use the contact form.

The input fields marked * are obligatory

By submitting this form you agree to our data privacy statement.