- Help with first-order logic http://en.wikipedia.org/wiki/First-order_logic 9 comments math
- Non-Standard Models of The First-Order Theory of Arithmetic http://en.wikipedia.org/wiki/First-order_logic 4 comments math
- First-order logic http://en.wikipedia.org/wiki/first-order_logic 31 comments philosophy
Linking pages
- Philosophy — Susan Rigetti https://www.susanrigetti.com/philosophy 163 comments
- A gentle introduction to automated reasoning - Amazon Science https://www.amazon.science/blog/a-gentle-introduction-to-automated-reasoning 51 comments
- Gödel, Turing and Cantor: The Math – The Vault of the Future http://skibinsky.com/godel-turing-and-cantor-the-math/ 42 comments
- Software Verification and Analysis Using Z3 – NCC Group Research https://research.nccgroup.com/2021/01/29/software-verification-and-analysis-using-z3/ 40 comments
- Number theory explained from first principles https://explained-from-first-principles.com/number-theory/ 29 comments
- TLA+ in Practice and TheoryPart 2: The + in TLA+ https://pron.github.io/posts/tlaplus_part2 15 comments
- Mahmoud Mazouz https://www.fuzzypixelz.com/blog/absolut-yeet-z3/ 11 comments
- Aristotle and the chatbot: how ancient rules of logic could make artificial intelligence more human https://theconversation.com/aristotle-and-the-chatbot-how-ancient-rules-of-logic-could-make-artificial-intelligence-more-human-142811 6 comments
- Lucas DiCioccio's blog - Solving the Snake Cube puzzle https://lucasdicioccio.github.io/snake-cube.html 1 comment
- Using Grakn to detect patterns in credit fraud data | by Oscar Darwin | Vaticle https://blog.grakn.ai/using-grakn-ai-to-detect-patterns-in-credit-fraud-data-253d58ad4c6c 1 comment
- GitHub - advancedresearch/last_order_logic: An experimental logical language https://github.com/advancedresearch/last_order_logic 1 comment
- An Utterly Incomplete Look at Research from 1924 - Brett Mullins – Researcher - Data Scientist https://bcmullins.github.io/research-from-1924/ 1 comment
- Unification - Eli Bendersky's website https://eli.thegreenplace.net/2018/unification/ 0 comments
- The Case for Logical Fallacies - by Aaron Bergman https://aaronbergman.substack.com/p/the-case-for-logical-fallacies 0 comments
- Oskar Morgenstern's Transformation (1925-38) https://www.privatdozent.co/p/oskar-morgensterns-transformation 0 comments
- Why Are Computers 4: Seemingly Disconnected Things https://whyarecomputers.com/4 0 comments
- Ten myths about technical writing « Bug counting http://bugcounting.net/blog/?p=99 0 comments
- Logical-Based Artificial Intelligence and Expert Systems | Primary Objects http://www.primaryobjects.com/2018/07/23/logical-based-artificial-intelligence-and-expert-systems/ 0 comments
- The Ivy language http://microsoft.github.io/ivy/language.html 0 comments
- Designing an Artificial Intelligence Agent to Navigate a World | Primary Objects http://www.primaryobjects.com/2020/10/26/designing-an-artificial-intelligence-agent-to-navigate-a-world/ 0 comments
Related searches:
Search whole site: site:wikipedia.org
Search title: First-order logic - Wikipedia
See how to search.