Roel Wieringa pointed me at this article that describes why theories are interesting. I found the advice on how to structure a research article and the different categories of interesting-ness to be fascinating and useful.
Type Theory for All: The Goal of Science is to Communicate Ideas
-
Thank you to the crew at Type Theory for All for their thoughtful and
well-prepared interview.
1 day ago
No comments:
Post a Comment