- Excluding the law of the excluded middle https://en.wikipedia.org/wiki/Soundness 14 comments math
- How to validly derive an "ought" from an "is." http://en.wikipedia.org/wiki/Soundness#Of_arguments 45 comments philosophy
Linking pages
- JavaScript: Servo's only garbage collector - Mozilla Research https://blog.mozilla.org/research/2014/08/26/javascript-servos-only-garbage-collector/ 34 comments
- Are Sunk Costs Fallacies? · Gwern.net https://www.gwern.net/Sunk-cost 8 comments
- We Need to Stop Letting Carpenters Design Skyscrapers | by Charlotte Tortorella | Medium https://medium.com/@MahouShoujoD/we-need-to-stop-letting-carpenters-design-skyscrapers-d56624c8b72a?source=linkShare-a9da1860180e-1533806978 2 comments
- Unsound and Incomplete - You work for me, Computer. http://www.brandonbloom.name/blog/2014/01/08/unsound-and-incomplete/ 1 comment
- Complete and Liveness, Safe and Sound | Lambda Land https://lambdaland.org/posts/2022-03-02_sound_complete_and_duals/ 0 comments
- Are Sunk Costs Fallacies? · Gwern.net http://www.gwern.net/Sunk%20cost 0 comments
- TypeScript and the Curry-Howard Correspondence: Unveiling the Logic in Your Code https://elie.rotenberg.io/b/p/typescript-curry-howard 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Soundness - Wikipedia
See how to search.