nLab hypothesis

Contents

Contents

Idea

In formal logic (such as sequent calculus or natural deduction) a hypothesis or premise is the antecedent of a sequent (or part of one):

A general judgement asserts the proof of a proposition (or, more generally, the term of some type) assuming the given hypothesis, which itself may or may not have a (known) proof.

In the practice of mathematics (or beyond), hypotheses that that are expected to have a proof, even if currently unknown, are known as conjectures.

For example, the “standard conjectures” in algebraic geometry serve as hypotheses in a wealth of theorems which are all proven (only) “assuming the standard conjectures” (cf. e.g. arXiv:9804123).

mathematical statements

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