Bøger af John P. (Princeton University) Burgess

John P. Burgess presents an illuminating study of the nature of mathematical rigor and of mathematical structure, and above all of the relation between them. He considers recent developments in the field including experimental mathematics and computerized formal proofs, and surveys many historical developments in mathematics, philosophy, and logic.

Saul Kripke has been a major influence on analytic philosophy and allied fields for a half-century and more. His early masterpiece, Naming and Necessity, reversed the pattern of two centuries of philosophizing about the necessary and the contingent.