What are the differences between invention and discovery? Ever since my post Propositions as Types I’ve been trying to determine what they are. Some say that mathematics and logic are completely human inventions and they have no correspondence to the natural world. Others say that mathematics already exists in some “Platonic” realm just waiting for … Continue reading Invention and Discovery