- Entropy, Information, Dynamical System and Non-Standard Analysis
Mar 13, 2023
- D. A. Lavis, the Concept of Probability in Statistical Mechanics
Mar 11, 2023
- PLFA: Equality
Mar 9, 2023
- PLFA: Relations
Mar 3, 2023
- PLFA: Induction
Mar 2, 2023
- PLFA: Naturals
Mar 2, 2023
- Hamming-Type Code for Base-n Systems
Feb 25, 2023
- Lawvere, Adjointness in Foundations
Feb 17, 2023
- Equalities in Type Theory
Feb 14, 2023
- Axiom of Choice
Jan 28, 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
- Mathematica: Time Dependent Navier-Stokes
Dec 9, 2022
- Mathematica: Special Functions Visualization
Dec 8, 2022
- Index Theory 0: Overview
Dec 7, 2022
- Mathematica: Nonlinear Oscillation of a Pendulum
Dec 6, 2022
- Notes on 「The Philosophical Basis of Intuitionistic Logic」
Nov 13, 2022
- Quantifier as Adjoints
Jul 21, 2022
- Notes and comments on 'Axiomatic Methods and Category Theory' by Andrei Rodin
Jul 21, 2022
- Notes and comments on Frege's Philosophical Writings
Jul 21, 2022
- Notes on 'The Logical Foundation of Cognition'
Jul 21, 2022
- Notes on Dummett's 2000 paper
Jul 21, 2022
- Intuitionism
Jul 21, 2022