10.5 Equivalence of Models
Detailed equivalence proofs between Turing machines, recursive functions, and lambda calculus, with explicit constructions and simulations.
Tag
Equivalence
4 notes
4.3 Isomorphism as Sameness
How isomorphism formalizes structural sameness and separates equality from equivalence.
1.3 Equality, Identity, and Equivalence
Different notions of sameness in mathematics: strict equality, structural identity, and equivalence relations.
1.3 Logical Equivalence
Logical equivalence, truth preserving transformations, and basic laws for rewriting propositional formulas.