Re: [HM] Logicism

Martin Davis (martind@cs.berkeley.edu)
Mon, 11 Jan 1999 10:50:38 -0800

Messages sorted by: [ date ][ thread ][ subject ][ author ]
Next message: Jeff Miller: "Re: [HM] Stamps on the Web"
Previous message: M Robert Showalter: "[HM] Logicism"
Maybe in reply to: M Robert Showalter: "[HM] Logicism"
Next in thread: Val Dusek: "Re: [HM] Logicism"

In reply to Jeremy Gray's request, here are two recent outstanding sources
(with lots of references):

Paolo Mancosu, "From Brouwer to Hilbert" Oxford 1998
Wilfried Sieg, "Hilbert's Programs: 1917-1922" to appear very soon in the
Bulletin of Symbolic Logic

This last shows clearly Hilbert's moving away from Russell's logicism to
developing his own program

Martin Davis

Next message: Jeff Miller: "Re: [HM] Stamps on the Web"
Previous message: M Robert Showalter: "[HM] Logicism"
Maybe in reply to: M Robert Showalter: "[HM] Logicism"
Next in thread: Val Dusek: "Re: [HM] Logicism"