I have made a number of posts which involve or are dedicated to Mathematics. Here is a summary of them.

**Intuitive Explanations**

- What is a mathematical proof?
- Axioms, logical pinpointing, natural numbers, and mathematical realism
- How to prove stuff
- Confidence and Credibility
- Bayesian Networks

**Mathematical Logic**

- Propositional Logic
- Axioms, logical pinpointing, natural numbers, and mathematical realism
- How to prove stuff
- Logical Uncertainty
- Logical Uncertainty: an addendum
- The Gaifman Condition and the Π1-Π2 problem
- What’s logical coherence for anyway?

**Number Theory**

**Probability Theory**

- The supreme, most ultimate post on Bayes’ Theorem (maybe)
- Bayes’ Theorem
- What is evidence?
- Don’t be so sure…
- Other ways of looking at probability
- An (Intuitive?) Introduction to Entropy
- Learning Bayes [part 1]
- Learning Bayes [part 2]
- Learning Bayes [part 3]
- Learning Bayes [part 3.5]
- Agreements, disagreements, and likelihood ratios
- Absence of evidence
*is*evidence of absence - Occam’s Razor
- Confidence and Credibility
- Bayesian falsification and the strength of a hypothesis
- Truth, Probability, and Unachievable Consistency
- Bayesian Networks
- Artificial Neural Networks
- Stopping rules, p-values, and the likelihood principle
- Logical Uncertainty
- Logical Uncertainty: an addendum
- The Gaifman Condition and the Π1-Π2 problem
- What’s logical coherence for anyway?

**Machine Learning**