Brower's contribution to Mathematics an Computer Science
Subject: Brower's contribution to Mathematics an Computer Science
From: "Jose Manuel E. Valenca" <email@example.com>
Date: Tue, 21 Oct 1997 12:28:58 +0100
Delivery-Date: Tue, 21 Oct 1997 06:24:42 -0500
The recent flourish of messages concerning "Intuitionist Logic"
brought forward, once again, the role of L.E.J.Brower in the
foundations of Mathematics, Logic and Computer Science.
I often feel that his work may be singled out as the main reason why
"we are all here!".
This is the reason why I think that the centenary of the publication
of his thesis (which is not very far away) should deserve a suitable
commemoration. Maybe a conference bringing together logicians,
mathematical historians and computer scientists.
Perhaps our friends at the Amsterdam have already thought about this?