- Stochastic Music with Band-Pass Filters, 3: Hydrogen Emission Spectra
Mar 20, 2023
- Stochastic Music with Band-Pass Filters, 2: Resonance Acoustics
Mar 20, 2023
- Stochastic Music with Band-Pass Filters, 1: Ideas
Mar 18, 2023
- 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
- PLFA: Relations
Mar 3, 2023
- PLFA: Induction
Mar 2, 2023
- PLFA: Naturals
Mar 2, 2023
- Leisure Readings
Mar 6, 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
- Rendering $E_8$-Root Polytope
Feb 11, 2023
- Resources on Agda
Mar 2, 2023
- Axiom of Choice
Jan 28, 2023
- Language, Logic and Theories of Meaning
Feb 15, 2023
- Messin' around Monad
Feb 22, 2023
- Remarks on Categorical Logic
Feb 12, 2023
- Gap-fillings for some theorems in mathematics textbooks
Feb 7, 2023
- 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
- Readings on William Lawvere's Work
Nov 9, 2022
- Readings on Per Martin Loef's Work
Nov 9, 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
- Against Realism
Jul 21, 2022
- Personal Recommendation Library
Jul 21, 2022
- Intuitionism
Jul 21, 2022
- Short Reviews
Feb 24, 2023