# real analysis (blogs) — RSS Amplifier

Recent posts from the 1 feeds in the RSS Amplifier directory that cover real analysis.

Page: <https://rssamplifier.com/topics/real-analysis/blogs>  
Feed: <https://rssamplifier.com/topics/real-analysis/blogs.md>

---

## [The Semantics of the Lambda Calculus](https://www.davidtemplin.name/the-semantics-of-the-lambda-calculus/)

_2026-08-18 · David Templin · David Templin's Blog_

This post describes the semantics of the lambda calculus.

## [Howe's Method](https://www.davidtemplin.name/howes-method/)

_2026-08-03 · David Templin · David Templin's Blog_

This post elucidates the mathematical foundations of Howe's method.

## [Applicative Bisimilarity](https://www.davidtemplin.name/applicative-bisimilarity/)

_2026-07-27 · David Templin · David Templin's Blog_

This post examines a notion of equivalence for terms of the lambda calculus known as applicative bisimilarity.

## [Coinduction and Bisimulation](https://www.davidtemplin.name/coinduction-and-bisimulation/)

_2026-07-01 · David Templin · David Templin's Blog_

This post introduces the concepts of coinduction and bisimulation via the theory of fixed points of monotone maps.

## [The Shoelace Formula](https://www.davidtemplin.name/the-shoelace-formula/)

_2026-06-22 · David Templin · David Templin's Blog_

This post discusses the Shoelace Formula for computing the area of arbitrary simple polygons.

## [Structural Induction](https://www.davidtemplin.name/structural-induction/)

_2026-06-04 · David Templin · David Templin's Blog_

This post explores structural induction and recursion based on the theory of monotone maps on powersets.

## [A Note on Surface Integrals](https://www.davidtemplin.name/a-note-on-surface-integrals/)

_2026-05-28 · David Templin · David Templin's Blog_

This post describes a method for computing surface area solely based on the dominant component of the normal vector at each point along the surface.

## [The Hyperreal Numbers](https://www.davidtemplin.name/the-hyperreal-numbers/)

_2026-05-23 · David Templin · David Templin's Blog_

This post discusses the basics of non-standard analysis.

## [Solid Angle via Differential Geometry](https://www.davidtemplin.name/solid-angle-via-differential-geometry/)

_2026-05-03 · David Templin · David Templin's Blog_

This post analyzes solid angle using concepts from differential geometry.

## [Definability of Recursive Functions](https://www.davidtemplin.name/definability-of-recursive-functions/)

_2026-04-30 · David Templin · David Templin's Blog_

This post discusses recursive functions and their definability in arithmetic.

## [Ship everywhere from one CLI (Sponsored)](https://crawlproof.com/a/2rkLBRdsCFUv)

_2026-04-30 · **Sponsored**_

One codebase, hosted runners, encrypted credentials, and automated submissions across stores

## [The Real Numbers](https://www.davidtemplin.name/the-real-numbers/)

_2026-03-06 · David Templin · David Templin's Blog_

This post examines the real numbers.

## [The Darboux Integral](https://www.davidtemplin.name/the-darboux-integral/)

_2026-02-20 · David Templin · David Templin's Blog_

This post describes the classical notion of an integral from calculus in terms of the Darboux integral, which is equivalent to the Riemann integral, but often more computationally tractable.

## [Darboux's Theorem](https://www.davidtemplin.name/darbouxs-theorem/)

_2026-02-02 · David Templin · David Templin's Blog_

This post gives a detailed overview of Darboux's theorem, discussing the significance of the theorem and providing two different proofs.

## [Hamiltonian Mechanics](https://www.davidtemplin.name/hamiltonian-mechanics/)

_2026-01-21 · David Templin · David Templin's Blog_

This post introduces Hamiltonian mechanics using the formalism of differential geometry, culminating in Noether's theorem, which describes the correspondence between certain symmetries and conservation laws.

## [Harmonic Oscillators](https://www.davidtemplin.name/harmonic-oscillators/)

_2026-01-07 · David Templin · David Templin's Blog_

This post offers a brief overview of simple and damped harmonic oscillators.

## [Distributions](https://www.davidtemplin.name/distributions/)

_2026-01-04 · David Templin · David Templin's Blog_

This post gives a cursory overview of the concept of distributions from functional analysis.