This Site
Mathematics
- Noncommutative Geometry and Operator Algebras
  - Noncommutative Torus
  - Universal C-star algebras
- Convex Analysis
  - Legendre Transformation
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
Learning Notes
- Network
  - The Transport Layer
- Databases
  - The Architecture of a DBMS
  - Storage Media
- Computational Complexity
- Descriptive Set Theory
- Microlocal Analysis
- Numerical Methods and Computational Physics
- Abstract Harmonic Analysis
  - Introduction
- Classical Harmonic Analysis
  - Motivation
  - Facts
  - Fourier Series
    - Dirichlet Kernels
  - Hilbert Space formalism
  - From Classical to Abstract Harmonic Analysis
- Medieval Social & Economic History
  - The Beginnings of the European Towns (Urbanism)
- Indo-European Comparative Mythology
  - Indo-European and Indo-Iranian
- String Theory
  - Ontology of String Theory
- Conformal Field Theory
- Mathematical Quantum Field Theory
Topics
- Infinity
  - Countabilism
  - Paradoxes of Infinite
- Philosophy of Physics
  - Foundations and Interpretations of Quantum Mechanics
    - Realism or Locality: Which Should We Abandon?
- Intuitionistic Continuum
Forest
- Systems theory, Modern Schellingianism
- Origin of French Sociology
- Randomness, Chance, Coincidence, Lawlessness
- Quantum Bayesianism
- Purely Negative Concepts
- Cybernetics, Artificial Intelligence
- Intelligence
- (Neo)-Russellian Challenges to Causation (in physics)
  - Acausality in Classical Physics
- Proof and Truth
- Truth, Necessity, Analycity, A Priori
- Self-Improving Automata, Langford-Moore Paradox
- Teleology
  - Time, Statistical Mechanics, Thermodynamics
  - Evolution
    - Phenotype Development, Gene Expression
      - 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
- Logical Pluralism
  - Intuitionistic Logic
  - Paraconsistent Logic
- Set, Category, Topos
- Computational Complexity
  - Some Recent Results in Complexity Theory
    - The Impagliazzo Hard-Core-Set Theorem
  - No free lunch
- Approximation Theory
  - Kolmogorov–Arnold representation theorem
- Unconscious
  - Quantum Theory
- Paleography
Miscenllaneous
Protected

Moschovakis, Vafeiadou, Intuitionistic Mathematics and Logic.pdf