Category:Logic
Jump to navigation
Jump to search
See Logic
References
Subcategories
This category has the following 11 subcategories, out of 11 total.
A
C
M
P
- Proof (7 P)
- Proposition (empty)
R
- Reversible logic (empty)
S
- Semantics (12 P)
- Smart Contract (29 P)
T
- Tautology (1 P)
Pages in category "Logic"
The following 66 pages are in this category, out of 66 total.
B
- Book/An Investigation of the Laws of Thought
- Book/Art & Physics
- Book/Category Theory for the Sciences
- Book/Discrete Mathematics with Applications
- Book/Gödel’s Proof
- Book/Intuitionistic Type Theory
- Book/Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
- Book/Logic machines and diagrams
- Book/Meta Math!
- Book/The Alphabet versus the Goddess
- Boundaries and Extremities
C
P
- Paper/Behavioral Mereology (Proofs and Properties)
- Paper/Geometrical Networks Higher-Dimensional Models of Networks and Databases
- Paper/Graphical Regular Logic
- Paper/Higher-Dimensional Models of Networks
- Paper/Outline of a Mathematical Theory of Computation
- Paper/Pixel Arrays: A fast and elementary method for solving nonlinear systems
- Paper/Simplicial Databases
- Paper/The Logic of Being Informed
- Power of data
S
V
- Video/Fixed-Point Theorems in Analysis, Logic, and Computer Science
- Video/How do you model thought?
- Video/ISRM-LOGRAC-2022-03-24 Propositions as types
- Video/Limits of Logic: The Gödel Legacy
- Video/Roger Penrose explains Godel's incompleteness theorem in 3 minutes
- Video/The Algebra of Boole is not Boolean Algebra! (I) - Math Foundations 255 - N J Wildberger
- Video/The Algebra of Boole is not Boolean Algebra! (II) - Math Foundations 256 - N J Wildberger
- Video/The Alphabet vs. The Goddess Lecture by Dr. Leonard Shlain
- Video/這是最好懂的邏輯學入門 - 你將受用終身（上）
- Video/這是最好懂的邏輯學入門 你將受用終身 - 隐喻、类比以及原型范畴 - 汤质看本质
- Video/這是最好懂的邏輯學入門 你將受用終身（中）