Linking pages
- Surprisingly Turing-Complete · Gwern.net https://www.gwern.net/Turing-complete 303 comments
- Kindness for Mean Girls: a discussion on type-level programming in Haskell | Ayman Nadeem https://www.aymannadeem.com/haskell/2020/05/15/Kindness-for-Mean-Girls.html 62 comments
- Types as axioms, or: playing god with static types https://lexi-lambda.github.io/blog/2020/08/13/types-as-axioms-or-playing-god-with-static-types/ 62 comments
- A Computability Proof of Gödel’s First Incompleteness Theorem | by Jørgen Veisdal | Cantor’s Paradise https://medium.com/cantors-paradise/a-computability-proof-of-g%C3%B6dels-first-incompleteness-theorem-2d685899117c 40 comments
- Gödel Incompleteness For Startups – The Vault of the Future https://skibinsky.com/godel-incompleteness-for-startups/ 38 comments
- Doing a math assignment with the Lean theorem prover - Andrew Helwer https://ahelwer.ca/post/2020-04-05-lean-assignment/ 32 comments
- How Aristotle Created the Computer - The Atlantic https://www.theatlantic.com/technology/archive/2017/03/aristotle-computer/518697/ 31 comments
- Exploring The Peano Axioms With Algebraic Data Types - Francis Stokes: Blog https://francisrstokes.github.io/blog/blog/2019/01/12/exploring-the-peano-axioms-with-algebraic-data-types/ 25 comments
- Gödel Incompleteness For Startups – The Vault of the Future http://skibinsky.com/godel-incompleteness-for-startups/?source=hn 23 comments
- How Aristotle Created the Computer - The Atlantic https://www.theatlantic.com/technology/archive/2017/03/aristotle-computer/518697/?single_page=true 20 comments
- The numeric tower fiasco https://mmapped.blog/posts/23-numeric-tower-fiasco.html 17 comments
- How can we tell that 2≠1? - Chalkdust http://chalkdustmagazine.com/features/how-can-we-tell-that-2%e2%89%a01/ 16 comments
- TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
- codeblog/2011-12-21-static-vector-algebra.md at master · leonidas/codeblog · GitHub https://github.com/leonidas/codeblog/blob/master/2011/2011-12-21-static-vector-algebra.md 12 comments
- GitHub - grego/slist: Algebraic lists with statically determined size that live on stack. https://github.com/grego/slist 9 comments
- Taking Types Too Far | Robbie Ostrow https://ostro.ws/2019/12/09/taking-types-too-far/ 7 comments
- sketches/mineunifier at master · effectfully-ou/sketches · GitHub https://github.com/effectfully-ou/sketches/tree/master/mineunifier 7 comments
- When is equality transitive? and other floating point curiosities https://codewords.hackerschool.com/issues/one/when-is-equality-transitive-and-other-floating-point-curiosities 6 comments
- Mathematical Realism and the Hard Problem of Consciousness | by chrisGoad | Medium https://medium.com/@eutelic/mathematical-realism-and-the-hard-problem-of-consciousness-6f19ebf7a8ba 6 comments
- FizzBuzzing At The Type Level http://blog.omega-prime.co.uk/2008/02/27/fizzbuzzing-at-the-type-level/ 5 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Peano axioms - Wikipedia
See how to search.