Linking pages
- The Physicalization of Metamathematics and Its Implications for the Foundations of Mathematics—Stephen Wolfram Writings https://writings.stephenwolfram.com/2022/03/the-physicalization-of-metamathematics-and-its-implications-for-the-foundations-of-mathematics/ 98 comments
- Calculating type sets is harder than you think | Mero's Blog https://blog.merovius.de/posts/2022-05-16-calculating-type-sets/ 53 comments
- TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
- GitHub - jeffbinder/promptarray: Text generator prompting with Boolean operators https://github.com/jeffbinder/promptarray 15 comments
- The Liar Paradox and the Meaning Paradox - by Neonomos https://neonomos.substack.com/p/the-liar-paradox-and-the-meaning 14 comments
- Constraining Complexity in the Generics Design | Mero's Blog https://blog.merovius.de/posts/2024-01-05_constraining_complexity/ 10 comments
- Contradiction in divide by zero http://boxbase.org/entries/2019/mar/11/contradiction-in-divide-by-zero/ 2 comments
- When Alan Turing and Ludwig Wittgenstein Discussed the Liar Paradox | by Paul Austin Murphy | Cantor’s Paradise https://www.cantorsparadise.com/when-alan-turing-and-ludwig-wittgenstein-discussed-the-liar-paradox-3c2de0ff09d1?gi=df43a2ee8f88 1 comment
- When Alan Turing and Ludwig Wittgenstein Discussed the Liar Paradox | by Paul Austin Murphy | Cantor’s Paradise https://www.cantorsparadise.com/when-alan-turing-and-ludwig-wittgenstein-discussed-the-liar-paradox-3c2de0ff09d1?gi=1a814f157d 0 comments
- Poleiro, the Coq blog - Equality in Coq http://poleiro.info/posts/2018-01-26-equality-in-coq.html 0 comments
- Dictionary of Arguments and Positions | GrowWiser https://www.growwiser.com/2018/10/01/dictionary-of-arguments-and-positions/ 0 comments
- Giving the users what they want? – Bitcoin, the insurgency https://bitcoinrevolt.wordpress.com/2015/09/30/giving-the-users-what-they-want/ 0 comments
- GitHub - jeffbinder/promptarray: Text generator prompting with Boolean operators https://github.com/jeffbinder/boolean-prompting 0 comments
Related searches:
Search whole site: site:en.wikipedia.org
Search title: Principle of explosion - Wikipedia
See how to search.