Linking pages
- The Unparalleled Genius of John von Neumann | by Jørgen Veisdal | Cantor’s Paradise https://medium.com/cantors-paradise/the-unparalleled-genius-of-john-von-neumann-791bb9f42a2d 319 comments
- The Unparalleled Genius of John von Neumann | by Jørgen Veisdal | Cantor’s Paradise https://www.cantorsparadise.com/the-unparalleled-genius-of-john-von-neumann-791bb9f42a2d 261 comments
- Mathematical Phenomenology. Phenomenology is the study of… | by chrisGoad | Medium https://eutelic.medium.com/mathematical-phenomenology-1adca52e9d20 71 comments
- 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
- Arationality of Emotions - by Niranjan Krishna https://niranjankrishna.substack.com/p/arationality-of-emotions?sd=pf 22 comments
- TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
- At the Boundary of the Physical. In order to consider the boundary of… | by chrisGoad | Medium https://eutelic.medium.com/at-the-boundary-of-the-physical-ecaa456f2e69 10 comments
- A Few of My Favorite Spaces: The Long Line - Scientific American Blog Network https://blogs.scientificamerican.com/roots-of-unity/a-few-of-my-favorite-spaces-the-long-line/ 8 comments
- GitHub - lemmy/BlockingQueue: Tutorial "Weeks of debugging can save you hours of TLA+". Each git commit introduces a new concept => check the git history! https://github.com/lemmy/BlockingQueue 6 comments
- The Empirical Heart of Mathematics – The Third Triumvirate https://thirdtriumvirate.wordpress.com/2018/01/30/empirical-heart-mathematics/ 3 comments
- Why Writing Correct Software Is Hard https://pron.github.io/posts/correctness-and-complexity 3 comments
- Everything is a Set: Constructing the Reals | Refined https://vinaybhaip.com/blog/2020/11/15/everything-is-a-set 1 comment
- A Phenomenology of Visual Pattern | by chrisGoad | Oct, 2022 | Medium https://eutelic.medium.com/a-phenomenology-of-visual-pattern-643cf577ad6c 0 comments
- Roger Penrose’s AI skepticism | Sorting and Searching https://sortingsearching.com/2021/07/18/roger-penrose-ai-skepticism.html 0 comments
- Testing the Algorithm – Evaluating TLA plus | bet365 Tech Blog http://bet365techblog.com/testing-the-algorithm-evaluating-tla-plus 0 comments
- The New Jorviker - Unnecessary lemmas. Very sloppy. Handwriting needs improvement. https://newjorviker.com/software%20engineering/2020/09/20/what-is-a-data-structure.html 0 comments
- Smart contracts: Turing completeness & reality | by Arthur Breitman | HackerNoon.com | Medium https://medium.com/@arthurb/smart-contracts-turing-completeness-reality-3eb897996621#.oms2fcm5c 0 comments
- Theorem proving in Coq https://kuruczgy.com/blog/2023/06/18/theorem-proving-in-coq/ 0 comments
- How languages influence each other and evolve https://thetechenabler.substack.com/p/how-languages-influence-each-other 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Zermelo–Fraenkel set theory - Wikipedia
See how to search.