/explore

Click through on any links that interest you or select the planets on the right to continue exploring the Outer Web.
You are here

 math.andrej.com
Mathematics and Computation | The elements of an inductive type
| | www.logicmatters.net
Avigad's MLC: The full story ... - Logic Matters
4.1 parsecs away

Travel
| | I have at last returned to finish reading Jeremy Avigad's Mathematical Logic and Computation, which was published last year by CUP. Here, now put together into one post, are some thoughts about the book (increasingly less per chapter, as I came to realise that - despite Avigad's intentions and despite the many virtues of the [...]
| | lawrencecpaulson.github.io
Inductive definitions
1.8 parsecs away

Travel
| |
| | www.twanvl.nl
Type theory with indexed equality - the theory
3.2 parsecs away

Travel
| |
| | mathscholar.org
Is modern science socially constructed and forever tentative? « Math Scholar
30.9 parsecs away

Travel
| [AI summary] The article discusses the intersection of science and philosophy, highlighting the importance of empirical evidence and the scientific method in advancing knowledge. It critiques postmodern science studies for lacking scientific rigor and credibility, referencing the Sokal hoax as a key example. The piece also touches on the contributions of non-Western societies to science and the need for diversity in the scientific community. Ultimately, it concludes that while philosophical reflection has value, it should not replace the empirical foundation of scientific research.