Difference between revisions of "Category:Meta Mathematics"
Jump to navigation
Jump to search
(Created page with "See Category:Meta Mathematics") |
|||
| Line 1: | Line 1: | ||
See [[Category:Meta Mathematics]] | See [[Category:Meta Mathematics]] | ||
[[Category:Logic]] | |||
[[Category:Cognitive Science]] | |||
Revision as of 04:12, 19 January 2022
See
Subcategories
This category has the following 2 subcategories, out of 2 total.
Pages in category "Meta Mathematics"
The following 78 pages are in this category, out of 78 total.
B
- Book/A New Kind of Science
- Book/An Investigation of the Laws of Thought
- Book/Categories for the Working Mathematician
- Book/Category Theory for Programmers
- Book/Computer Architecture
- Book/Computer Organization and Design
- Book/Discrete Mathematics with Applications
- Book/From Word to Sentence: a computational algebraic approach to grammar
- Book/Gödel’s Proof
- Book/Introduction to Lattices and Order
- Book/Joachim Lambek: The Interplay of Mathematics, Logic, and Linguistics
- Book/Logic machines and diagrams
- Book/Mathematical Foundations of Computational Engineering
- Book/Meta Math!
- Book/Mind and Nature
- Book/Programs Grammars Arguments
- Book/Symmetry
- Book/The Ambidextrous Universe
- Book/The Foundations of Mathematics
- Book/扩展的三段论及自动推理
- Book/证明方法与理论
C
F
G
P
- Paper/Combinatorial Route to Algebra: The Art of Composition & Decomposition
- Paper/General Theory of Natural Equivalences
- Paper/Grounded Language Learning Fast and Slow
- Paper/Inter-universal Teichmüller Theory
- Paper/Mathematics is the art of giving the same name to different things
- Paper/Proof Issues with Existential Quantification
- Paper/Taking Place Value Seriously: Arithmetic, Estimation, and Algebra
- Paper/The Mathematics of Sentence Structure
- Paper/The Role of Logic in Teaching Proof
- Paper/The Unreasonable Effectiveness of Mathematics in the Natural Sciences
- Paper/When is one thing equal to some other thing?
V
- Video/1. General Overview and the Development of Numbers
- Video/A brief course on the history of mathematics
- Video/Bourbaki, Categories and Structuralism, Jean Pierre Marquis
- Video/Emily Riehl on Topology, Categories, and the Future of Mathematics
- Video/Hewitt, Meijer and Szyperski: The Actor Model (everything you wanted to know...)
- Video/John Baez - Categories: the Mathematics of Connection - IPAM at UCLA
- Video/The Biggest Project in Modern Mathematics
- Talk:Video/The imaginary number i and the Fourier Transform
- Video/What is...a complete category?
- Video/Wolfram Physics Project: Relations to Category Theory
- Video/Wolfram Physics Project: Working Session Thursday, July 23, 2020