function field analogy

MKR analogy

rubber-sheet analogy of gravity

mathematical statements

theory

judgement, assertion

hypothesis, consequence

axiom

assignment

definition (inductive, coinductive)

lemma

proposition/type (propositions as types)

theorem

proof/program (proofs as programs)

example, counterexample

conjecture, folklore

exercise

analogy

tautology

paradox

Last revised on March 5, 2023 at 13:36:04. See the history of this page for a list of all contributions to it.