Alan Weir

Suggest Changes
Learn More
  • Alan Weir
  • Notre Dame Journal of Formal Logic
  • 2003
Neo-Fregeans argue that substantial mathematics can be derived from a priori abstraction principles, Hume’s Principle connecting numerical identities with one:one correspondences being a prominent(More)
Increases in the use of automated theorem-provers have renewed focus on the relationship between the informal proofs normally found in mathematical research and fully formalised derivations. Whereas(More)
Enzymes able to digest nucleic acids are of course essential to molecular biology, indeed the whole technology was founded on the discovery of bacterial enzymes that cleave DNA molecules in a(More)
  • 1