This Site
Metaphysics
- Anagogic Theology
  - Mariology
- Trinitarian Division
  - Dogmatic Theology
  - Metaphysical Theology
    - Meta-metaphysics
      - General Methodological Notes
      - Metaphysical Reduction
      - Architectonics: Logic and Metaphysics
      - The Limits of Thought
      - Historical and Speculative
      - Justification of Ontotheology of Becoming
        
        Draft
        
        Residual Draft
    - Ontotheology of Being
    - Ontotheology of Becoming
    - Theological Anthropology
      - Philosophy of Mythology
        
        Preliminaries to a Theory of Mythology
        
        Rejections to Previous Positions
  - Aesthetical Theology
- Marian Division
  - Ethics
    - Cosmology and Ethics
Topics
- Metaphysics
  - Teleology
    - Time, Statistical Mechanics, Thermodynamics
    - Evolution
      - Phenotype Development, Gene Expression
        
        Persistent non-genetic changes
        
        A Revolution in Biology - by Kasra - Bits of Wonder
      - Persistent non-genetic changes
        
        A Revolution in Biology - by Kasra - Bits of Wonder
      - Genetic Structure of the Purebred Domestic Dog
      - Eukaryotes / Mitochondria / Sexual Reproduction / Death
    - Time-Generation
    - Life
    - Systems theory, Modern Schellingianism
  - Logic and Metaphysics
    - Randomness, Chance, Coincidence, Lawlessness
    - Categoricity
    - Proof and Truth
    - Truth, Necessity, Analycity, A Priori
    - Logical Pluralism
    - Modal Logic
      - Bisimulation
    - Diagonal Argument
  - Concepts
  - Panpsychism
  - Contingency
- Foundations of Mathematics
  - Set, Category, Topos
- Infinity
- Continuum
  - Intuitionistic Continuum
  - Peircean Continuum
  - Set-Theoretic Continuum
- Set Theory
  - History
  - Axioms of Set Theory
  - The Axiom of Choice
    - Its truth or falsity isn't interesting
    - Uniformness, and the Halting problem
- Philosophy of Physics
  - Foundations and Interpretations of Quantum Mechanics
  - Causation
    - (Neo)-Russellian Challenges to Causation (in physics)
      - Acausality in Classical Physics
    - Locality of Causation
    - Breaching of the principle of sufficient reason
- Cosmology
  - Physical Cosmology
    - The Cosmological Constant Problem
- Mind
- Biology
  - Methodology
    - Can a Biologist Fix a Radio?
      - Can a biologist fix a radio?--Or, what I learned while studying apoptosis
  - Evolution
    - Phenotype Development, Gene Expression
      - Persistent non-genetic changes
        
        A Revolution in Biology - by Kasra - Bits of Wonder
    - Persistent non-genetic changes
      - A Revolution in Biology - by Kasra - Bits of Wonder
    - Genetic Structure of the Purebred Domestic Dog
    - Eukaryotes / Mitochondria / Sexual Reproduction / Death
- Computation
  - Computational Complexity
    - Some Recent Results in Complexity Theory
      - The Impagliazzo Hard-Core-Set Theorem
      - Szemerédi regularity lemma
    - No free lunch
- Prehistory and Ancient History
  - Neolithic
    - Göbekli Tepe
  - List of oldest extant buildings
- Modern Art
- Cryptography
  - CRC (cyclic redundancy checks)
Writings
- Essays
Reading Notes
- Cybernetics and the Origin of Information
- From Aristotle to Darwin and Back Again
  - Aristotelian Prologue
  - The Mechanist Objection
- Creating Modern Probability
  - Overview
  - Pathways to Modern Probability
    - Borel and the Intrinsic Properties of the Reals
- Calvin and the Foundations of Modern Politics
  - Practical Teachings: The Separation and Union of Religion and Politics
  - Practical Teachings: Providence, Christian Freedom, and Spiritual Government
- Renaissance and Renascences in Western Art
  - The term "Renaissance" - its legitimacy
- James Bradley, Collected Essays in Speculative Philosophy
  - Quotes
- To Read About
Learning Notes
- Theoretical Physics, Mathematical Physics
  - Quantum Information and Quantum Computation
    - Introduction
    - Quantum Bit (Qubit)
  - Mathematical Quantum Field Theory
  - Conformal Field Theory
  - String Theory
    - Ontology of String Theory
  - Critical Phenomena, Renormalization, Chaos
    - Renormalization Methods
      - General Characterization
      - Mathematical Aspects
- Mathematics: Geometry, Analysis, Topology
  - Abstract Harmonic Analysis
    - Introduction
  - Classical Harmonic Analysis
    - Motivation
    - Facts
    - Fourier Series
      - Dirichlet Kernels
    - Hilbert Space formalism
    - From Classical to Abstract Harmonic Analysis
  - Microlocal Analysis
  - Probability Theory
    - Basic Definitions
    - Law of Large Numbers
- Mathematical Logic, Foundations of Mathematics, Theoretical Computer Science
  - Computational Complexity
  - Descriptive Set Theory
  - Set Theory
    - Axioms of ZF
    - Ordinals
    - Cardinals
    - Filters and Ultrafilters
    - Determinacy and Choice
  - (Constructive) Logic
    - Realizability
      - Introduction
  - Computability Theory (Recursion Theory)
    - Introduction
- Philosophical Logic, Metaphysics
  - (Philosophical) Logic
    - Aristotelian Logic
    - Semantics
      - Game Semantics
- Computer Science
  - Network
    - The Transport Layer
  - Databases
    - The Architecture of a DBMS
    - Storage Media
- History, Culture, Literature
  - Medieval Social & Economic History
    - The Beginnings of the European Towns (Urbanism)
  - Indo-European Comparative Mythology
    - Indo-European and Indo-Iranian
- Numerical Methods
  - Numerical Methods and Computational Physics
- Cosmology
- Geology
  - Stratigraphic Stages
  - Holocene
- Paleontology
- Prehistory and Archaeology
Forest
- Origin of French Sociology
- Approximation Theory
  - Kolmogorov–Arnold representation theorem
- Paleography
Mathematics
- Noncommutative Geometry and Operator Algebras
  - Noncommutative Torus
  - Universal C-star algebras
- Convex Analysis
  - Legendre Transformation
- Higher Geometry
  - Lie Groupoid
    - Lie Groupoid and Differentiable Stacks
  - Differentiable Stack
    - Lie Groupoid and Differentiable Stacks
  - Gerbes
  - Groupoid Central Extension
Miscenllaneous
Protected

Colin Stirling, Bisimulation and Logic.pdf