Linking pages
- A primer to the set-theoretic multiverse philosophy put forward by Joel David Hamkins (a guided tour to the limits of mathematical reasoning) https://iblech.gitlab.io/bb/multiverse.html 39 comments
- Using dependent types to write proofs in Haskell | Ascetic Slug https://janmasrovira.gitlab.io/ascetic-slug/post/haskell-proofs/ 16 comments
- An Utterly Incomplete Look at Research from 1924 - Brett Mullins – Researcher - Data Scientist https://bcmullins.github.io/research-from-1924/ 1 comment
- Interesting Articles I've Read in 2021 – Brett Mullins – Researcher - Data Scientist https://bcmullins.github.io/top-articles-2021/ 0 comments
Related searches:
Search whole site: site:plato.stanford.edu
Search title: Russellâs Paradox (Stanford Encyclopedia of Philosophy)
See how to search.