equivalentexchange.blog
Invention and Discovery
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 hu…