| |
| | Citations: Informal rigour and completeness proofs - Kreisel (ResearchIndex) (Site not responding. Last check: 2007-11-07) |
 | | Kreisel, Informal rigour and completeness proofs, in: I.Lakatos (ed.), Problems in the philosophy of mathematics, North-Holland (1969), 138-157. |
 | | We do not, however, claim to have reached the limits of analysis (but perhaps the idea of the ultimate analysis does not even make sense) Second, we.... |
 | | The di#erence is that Kreisel accepts the reductive account of logical consequence, but is worried about the fact that standard applications of it survey only domains that are sets, while we often use the first order language to talk about proper classes of objects. |
| citeseer.ist.psu.edu /context/296197/0 (892 words) |
|