- In intuitionistic logic, a statement is only true if there is a proof that it is true, and only false if there is a proof that it is false. http://en.wikipedia.org/wiki/intuitionistic_logic 8 comments math
Linking pages
- 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
- Barebones lambda cube in OCaml · GitHub https://gist.github.com/Hirrolot/89c60f821270059a09c14b940b454fd6 2 comments
- The Rise of Type Theory http://pling.jondgoodwin.com/post/rise-of-type-theory/ 0 comments
- Outside the box – Piekniewski's blog http://blog.piekniewski.info/2017/01/13/outside-the-box/ 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: Intuitionistic logic - Wikipedia
See how to search.