- Entropy, Information, Dynamical System and Non-Standard Analysis
Mar 13, 2023
- D. A. Lavis, the Concept of Probability in Statistical Mechanics
Mar 11, 2023
- Thermodynamics and Information Theory
Mar 11, 2023
- Cleaning up confusions in logic and formal theories
Mar 10, 2023
- PLFA: Equality
Mar 9, 2023
- Ryabko, Reznikova, the Use of Ideas of Information Theory for Studying 'Language' and Intelligence in Ants
Mar 7, 2023
- PLFA: Relations
Mar 3, 2023
- PLFA: Induction
Mar 2, 2023
- PLFA: Naturals
Mar 2, 2023
- Leisure Readings
Mar 6, 2023
- Hamming-Type Code for Base-n Systems
Feb 25, 2023
- Misconceptions about the Word 'Computation'
Feb 24, 2023
- Lawvere, Adjointness in Foundations
Feb 17, 2023
- The Early Universe
Mar 13, 2023
- Equalities in Type Theory
Feb 14, 2023
- Short Notes on Various Papers, 2023
Mar 11, 2023
- Grand Cosmic and Natural History
Feb 15, 2023
- The Law of Excluded Middle
Feb 1, 2023
- Axiom of Choice
Jan 28, 2023
- Further comments on Dummett's Comments on Frege
Jan 29, 2023
- Language, Logic and Theories of Meaning
Feb 15, 2023
- Messin' around Monad
Feb 22, 2023
- Remarks on Categorical Logic
Feb 12, 2023
- Notes on Martin Lof's Siena Lectures
Feb 14, 2023
- Notes on Medieval Canon Law
Jan 10, 2023
- May Queen, Diana and Sovereignty
Jan 9, 2023
- Gap-fillings for some theorems in mathematics textbooks
Feb 7, 2023
- Studies on Cyber Subcultural Religious Phenomena
Dec 12, 2022
- Old Quantum Theory 3: Atomic Spectra
Dec 12, 2022
- Old Quantum Theory, Special: Algebra of observables from convolution
Dec 9, 2022
- Mathematica: Time Dependent Navier-Stokes
Dec 9, 2022
- Old Quantum Theory 2: Light Quanta
Dec 8, 2022
- Mathematica: Special Functions Visualization
Dec 8, 2022
- Index Theory 0: Overview
Dec 7, 2022
- Old Quantum Theory 1: The Black Body Radiation Law
Dec 6, 2022
- Mathematica: Nonlinear Oscillation of a Pendulum
Dec 6, 2022
- Cybernetics, Consciousness and Metasystem Transition
Dec 12, 2022
- Notes on 「The Philosophical Basis of Intuitionistic Logic」
Nov 13, 2022
- Readings on William Lawvere's Work
Nov 9, 2022
- Readings on Per Martin Loef's Work
Nov 9, 2022
- The Meaning of Implications
Aug 20, 2022
- Short Notes on Various Papers, 2022
Nov 12, 2022
- Quantifier as Adjoints
Jul 21, 2022
- Notes and comments on 'Axiomatic Methods and Category Theory' by Andrei Rodin
Jul 21, 2022
- 神秘主义/秘仪/神话学/宗教史
Jul 21, 2022
- Notes and comments on Frege's Philosophical Writings
Jul 21, 2022
- Notes on 'The Logical Foundation of Cognition'
Jul 21, 2022
- Against Realism
Jul 21, 2022
- Personal Recommendation Library
Jul 21, 2022
- Notes on Dummett's 2000 paper
Jul 21, 2022
- Intuitionism
Jul 21, 2022
- 韩林合，维特根斯坦《哲学研究》解读
Jul 21, 2022
- Short Reviews
Feb 24, 2023